All courses· Logic

Module V·3 articles·~18 min

Mathematical Logic: Gödel, Russell, and the Limits of Formal Systems

The crisis of the foundations of mathematics and the incompleteness theorems

Make a podcast about this module

Pick voices and format — AI generates the episode

§ 01 — Articles

I
Russell and Paradoxes: The Crisis of the Foundations of Mathematics
Article 1 of 3
~6 min
Read →
II
Gödel's Incompleteness Theorems: The Limits of Reason
Article 2 of 3
~6 min
Read →
III
Computability and the Halting Problem: What a Machine Will Never Solve
Article 3 of 3
~6 min
Read →

§ 02 — Practice

Test what you've learned in this module.

Discuss with AI

An AI tutor that knows this module.