- Home
- Topics
- Logic
- Paradoxes
- Platonism
- Chaitin’s Omega
- How to tell if someone is a crackpot
- A typical discussion about my work
- The Myths of Platonism
- Platonism’s Logical Blunder
- Formal Language
- Natural Language and Reality
- Pseudo-mathematics
- Mathematical Proofs
- Computer Proofs
- Turing’s Uncomputable Number
- Infinity
- The Halting Problem and Incompleteness Proofs
- The Indispensability Argument
- Alexander’s Horned Sphere
- Infinity
- Formal papers related to infinity
- Platonism and the Infinite
- Courant & Robbins Contradiction
- Infinite Sums 1
- Infinite Sums 2
- The Diagonal Proof
- Real numbers and Language
- A list of Real Numbers with no Diagonal
- Cantor’s 1874 Proof
- The Power Set Proof
- Cardinal Numbers
- Proof of more Real numbers than Natural numbers?
- Lebesgue Measure Theory
- Fallacy by deflection
- König - On the foundations of set theory (English Translation)
- Gödel
- Formal papers related to incompleteness
- Gödel’s Contradiction
- Gödel’s Intuitive Error No.2
- Gödel’s Theorem
- Gödel’s Proof Simplified
- A Step by Step Guide to Gödel’s Proof
- An English Translation of Gödel’s Incompleteness Proof
- Gödel’s Proposition V
- Statements by Kurt Gödel
- Gödel, Escher, Bach
- Gödel without Tears - Or Not?
- Nagel & Newman
- The Flaw in Gödel’s Proof
- Analysis of Other Incompleteness Proofs
- Common Errors in Incompleteness Proofs
- The Diagonal Lemma
- True but unprovable?
- Representability
- Intuitionism
- Gödel’s Substitution Function
- Gödel, Minds, and Machines
- Gödel Links
- Church’s “An Unsolvable Problem”
- Oh No ! Yet Another Flawed Incompleteness Proof
- A Review of the Demonstration of the Flaw
- Flawed Disproofs of Gödel’s Proof
- Books
Copyright © James R Meyer 2012 - 2018 https://www.jamesrmeyer.com
• Use Tab, Shift + Tab keys to traverse the main menu. To enter a sub-menu use the Right Arrow key. To leave a sub-menu use the Left Arrow or the Escape key.
• The Enter or the Space key opens the active menu item.
• To skip the menu and move to the main content, press Tab after the page loads to reveal a skip button.
• To get back to the top of the page anytime, press the Home key.
• For more information, click here: Accessibility Close this tip.
Note: Full functionality of this web page requires JavaScript to be enabled in your browser.
Formal papers related to questions about infinity
This page lists formal papers that are relevant to questions of infinity, transfinity, etc.
English Translation of Cantor’s 1874 Proof of Non-Denumerability (html)
English Translation of Cantor’s 1874 Proof of Non-Denumerability (PDF)
König - On the foundations of set theory and the continuum problem
On Considerations of Language in the Diagonal Proof (PDF)
previous v1: On Considerations of Language in the Diagonal Proof (PDF)
On the Reality of the Continuum and Russell’s Moment of Candour (PDF)
On Smith-Volterra-Cantor sets and their measure (PDF)
previous v2: On Smith-Volterra-Cantor sets and their measure (PDF)
previous v1: On Smith-Volterra-Cantor sets and their measure (PDF)
