Gödel, Escher, Bach
Douglas R. Hofstadter
Gödel, Escher, Bach - A book resource
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
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
Mathematical Logic
Learn Gödel's theorems and mathematical logic with Jeremy Avigad's course. Explore key concepts and enhance your understanding!
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.
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.