The Cantor–Bernstein theorem: how many proofs?

DOI10.1098/rsta.2018.0031zbMath1441.03015OpenAlexW2909229158WikidataQ92982852 ScholiaQ92982852MaRDI QIDQ5204798

Wilfried Sieg

Publication date: 5 December 2019

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.2018.0031

zbMATH Keywords

formal verificationinteractive theorem provingCantor-Bernstein theoremautomated proof searchnatural formalizationpartial proofs

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Mechanization of proofs and logical operations (03B35) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items

The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki ⋮ Proofs as Objects ⋮ Discussing Hilbert's 24th problem ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proofs of the Cantor-Bernstein theorem. A mathematical excursion
• Normal natural deduction proofs (in classical logic)
• A lattice-theoretical fixpoint theorem and its applications
• Hilbert's Twenty-Fourth Problem
• Identity of Proofs Based on Normalization and Generality
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• Zermelo and Set Theory
• Mechanizing Mathematical Reasoning
• The consistency of arithmetics