Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Rozbalit vše
Sbalit vše
Otevřít indexu kurzu
Filozofická fakulta
Katedra logiky
Logika
Philosophy of set theory and mathematics
Úvod
Úvod
Osnova sekce
►
Modern mathematics and its philosophy (2026)
Vybrat sekci Úvod
Přejít na...
Hlavní stránka kurzu
Úvod
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)