shipslides
Mathematics32 slides0 views

Mathematical Logic

The mathematical study of mathematical reasoning.

Standalone
Sandboxed deck
Open raw

About this deck

The mathematical study of mathematical reasoning. Key sections include: Mathematical Logic.; What logic is.; Aristotle's syllogisms.; The algebra of logic.; Begriffsschrift.; Russell's paradox.; Principia Mathematica.; A finitary foundation.; Incompleteness.; The first incompleteness theorem..

mathematicsmathematicallogic

Related decks

Mathematics32 slides

Topology

Mathematics31 slides

Algebra

Mathematics32 slides

Applied Mathematics

Mathematics33 slides

Calculus

Slide outline
  1. 01Mathematical Logic.
  2. 02What logic is.
  3. 03Aristotle's syllogisms.
  4. 04The algebra of logic.
  5. 05Begriffsschrift.
  6. 06Russell's paradox.
  7. 07Principia Mathematica.
  8. 08A finitary foundation.
  9. 09Incompleteness.
  10. 10The first incompleteness theorem.
  11. 11The second incompleteness theorem.
  12. 12What Gödel did not prove.
  13. 13Tarski and truth.
  14. 14The Turing machine.
  15. 15The halting problem.
  16. 16Church's lambda calculus.
  17. 17The Church-Turing thesis.
  18. 18Recursion theory.
  19. 19Set theory and the ZFC axioms.
  20. 20The continuum hypothesis.
  21. 21The technique of forcing.
  22. 22Large cardinal axioms.
  23. 23Model theory.
  24. 24Proof theory.
  25. 25Type theory and constructive logic.
  26. 26Modal logic.
  27. 27Coq, Lean, and machine-checked mathematics.
  28. 28Logic in computer science.
  29. 29Reading list.
  30. 30Watch & read.
  31. 31The constants.
  32. 32The end of the deck.
Page data
Canonical
https://shipslides.com/d/mathematics-mathematical-logic
Category
Mathematics
Size
354.3 KB
Updated
2026-05-15
LLM text
https://shipslides.com/d/mathematics-mathematical-logic/llms.txt
Remove this deck