Ships from/sold by Buy.com
See All Buying Options

Proofs of the Cantor-bernstein Theorem A Mathematical Excursion (Hardcover)

Author:  Arie Hinkis
Earn Super Points: Write a Review
Sorry, this selection is currently unavailable.
Proofs of the Cantor-bernstein Theorem Hinkis, Arie                             1 of 1
$130.45  Free Budget Shipping
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
Format: Hardcover
Condition:  Brand New
In Stock: Usually Ships within 24 hours
Very few left In Stock! Order soon -- product may sell out.
1 New
See all sellers
45 day return policy

Product Details:

Format: Hardcover
ISBN-10: 3034802234
ISBN-13: 9783034802239
Sku: 232567056
Publish Date: 6/11/2013
Dimensions:  (in Inches) 9.25H x 6.25L x 1.25T
Pages:  624
Age Range:  NA
See more in History & Philosophy
From the Publisher:
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. Konig, D. Konig (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 Sierpinski, 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.
Product Attributes
Product attributeeBooks:   Kobo
Advertisement Bottom
BloomReach Content