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
Historie moderni matematiky a logiky
Allgemeines
Allgemeines
Section outline
►
Non-ecludian geometries
Select section Allgemeines
Direkt zu:
Kursübersicht
Allgemeines
Non-ecludian geometries
Decidability of real closed fields (RCF)
First order or second order? Tarsky or geometry?
Independence results for set theory: forcing
Dedekind and the continuity of the real line
Peano and arithmetics
A step back: an excluded middle?
Formalization of logic: from high hopes to limitations
Non-classical logics (many-valued, modal, substructural...)
Many-valued logics
Modal logics
Substructural logics
Non-monotonic logic
Cateogory theory and Homotopy type theory
Model theory and logical dreams
►
Non-ecludian geometries