Logic and Language

Copyright James R Meyer 2012 - 2020 https://www.jamesrmeyer.com

Note: Full functionality of this website 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

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

Cantor’s 1874 Proof of Non-Denumerability: Original German (Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen)

König - On the foundations of set theory and the continuum problem

König - On the foundations of set theory… Original German (Über die Grundlagen der Mengenlehre und das Kontinuumproblem)

On Considerations of Language in the Diagonal Proof

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

On Smith-Volterra-Cantor sets and their measure

Recently added pages

Understanding Limits and Infinity

Cantor’s religious beliefs and the transfinite

Why do people believe weird things?

Proof of more Real numbers than Natural numbers

The Surprise Examination paradox

New material on limits and infinity and Lebesgue measure

The new page Understanding Limits and Infinity explains how the correct application of limiting conditions can eliminate contradictions commonly arising from some set definitions, and the paper On Smith-Volterra-Cantor sets and their measure has now additional material which gives a more formal version.

O’Connor’s “computer checked” proof

I have now added a new section to my paper on Russell O’Connor’s claim of a computer verified incompleteness proof. This shows that the flaw in the proof arises from a reliance on definitions that include unacceptable assumptions - assumptions that are not actually checked by the computer code. See also the new page Representability.

Copyright James R Meyer 2012 - 2020
https://www.jamesrmeyer.com