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
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)
File
Completion
Students must
Mark as done
Select activity [Detlefsen] - On interpeting second Goedel theorem 1979 (JPL)
[Detlefsen] - On interpeting second Goedel theorem 1979 (JPL)
File
Completion
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)
File
Completion
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
File
Completion
Students must
Mark as done
Select activity [Hamkins]-Set-theoretic-multiverse 2012 (RSL)
[Hamkins]-Set-theoretic-multiverse 2012 (RSL)
File
Completion
Students must
Mark as done
Select activity [Shelah] Logical Dreams
[Shelah] Logical Dreams
File
Completion
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
File
Completion
Students must
Mark as done
Select activity Indespensability Arguments
Indespensability Arguments
URL
Completion
Students must
Mark as done
◄
On "bad" infinity (V. Kolman)
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
►
Topic 1: Hilbert and Moore