 # user21820

https://chat.stackexchange.com/rooms/44058/logic

Foundations

• Axioms & Definitions
• Contradiction & Game semantics & True induction
• Circularity in mathematics & 'Paradoxes' resolved
• Building blocks & Incompleteness theorems
• Logic texts

Natural deduction

• Rules & Examples

Rigour with intuition

• Naturals
• Reals & Real exponentiation & $$\cos,\sin$$ & $$\exp(iπ)+1=0$$
• General differentiation & applications
• Matrix multiplication

Beautiful stuff

Puzzles:

• Rubik's cube & other permutation puzzles

Finite differences:

• Indefinite summation (like sum of cubes)
• Linear recursive sequences & their indefinite sum

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:

• Apollonius' Problem

Common oversights

• Teaching separating variables
• 'One-step' analysis to find expectation
• Most explanations of induction
Top Questions

## Physical meaning of the Lebesgue measure

asked May 6, 2016 at 11:57

## Is it acceptable practice to only increment a number when changing a password?

asked May 12, 2016 at 9:37

## Solving Rubik's cube and other permutation puzzles

asked Jan 8, 2015 at 15:52

## Is this a draw despite the Stockfish evaluation of −5?

asked Mar 14, 2021 at 4:28

## Absolutely prevent pagebreak after section title

asked Jul 23, 2015 at 18:30