Passer au contenu principal
Panneau latéral
DL 1
Accueil
Calendrier
Plus
Français (fr)
Русский (ru)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Vous êtes connecté anonymement
Connexion
DL 1
Accueil
Calendrier
Tout déplier
Tout replier
Ouvrir l'index du cours
Historie moderni matematiky a logiky
Généralités
Généralités
Section outline
►
Non-ecludian geometries
Select section Généralités
Aller à…
Page d'accueil du cours
Généralités
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