user21820
Foundations
- Axioms & Definitions
- Contradiction & Game semantics & True induction
- Circularity in mathematics & 'Paradoxes' resolved
- Building blocks & Incompleteness theorems
- Logic texts
Natural deduction
Rigour with intuition
- Naturals
- Reals & Real exponentiation & $\cos,\sin$ & $\exp(iπ)+1=0$
- General differentiation & applications
- Matrix multiplication
Beautiful stuff
Puzzles:
Finite differences:
Asymptotic expansions:
- For k-times-differentiable functions
- Central difference formulae
- Newton-Raphson with convergence criteria
- Systematic computation of limits
Smoothing:
- To prove AM-GM & Jensen's inequality
- Maximum area of polygon given perimeter
- Maximum expression value using brackets
Multi-dimensional analysis:
- Multi-dimensional IVT, which proves:
- Poincaré–Miranda theorem
- Ham sandwich theorem [consider all hyperplanes that bisect one piece]
Inversion:
Common oversights
1,658
answers
51
questions
~1.6m
people reached
-
Member for 9 years, 2 months
-
14,425 profile views
-
Last seen yesterday
Communities (23)
Top Meta Posts
11
31
Top network posts
Badges (282)
Gold
6
Rarest
-
Jul 10
-
Nov 24 '18
-
Mar 28 '15
Silver
70
Rarest
-
Jan 18 '17
-
Sep 18 '16
-
Feb 21 '17
Bronze
206
Rarest
-
Oct 24 '17
-
Aug 22 '18
-
Jan 22 '18