Skip to main content
Side panel
DL 1
Home
Calendar
Support
User support
GDPR
More
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
You are currently using guest access
Log in
DL 1
Home
Calendar
Support
Collapse
Expand
User support
GDPR
Expand all
Collapse all
Open course index
Faculty of Arts
Department of Logic
Logic
Philosophy of set theory and mathematics
General
General
Section outline
►
Modern mathematics and its philosophy (2026)
Select section General
Jump to...
Main course page
General
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)