↓ Skip to main content

Logicism, Intuitionism, and Formalism

Overview of attention for book
Cover of 'Logicism, Intuitionism, and Formalism'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction: The Three Foundational Programmes
  3. Altmetric Badge
    Chapter 2 Protocol Sentences for Lite Logicism
  4. Altmetric Badge
    Chapter 3 Frege’s Context Principle and Reference to Natural Numbers
  5. Altmetric Badge
    Chapter 4 The Measure of Scottish Neo-Logicism
  6. Altmetric Badge
    Chapter 5 Natural Logicism via the Logic of Orderly Pairing
  7. Altmetric Badge
    Chapter 6 A Constructive Version of the Lusin Separation Theorem
  8. Altmetric Badge
    Chapter 7 Dini’s Theorem in the Light of Reverse Mathematics
  9. Altmetric Badge
    Chapter 8 Journey into Apartness Space
  10. Altmetric Badge
    Chapter 9 Relativization of Real Numbers to a Universe
  11. Altmetric Badge
    Chapter 10 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?
  12. Altmetric Badge
    Chapter 11 Intuitionism and the Anti-Justification of Bivalence
  13. Altmetric Badge
    Chapter 12 From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
  14. Altmetric Badge
    Chapter 13 Program Extraction in Constructive Analysis
  15. Altmetric Badge
    Chapter 14 Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
  16. Altmetric Badge
    Chapter 15 “Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited
  17. Altmetric Badge
    Chapter 16 Tarski’s Practice and Philosophy: Between Formalism and Pragmatism
  18. Altmetric Badge
    Chapter 17 The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
  19. Altmetric Badge
    Chapter 18 Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
  20. Altmetric Badge
    Chapter 19 Beyond Hilbert’s Reach?
  21. Altmetric Badge
    Chapter 20 Hilbert and the Problem of Clarifying the Infinite
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
8 Dimensions

Readers on

mendeley
39 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Logicism, Intuitionism, and Formalism
Published by
Springer Netherlands, January 2009
DOI 10.1007/978-1-4020-8926-8
ISBNs
978-1-4020-8925-1, 978-1-4020-8926-8, 978-9-04-818029-5
Authors

Lindström, Sten

Editors

Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 39 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 3%
Canada 1 3%
Mexico 1 3%
United States 1 3%
Serbia 1 3%
Unknown 34 87%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 15%
Professor 5 13%
Student > Bachelor 5 13%
Student > Master 4 10%
Other 3 8%
Other 9 23%
Unknown 7 18%
Readers by discipline Count As %
Philosophy 15 38%
Social Sciences 4 10%
Computer Science 4 10%
Mathematics 3 8%
Arts and Humanities 2 5%
Other 3 8%
Unknown 8 21%