Zum Hauptinhalt
Website-Übersicht
DL 1
Startseite
Kalender
More
Deutsch (de)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Sie sind als Gast angemeldet
Login
DL 1
Startseite
Kalender
Alle aufklappen
Alle einklappen
Open course index
Philosophy of set theory and mathematics
Allgemeines
Allgemeines
Section outline
►
Modern mathematics and its philosophy (2026)
Select section Allgemeines
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
►
Modern mathematics and its philosophy (2026)