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
Interesting topics
Interesting topics
Osnova sekce
◄
On "bad" infinity (V. Kolman)
►
Topic 1: Hilbert and Moore
Based on your preferences, please browse through the papers and a book listed below.
Vybrat aktivitu [Brouwer] - Intuitionism and formalism (1913, BAMS)
[Brouwer] - Intuitionism and formalism (1913, BAMS)
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu [Detlefsen] - On interpeting second Goedel theorem 1979 (JPL)
[Detlefsen] - On interpeting second Goedel theorem 1979 (JPL)
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu [Feferman, Friedman, Maddy, Steel]-Does mathematics need new axioms? BSL (2000)
[Feferman, Friedman, Maddy, Steel]-Does mathematics need new axioms? BSL (2000)
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu [Antos, Friedman, Honzik, Ternullo] Multiverse conceptions in set theory
[Antos, Friedman, Honzik, Ternullo] Multiverse conceptions in set theory
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu [Hamkins]-Set-theoretic-multiverse 2012 (RSL)
[Hamkins]-Set-theoretic-multiverse 2012 (RSL)
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu [Shelah] Logical Dreams
[Shelah] Logical Dreams
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu Book on connections between mathematics and set theory- [Ferreiros] - Labyrinth of Thought
Book on connections between mathematics and set theory- [Ferreiros] - Labyrinth of Thought
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu Indespensability Arguments
Indespensability Arguments
URL
Absolvování
Studenti musí
Označit jako hotovo
◄
On "bad" infinity (V. Kolman)
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
►
Topic 1: Hilbert and Moore