Logique Mathématique et Théorie des Ensembles
Historique des séances
10 juillet 2013 - 13:30Jean Malgoire
Forcing 2
01 juillet 2013 - 13:30
Jean Malgoire
Forcing 1
17 juin 2013 - 13:30
Jean Malgoire
Introduction au forcing
07 juin 2012 - 13:45
David Théret
Ensembles constructibles : hypothèse du continu généralisée.
31 mai 2012 - 13:45
David Théret
Schéma de réflexion
24 mai 2012 - 13:45
David Théret
Ensembles constructibles : définition et propriétés
17 mai 2012 - 13:45
David Théret
Parties définissables
26 avril 2012 - 13:45
David Théret
Cardinaux inaccessibles, modèles de ZFC
19 avril 2012 - 13:45
David Théret
Arithmétique ordinale : somme, produit, puissance. Suites de Goodstein.
05 avril 2012 - 13:45
David Théret
Axiome de remplacement, application aux ordinaux, arithmétique ordinale (début).
22 mars 2012 - 13:45
David Théret
Ordinaux (suite)
15 mars 2012 - 13:45
David Théret
Théorie des ensembles : ordinaux (II).
08 mars 2012 - 13:45
David Théret
Théorie des ensembles : ordinaux.
01 mars 2012 - 14:00
Viviane Durand-Guerrier
Tarski et la théorie des modèles : un éclairage épistémologique
16 février 2012 -
Julianna Zsido
Introduction au lambda-calcul
09 février 2012 - 14:00
Jean Malgoire
Deuxième théorème d'incomplétude de Gödel (fin)
02 février 2012 - 14:00
Jean Malgoire
Deuxième théorème d'incomplétude de Gödel
26 janvier 2012 - 14:00
René Cori
Introduction à la théorie des modèles
19 janvier 2012 - 14:00
Sylvain Maillot
Fonctions récursives.
12 janvier 2012 - 14:00
Sylvain Maillot
Fonctions récursives : fonction d'Ackermann
05 janvier 2012 - 14:00
Sylvain Maillot
Fonctions récursives
22 décembre 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (fin)
15 décembre 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (suite)
08 décembre 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (suite)
01 décembre 2011 - 14:00
Jean Malgoire
Théorème d'incomplétude de Gödel (suite)
07 juin 2011 - 9:45
Constantin Vernicos
Logique du 1er ordre III
24 mai 2011 - 9:45
Constantin Vernicos
Logique du 1er ordre II
17 mai 2011 - 9:45
Constantin Vernicos
Logique du 1er ordre I
19 avril 2011 - 9:45
David Théret
Logique propositionnelle III
12 avril 2011 - 9:45
David Théret
Logique Propositionnelle II
05 avril 2011 - 9:45
David Théret
Logique Propositionnelle I
29 mars 2011 - 9:45
David Théret
Origines et problèmes de la Logique Mathématique