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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
