Mathematical Logic
Jeremy Avigad
Learn Gödel's theorems and mathematical logic with Jeremy Avigad's course. Explore key concepts and enhance your understanding!
More resources on Gödelâs Theorems
Introduction to Logic
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Stanford Encyclopedia of Philosophy: Gödelâs Incompleteness Theorems
Comprehensive free article, top Reddit rec
Gödelâs Incompleteness Theorems (Boiled down to the Basics)
Clear explanation of the theorems by Carneades.org, highly upvoted in r/math
plato.stanford.edu
The Stanford Encyclopedia of Philosophy is a free, peer-reviewed reference offering in-depth, scholarly articles on philosophy, including Gödelâs incompleteness theorems, logic, and the foundations of mathematics.
Gödel, Escher, Bach
Gödel, Escher, Bach - A book resource
mathworld.wolfram.com
MathWorld is Wolfram's comprehensive online mathematics encyclopedia, featuring detailed articles, definitions, theorems, proofs, and visual examples across math topics. It includes entries on Gödelâs incompleteness theorems, logic, and related concepts, with formulas and references for further study.