A Cantor trio: denumerability, the reals, and the real algebraic numbers

DOI10.1007/978-3-642-32347-8_5MaRDI QIDQ2914732zbMATHOpenAlexFDO

Authors Ruben A. Gamboa, John Cowles

Publication date 20 September 2012

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32347-8_5

zbMATH Keywords

nonstandard analysisACL2denumerability of algebraic numbersnon-denumerability of the reals

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Algebraic number theory computations (11Y40) Other classical set theory (including functions, relations, and set algebra) (03E20) Nonstandard models in mathematics (03H05)

Recommendations

• The Cantor diagonal
• Cantor's other proofs that \(\mathbb{R}\) is uncountable
• Georg Cantor and Transcendental Numbers
• Cantorian tableaux revisited
• scientific article; zbMATH DE number 6963653

Cited in

(6)

• scientific article; zbMATH DE number 2236638 (Why is no real title available?)
• The Cantor diagonal
• Cantorian tableaux revisited
• Cantor's other proofs that \(\mathbb{R}\) is uncountable
• Georg Cantor and Transcendental Numbers
• On Cantor's first uncountability proof, Pick's theorem, and the irrationality of the golden ratio

Describes a project that uses

Uses Software

• ACL2

This page was built for publication: A Cantor trio: denumerability, the reals, and the real algebraic numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914732)