Note: Full functionality of this website requires JavaScript to be enabled in your browser.

# SITEMAP

##### Incompleteness

Gödel’s Incompleteness Theorem

Online English Translation of Gödel’s Incompleteness Proof

Gödel’s 1934 Undecidability lectures

Formal papers related to incompleteness

Simplified Explanation of Gödel’s proof - Intro

Simplified Explanation of Gödel’s proof - Part 1

Simplified Explanation of Gödel’s proof - Part 2

Simplified Explanation of Gödel’s proof - Part 3

Simplified Explanation of Gödel’s proof - Part 4

Simplified Explanation of Gödel’s proof - Part 5

Simplified Explanation of Gödel’s proof - Part 6

Simplified Explanation of Gödel’s proof - Part 7

Simplified Explanation of Gödel’s proof - Part 8

Step by Step Guide to Gödel’s Proof: Intro

Step by Step Guide to Gödel’s Proof: Part 1

Step by Step Guide to Gödel’s Proof: Part 2

Step by Step Guide to Gödel’s Proof: Part 3

Step by Step Guide to Gödel’s Proof: Part 4

Step by Step Guide to Gödel’s Proof: Part 5

Step by Step Guide to Gödel’s Proof: Part 6

The Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v5: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v4: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v3: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v2: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v1: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Paper, previous v0: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem

Errors in Incompleteness Proofs

Analysis of Incompleteness Proofs

Paper: A Fundamental Flaw in an Incompleteness Proof by Peter Smith

Paper: previous v1: A Fundamental Flaw in an Incompleteness Proof by Peter Smith

Paper: previous v2: A Fundamental Flaw in an Incompleteness Proof by Peter Smith

Paper: A Fundamental Flaw in Incompleteness Proofs by S. C. Kleene

Paper: A Fundamental Flaw in Incompleteness Proofs by Gregory Chaitin

Paper: A Fundamental Flaw in an Incompleteness Proof by George Boolos

Paper: A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski

Paper, previous v1: A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski

Paper: An Error in a Computer Verified Proof of Incompleteness by John Harrison

Paper: An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor

Paper previous v1: An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor

Paper: An Error in a Computer Verified Proof of Incompleteness by Natarajan Shankar

Peter Smith’s Gödel Without (Too Many) Tears - Or Not?

Responses to the demonstration of the flaw in Gödel’s proof

The Platonist response to the flaw in Gödel’s proof

The Halting Problem and Incompleteness Proofs

Church’s *“An Unsolvable Problem”*

A review of Buldt’s *“The Scope of Gödel’s First Incompleteness Theorem”*

An appraisal of Jean-Yves Girard’s lecture on Incompleteness

World’s shortest explanation of Gödel’s Proof?

Review by Russell O’Connor of the paper demonstrating the flaw in Gödel’s proof

How to show how a disproof of Gödel’s proof is wrong - if it really is

On web forums and Gödel’s proof

Yet Another Flawed Incompleteness Proof

Francesco Berto - Yet Another Flawed Incompleteness Proof

Bernd Buldt - Yet Another Flawed Incompleteness Proof

Dan Gusfield - Yet Another Flawed Incompleteness Proof

Byunghan Kim - Yet Another Flawed Incompleteness Proof

Dennis Müller - Yet Another Flawed Incompleteness Proof

Sebastian Oberhoff - Yet Another Flawed Incompleteness Proof

##### The Infinite

Formal papers related to questions about infinity

The Courant & Robbins Contradiction

Sums of infinitely many fractions 1

Sums of infinitely many fractions 2

The Axiom of Choice and Well-Ordering

Understanding Limits and Infinity

Understanding sets of decreasing intervals

The Diagonal Proof - Version 1

The Origins of Transfinite Numbers

Proof of more Real numbers than Natural numbers?

Cantor’s religious beliefs and his transfinite numbers

A list with no Diagonal number

Online English Translation of Cantor’s 1874 Proof of Non-Denumerability

English Translation of Cantor’s 1874 Proof of Non-Denumerability

König - “On the foundations of set theory and the continuum problem” (Online English Translation)

Online English translation of Giuseppe Vitali’s paper: “*On the problem of measuring sets of points*”

David Hilbert’s “*On the Infinite*” (Über das Unendliche)

Paper: On Considerations of Language in the Diagonal Proof

Paper: On Considerations of Language in the Diagonal Proof - v1

Paper: On the Reality of the Continuum and Russell’s Moment of Candour

Paper: On Smith-Volterra-Cantor sets and their measure

Paper, previous v5: On Smith-Volterra-Cantor sets and their measure

Paper, previous v4: On Smith-Volterra-Cantor sets and their measure

Paper, previous v3: On Smith-Volterra-Cantor sets and their measure

Paper, previous v2: On Smith-Volterra-Cantor sets and their measure

Paper, previous v1: On Smith-Volterra-Cantor sets and their measure

##### Paradoxes

##### Other Topics

Alexander’s Sphere and Impossible Objects

How to tell if someone is a crackpot

Logic and Dobbs vs Jackson WHO and Roe vs Wade

The Consistency of Arithmetic by Storrs McCall

Thinking and Being by Irad Kimhi

##### Books

Book: The Shackles of Conviction

The Shackles of Conviction: Excerpts

MathFiction Review of book ‘The Shackles of Conviction’ by Dr Kasman

##### Miscellaneous

##### Blog Archive

Fake News and Fake Mathematics

Is Mathematics Unreasonably Effective?

Platonism according to Ulf Persson

##### Other Stuff

Easy Footnotes for Web Pages (Accessibility friendly)

Basic Footnote System Demo Page

How to setup a Dark mode switch on a web-site

Basic Dark mode Demo page for pages with Disqus comments

Hashover responsive CSS demo - without borders

Hashover responsive CSS demo - with borders