SFr. 165.00
€ 165.00
BTC 0.0157
LTC 2.312
ETH 0.7627


bestellen

Artikel-Nr. 13317752


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:



Autor(en): 
  • Arie Hinkis
  • Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!


    Übersicht
     
    Lieferstatus:   Auf Bestellung
    Veröffentlichung:  2014  
    Genre:  Schulbücher 
    ISBN:  9783034802239 
    EAN-Code: 
    9783034802239 
    Verlag:  Springer Nature EN 
    Einband:  Gebunden  
    Sprache:  English
    Hebräisch  
    Dimensionen:  H 235 mm / B 155 mm / D  
    Gewicht:  8041 gr 
    Seiten:  429 
    Illustration:  s/w., farb. Abb. 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    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.
      




    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2019
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2019