Logicism, Intuitionism, and Formalism (eBook, PDF)
What Has Become of Them?
287,83 €
inkl. MwSt.
Sofort per Download lieferbar
0 °P sammeln
Logicism, Intuitionism, and Formalism (eBook, PDF)
What Has Become of Them?
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
![](https://bilder.buecher.de/images/aktion/tolino/tolino-select-logo.png)
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
![](https://bilder.buecher.de/images/aktion/tolino/tolino-select-logo.png)
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 3.68MB
- Upload möglich
Andere Kunden interessierten sich auch für
- F.D. KamareddineA Modern Perspective on Type Theory (eBook, PDF)128,39 €
- Foundational Theories of Classical and Constructive Mathematics (eBook, PDF)96,29 €
- Towards Mathematical Philosophy (eBook, PDF)149,79 €
- Advances in Proof Theory (eBook, PDF)96,29 €
- Roman MurawskiThe Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland (eBook, PDF)53,49 €
- George MetcalfeProof Theory for Fuzzy Logics (eBook, PDF)117,69 €
- New Directions in Paraconsistent Logic (eBook, PDF)149,79 €
-
-
-
Produktdetails
- Verlag: Springer Netherland
- Erscheinungstermin: 25. November 2008
- Englisch
- ISBN-13: 9781402089268
- Artikelnr.: 37340575
Introduction: The Three Foundational Programmes.- Introduction: The Three Foundational Programmes.- Logicism and Neo-Logicism.- Protocol Sentences for Lite Logicism.- Frege's Context Principle and Reference to Natural Numbers.- The Measure of Scottish Neo-Logicism.- Natural Logicism via the Logic of Orderly Pairing.- Intuitionism and Constructive Mathematics.- A Constructive Version of the Lusin Separation Theorem.- Dini's Theorem in the Light of Reverse Mathematics.- Journey into Apartness Space.- Relativization of Real Numbers to a Universe.- 100 Years of Zermelo's Axiom of Choice: What was the Problem with It?.- Intuitionism and the Anti-Justification of Bivalence.- From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory.- Program Extraction in Constructive Analysis.- Brouwer's Approximate Fixed-Point Theorem is Equivalent to Brouwer's Fan Theorem.- Formalism.- "Gödel's Modernism: On Set-Theoretic Incompleteness," Revisited.- Tarski's Practice and Philosophy: Between Formalism and Pragmatism.- The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.- Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics.- Beyond Hilbert's Reach?.- Hilbert and the Problem of Clarifying the Infinite.
Introduction: The Three Foundational Programmes.- Introduction: The Three Foundational Programmes.- Logicism and Neo-Logicism.- Protocol Sentences for Lite Logicism.- Frege's Context Principle and Reference to Natural Numbers.- The Measure of Scottish Neo-Logicism.- Natural Logicism via the Logic of Orderly Pairing.- Intuitionism and Constructive Mathematics.- A Constructive Version of the Lusin Separation Theorem.- Dini's Theorem in the Light of Reverse Mathematics.- Journey into Apartness Space.- Relativization of Real Numbers to a Universe.- 100 Years of Zermelo's Axiom of Choice: What was the Problem with It?.- Intuitionism and the Anti-Justification of Bivalence.- From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory.- Program Extraction in Constructive Analysis.- Brouwer's Approximate Fixed-Point Theorem is Equivalent to Brouwer's Fan Theorem.- Formalism.- "Gödel's Modernism: On Set-Theoretic Incompleteness," Revisited.- Tarski's Practice and Philosophy: Between Formalism and Pragmatism.- The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.- Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics.- Beyond Hilbert's Reach?.- Hilbert and the Problem of Clarifying the Infinite.