Sold Out
Book Categories |
Preface.- Notes on the Contributors.- Introduction; Sten Lindström, Erik Palmgren.-
I. LOGICISM AND NEO-LOGICISM.-
Prool Sentences for Lite Logicism; John Burgess.- Frege's Context Principle and Reference to Natural Numbers; Øystein Linnebo.- The Measure of Scottish Neo-Logicism; Stewart Shapiro.- Natural Logicism via the Logic of Orderly Pairing; Neil Tennant.-
II. INTUITIONISM AND CONSTRUCTIVE MATHEMATICS.-
A Constructive Version of the Lusin Separation Theorem; Peter Aczel.- Dini's Theorem in the Light of Reverse Mathematics; Josef Berger, Peter Schuster.- Journey in Apartness Space; Douglas Bridges, Luminita Vita.- Relativisation of Real Numbers to a Universe; Hajime Ishihara.- 100 years of Zermelo's Axiom of Choice: What Was the Problem With It?; Per Martin-Löf.- Intuitionism and the Anti-Justification of Bivalence; Peter Pagin.- From Intuitionistic to Point-Free Topology; Erik Palmgren.- Program Extraction in Constructive Mathematics; Helmut Schwichtenberg.- Brouwer's Approximate Fixed-Point Theorem is Equivalent to Brouwer's Fan Theorem; Wim Veldman.-
III. FORMALISM.-
"Gödel's Modernism: On Set-Theoretic Incompleteness," Revisited; Mark van Atten, Juliette Kennedy.- Tarski's Practice and Philosophy: Between Formalism and Pragmatism; Hourya Benis Sinaceur.- The Constructive Hilbert-Program and the Limits of Martin-Löf Type Theory; Michael Rathjen.- Categories, Structures, and the Frege-Hilbert Controversy: the Status of Meta-Mathematics; Stewart Shapiro.- Beyond Hilbert's Reach?; Wilfried Sieg.- Hilbert and the Problem of Clarifying the Infinite; Sören Stenlund.-
Index.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogicism, Intuitionism, and Formalism: What Has Become of Them?
X
This Item is in Your InventoryLogicism, Intuitionism, and Formalism: What Has Become of Them?
X
You must be logged in to review the productsX
X
X
Add 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 , Logicism, Intuitionism, and Formalism: What Has Become of Them? to the inventory that you are selling on WonderClubX
X
Add 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 , Logicism, Intuitionism, and Formalism: What Has Become of Them? to your collection on WonderClub |