Sign-In
Cart
Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion
Hardcover
Series: Science Networks. Historical Studies, Book 45
FictionAlgebraGeneral Mathematics
ISBN13: 9783034802239
Publisher: Birkhauser
Published: Mar 5 2013
Pages: 429
Weight: 1.80
Height: 1.20 Width: 6.20 Depth: 9.20
Language: English
The chief purpose of the book is to present, in detail, a compilation of proofs of the Cantor-Bernstein Theorem (CBT) published through the years since the 1870's. Over thirty such proofs are surveyed.
The book comprises five parts. In the first part the discussion covers the role of CBT and related notions in the writings of Cantor and Dedekind. New views are presented, especially regarding the general proof of CBT obtained by Cantor, his proof of the Comparability Theorem, the ruptures in the Cantor-Dedekind correspondence and the origin of Dedekind's proof of CBT.
The second part covers the first CBT proofs published (1896-1901). The works of the following mathematicians is considered in detail: Schröder, Bernstein, Bore, Schoenflies and Zermelo. Here a subtheme of the book is launched; it concerns the research project following Bernstein's Division Theorem (BDT).
In its third part the book covers proofs that emerged during the period when the logicist movement was developed (1902-1912). It covers the works of Russell and Whitehead, Jourdain, Harward, Poincaré, J. König, D. König (his results in graph theory), Peano, Zermelo, Korselt. Also Hausdorff's paradox is discussed linking it to BDT.
In the fourth part of the book are discussed the developments of CBT and BDT (including the inequality-BDT) in the hands of the mathematicians of the Polish School of Logic, including Sierpiński, Banach, Tarski, Lindenbaum, Kuratowski, Sikorski, Knaster, the British Whittaker, and Reichbach.
Finally, in the fifth part, the main discussion concentrates on the attempts to port CBT to intuitionist mathematics (with results by Brouwer, Myhill, van Dalen and Troelstra) and to Category Theory (by Trnková and Koubek).
The second purpose of the book is to develop a methodology for the comparison of proofs. The core idea of this methodology is that a proof can be described by two descriptors, called gestalt and metaphor. It is by comparison of their descriptors that the comparison of proofs is obtained. The process by which proof descriptors are extracted from a proof is named 'proof-processing', and it is conjectured that mathematicians perform proof-processing habitually, in the study of proofs.Also in
Algebra
Regents Exams and Answers: Algebra II, Fifth Edition (Barron's New York Regents)
Rubinstein, Gary Michael
Paperback
Regents Exams and Answers: Algebra I, Fifth Edition, (Barron's New York Regents)
Rubinstein, Gary M.
Paperback
Pre Algebra Doodle Notes: a complete course of brain-based interactive guided visual notes for Middle School Math Concepts
Danziger, Brigid
Giraffe, Math
Paperback
Let's Review Regents: Algebra II, Fifth Edition (Barron's New York Regents)
Rubenstein, Gary M., M. S.
Paperback
6th and 7th Grade Math Workbook: Math Practice Book for Grade 6 and 7 [New Edition Includes 900] Practice Questions]
Apex Test Prep
Paperback
Mechanical Engineering for Makers: A Hands-On Guide to Designing and Making Physical Things
Bunnell, Brian
Najia, Samer
Paperback
Summit Math Algebra 1 Book 5: Factoring Polynomials and Solving Quadratic Equations
Joujan, Alex
Paperback
Mathematical Foundations of Quantum Computing: A Scaffolding Approach
Yu, James
Cheng, Ran
Lee, Peter
Hardcover
Basic Math & Pre-Algebra: 1001 Practice Problems for Dummies (+ Free Online Practice)
Zegarelli, Mark
Paperback
Basic Math Refresher for Adults - A Math Workbook with Practice Problems and Online Video Tutorials: [2nd Edition]
Bowling, Matthew
Paperback
HSPT Full Prep Book for Catholic High Schools: Be ready and fearless! Detailed answer explanations
Johnson, Henry N.
Paperback
Math for Programmers: 3D Graphics, Machine Learning, and Simulations with Python
Orland, Paul
Paperback
Dilation and Model Theory for Pairs of Commuting Contraction Operators
Ball, Joseph A.
Sau, Haripada
Hardcover
Graph Paper Notebook: Beautiful Pink Marble and Rose Gold 8 x 10 inches - 5 x 5 Squares per inch, Quad Ruled Cute Graph Paper Composition No
Blush Marble Notebooks
Paperback
Math Fundamentals 2 - Algebra: For Middle School - A Quickstudy Laminated Reference Guide
Wright, Susan
LLC
Warren, Peggy
Other
Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis
Klein, Felix
Paperback
Mathematics: Its Content, Methods and Meaning
Kolmogorov, A. N.
Lavrent'ev, M. a.
Aleksandrov, A. D.
Paperback
Radical Equations: Civil Rights from Mississippi to the Algebra Project
Moses, Robert
Cobb, Charles E.
Paperback
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra
Little, John
O'Shea, Donal
Cox, David A.
Hardcover
Pre-Algebra for Beginners: The Ultimate Step by Step Guide to Preparing for the Pre-Algebra Test
Nazari, Reza
Paperback
Math Geek: From Klein Bottles to Chaos Theory, a Guide to the Nerdiest Math Facts, Theorems, and Equations
Rosen, Raphael
Paperback
Topics in Number Theory, Volumes I and II
Leveque, William Judson
Leveque, William J.
Mathematics
Paperback
Mathematical Foundations of Quantum Computing: A Scaffolding Approach
Yu, James
Cheng, Ran
Lee, Peter
Paperback
No-Nonsense Algebra, 2nd Edition: Part of the Mastering Essential Math Skills Series
Fisher, Richard W.
Paperback
4th Grade Math Workbook: 1500+ Practice Questions for Daily Exercise [Math Workbooks Grade 4]
Apex Test Prep
Paperback
Algebra II: 1001 Practice Problems for Dummies (+ Free Online Practice)
Sterling, Mary Jane
Paperback
Algebraic Theory of Numbers: Translated from the French by Allan J. Silberger
Samuel, Pierre
Paperback
ACCUPLACER Math Prep: ACCUPLACER Math Test Study Guide with Two Practice Tests [Includes Detailed Answer Explanations]
Tpb Publishing
Paperback