Much-Too-Quick Overview, Episode 4: Gödel’s Incompleteness Theorems

A Much-Too-Quick Overview of Gödel’s Incompleteness Theorems, Structured around the History of Logicism, the Refutation of Logicism by Gödel, and Explanations and Proofs of Each of the Two Incompleteness Theorems

I have books on a wide variety of topics from philosophy to the social sciences to technology for sale on Amazon, Apple Books, and Google Play Books! All of my ebooks are currently discounted to $6. Just search either for Andrew Chapman or for The Autodidact’s Toolkit.

[johnryskamp]

You're out of date, I'm afraid. Note that Godel cites with approval, Richard's paradox. He does it in his 1926 paper. First, determine, with specificity, the role Richard's paradox plays in the logic of Godel's argument.

Then, read Alejandro Garciadiego's book, Bertrand Russell and the Origins of the Set-theoretic 'paradoxes.'

Note that in the book, Garciadiego gives Richard's own disproof of his paradox.

Godel was not aware of this disproof.

Next, determine what Richard's disproof says about Godel's argument