Zum Hauptinhalt
Website-Übersicht
DL 1
Startseite
Kalender
More
Deutsch (de)
Русский (ru)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Sie sind als Gast angemeldet
Login
DL 1
Startseite
Kalender
Alle aufklappen
Alle einklappen
Open course index
Philosophy of set theory and mathematics
Interesting topics
Interesting topics
Section outline
◄
On "bad" infinity (V. Kolman)
►
Topic 1: Hilbert and Moore
Based on your preferences, please browse through the papers and a book listed below.
Select activity [Brouwer] - Intuitionism and formalism (1913, BAMS)
[Brouwer] - Intuitionism and formalism (1913, BAMS)
Datei
Abschluss
Students must
Mark as done
Select activity [Detlefsen] - On interpeting second Goedel theorem 1979 (JPL)
[Detlefsen] - On interpeting second Goedel theorem 1979 (JPL)
Datei
Abschluss
Students must
Mark as done
Select activity [Feferman, Friedman, Maddy, Steel]-Does mathematics need new axioms? BSL (2000)
[Feferman, Friedman, Maddy, Steel]-Does mathematics need new axioms? BSL (2000)
Datei
Abschluss
Students must
Mark as done
Select activity [Antos, Friedman, Honzik, Ternullo] Multiverse conceptions in set theory
[Antos, Friedman, Honzik, Ternullo] Multiverse conceptions in set theory
Datei
Abschluss
Students must
Mark as done
Select activity [Hamkins]-Set-theoretic-multiverse 2012 (RSL)
[Hamkins]-Set-theoretic-multiverse 2012 (RSL)
Datei
Abschluss
Students must
Mark as done
Select activity [Shelah] Logical Dreams
[Shelah] Logical Dreams
Datei
Abschluss
Students must
Mark as done
Select activity Book on connections between mathematics and set theory- [Ferreiros] - Labyrinth of Thought
Book on connections between mathematics and set theory- [Ferreiros] - Labyrinth of Thought
Datei
Abschluss
Students must
Mark as done
Select activity Indespensability Arguments
Indespensability Arguments
Link/URL
Abschluss
Students must
Mark as done
◄
On "bad" infinity (V. Kolman)
Direkt zu:
Kursübersicht
Allgemeines
Modern mathematics and its philosophy (2026)
Recommended reading
Topic 1: Hilbert and Moore
Topic 2: Does mathematics need new axioms? Feferman, Friedman, Maddy, Steel
Topic 3: Propositions as types: type theory vs set theory
Topic 4: Concepts of infinity: logic vs mathematics
Slide presentations (2026)
David Roubínek, 9.3.2026
Additional reading: Benacerraf, Hilbert
Additional reading: Barton and Friedman
Additional reading: Category theory vs set theory: Mac Lane vs Mathias
Additional reading: Macintyre vs. Baldwin: What is a structure?
Hilary Putnam: philosophy vs mathematics
Mark Balaguer: A full-blooded platonism
Hilbert's programme
Cateogory theory
Category theory, type theory, and homotopy type theory
Can one solve the Continuum Hypothesis?
On "bad" infinity (V. Kolman)
Interesting topics
►
Topic 1: Hilbert and Moore