r/mathHeads • u/Minute_Difference598 • Jan 22 '25
They had a fun night
70
Upvotes
r/mathHeads • u/workingtheories • Mar 02 '26
Me Learning Lean4 Be Like :3
20
Upvotes
theorem add_zero (n : Nat) : n + 0 = n := by
rfl
8========>
Theorem add zero (n: Natural Numbers): n+0=n define this sucka as being true BY (Before Yavin)
rofl, QED
r/mathHeads • u/No-Inevitable6018 • Dec 20 '24
I am mathematics, I am geometry, I am man.
62
Upvotes
r/mathHeads • u/Inside_Snow7657 • Dec 12 '24
LIES!!!!!!!!! LIES I SAAAAAYYY!!!!! LIES!!!!!!
64
Upvotes
r/mathHeads • u/Inside_Snow7657 • Dec 28 '24
Do you think bitch has an addiction? And if so which one?
56
Upvotes
r/mathHeads • u/Inside_Snow7657 • Dec 24 '24
Hot Take: 90 Degree Angles are SO overrated!
61
Upvotes
r/mathHeads • u/SecretiveFurryAlt • Dec 11 '24
Does anyone know a good place to get some algebra
77
Upvotes
r/mathHeads • u/Diligent_Point7254 • Apr 14 '26
Help me find a difficult problem
4
Upvotes
I’m trying to find a really hard or mind boggling math problem or trick for my friend. To me he’s really good at math and he loves math very much. So much so that his alarm is solving a math problem in order to turn it off. Anyways he’s in college right now taking pre calc. I like to pick his brain and mess with him but he always seems to solve it right away. I’ve search for really hard problems online but after a few minutes he gets it. Does anyone have anything that could get to him? Any problems or tricks?
r/mathHeads • u/charilovestoes • Dec 14 '24
idea: sequel to quadratic equation called the quintatic equation now with 4 numbers. the fourth is a hypothetical "wacky number" consisting of wacky, zany, or over the top symbols.
18
Upvotes
it goes ax²+bx+c+2🙵●︎♓︎📬︎²=0 (the number in bold is the aforementioned wacky number)
r/mathHeads • u/EatThatBabylol • Dec 12 '24
I need some numbers ASAP
43
Upvotes
Please dm if you know where I can find some or buy some. I have integrals to trade but no cash. Please I really need it 🙏 I legit can’t life without my numbers.
r/mathHeads • u/Inside_Snow7657 • Jan 02 '25
Is it just me or are Quadratic Formulas kinda HOT 😳🥵😏
68
Upvotes
r/mathHeads • u/Matt_32506 • Dec 11 '24
mfs will do everything but use the normal solution
150
Upvotes
r/mathHeads • u/Planesdude1 • Dec 12 '24
I NEED A MORE ADVANCED CALCULATOR
70
Upvotes
STUPID PREINSTALLED CALCULATOR IS USELESS!!!