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
31
answers
11
questions
~31k
people reached
-
Member for 9 years, 1 month
-
638 profile views
-
Last seen 15 hours ago
Communities (23)
- Mathematics 48.7k 48.7k 66 gold badges6767 silver badges205205 bronze badges
- MathOverflow 2.3k 2.3k 1010 silver badges2828 bronze badges
- Physics 2.1k 2.1k 1313 silver badges2121 bronze badges
- English Language & Usage 1.7k 1.7k 1010 silver badges2222 bronze badges
- Mathematics Educators 1.7k 1.7k 1212 silver badges2727 bronze badges
- View network profile
Top network posts
- 72 Are proofs by contradiction really logical?
- 68 How many atoms does it take for us to perceive colour?
- 67 How to represent "not an empty set"?
- 65 Is it impossible to perfectly fit a polynomial to a trigonometric function on a closed interval?
- 63 Do you say "good game" after a game in which your opponent played poorly?
- 56 Physical meaning of the Lebesgue measure
- 55 Calculus, water poured into a cone: Why is the derivative non-linear?
- View more network posts →
Top tags (45)
Score
203
Posts
40
Posts %
95
Score
53
Posts
8
Score
39
Posts
4
Badges (47)
Gold
—
Silver
19
Rarest
-
Mar 2 '18
-
May 2 '16
Bronze
28
Rarest
-
Jul 12 '18
-
Jan 24 '15
-
Nov 14 '15