Logicism, intuitionism, and formalism : what has become of them?
The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the de...
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | , , , , , , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| 版: | 1st ed. 2009. |
| シリーズ: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
341 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Description d'après consultation du 17/05/2011 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logicism, intuitionism and formalism, what has become of them?, edited by Sten Lindstrom, ... Erik Palmgren, ... Krister Segerberg, ... [et al.], [Dordrecht], Springer, 2009, 1 vol. (XII-512 p.), Synthese library, 978-1-402-08925-1 • Logicism, Intuitionism, and Formalism, Texte imprimé, 9789048122127 • Logicism, Intuitionism, and Formalism, Texte imprimé, 9789048180295 • Logicism, intuitionism and formalism, what has become of them?, edited by Sten Lindstrom, ... Erik Palmgren, ... Krister Segerberg, ... [et al.], [Dordrecht], Springer, 2009, 1 vol. (XII-512 p.), Synthese library, 978-1-402-08925-1 |
目次:
- 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