René Cori

René Cori (4 février 1949 -- ) est un mathématicien français, spécialiste en logique mathématique[1],[2]. Maître de conférences à l'Université Paris Diderot, il a été directeur de l'Institut de recherche sur l'enseignement des mathématiques Paris-Diderot (IREM) jusqu'en 2008 ainsi que de l'ADIREM (Assemblée des directeurs d'IREM) de 2006 à 2008[3]. Il prend fermement position le sur les décisions du MEN et du MESR sur la réforme de la formation des maîtres et des concours de recrutement en dénonçant les gratifications perçues par les étudiants en stage de responsabilité[4].

Pour les articles homonymes, voir Cori.

Biographie

Travaux

Publications

  • René Cori, Daniel Lascar, Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats [détail des éditions]
  • René Cori, Daniel Lascar, Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [détail des éditions]
  • René Cori, Daniel Lascar et Donald Pelletier, Mathematical Logic: A Course With Exercises : Part I - Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems, Paris, Oxford University Press, , 360 p. (ISBN 9780198500490)
  • (en) René Cori, Daniel Lascar et Donald Pelletier, Mathematical Logic: A Course With Exercises : Part II - Recursion Theory, Gödel's Theorems, Set Theory, Model Theory, Paris, Oxford University Press, , 352 p. (ISBN 9780198500513)
  • (en) René Cori, Alexander Razborov, Stevo Todorčević et Carol Wood, Logic Colloquium 2000: Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Paris, France, July 23-31, 2000, Paris, A K Peters, , 424 p. (ISBN 9781568812519)
  • (en) Jean-Louis Krivine, René Cori, Lambda-Calculus, Types and Models, Ellis Horwood Ltd, , 192 p. (ISBN 9780130624079)

Notes et références

Voir aussi

Articles connexes

Liens externes

  • Portail des mathématiques
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.