René Cori - Définition

Introduction

René Cori est un mathématicien français, spécialiste en logique mathématique. 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. Il prend fermement position le 22 janvier 2009 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é.

Publications

• (fr) René Cori, Daniel Lascar, Jean-Louis Krivine, Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats, Dunod, Paris, 2003, 408 p.  
• (fr) René Cori, Daniel Lascar, Jean-Louis Krivine, Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles, Dunod, Paris, 2003, 368 p.  
• (en) René Cori, Daniel Lascar, Donald Pelletier, Mathematical Logic: A Course With Exercises : Part I - Propositional Calculus, Bookean Algebras, Predicate Calculus, Completeness Theorems, Oxford University Press, Paris, 2000, 360 p.  
• (en) René Cori, Daniel Lascar, Donald Pelletier, Mathematical Logic: A Course With Exercises : Part II - Recursion Theory, Gödel's Theorems, Set Theory, Model Theory, Oxford University Press, Paris, 2001, 352 p.  
• (en) Rene Cori, Alexander Razborov, Stevo Todorcevic, 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, A K Peters, Paris, 2005, 424 p.  
• (en) Jean-Louis Krivine, Rene Cori, Lambda-Calculus, Types and Models, Ellis Horwood Ltd, 1993, 192 p.