René Cori

René Cori Životopis

René Cori (4. února 1949-) je francouzský matematik , specialista na matematickou logiku . Přednášející na Univerzita Paříž VII , byl ředitelem Paris-Diderot Institutu pro výzkum matematiky (IREM) až do roku 2008, jak jakož i ADIREM ( shromáždění rady Irem ) od roku 2006 do roku 2008 . Pevně se staví 22. ledna 2009o rozhodnutích MUŽŮ a MESR o reformě školení učitelů a náborových soutěží vypovězením odměn obdržených studenty v rámci odpovědné praxe.

Životopis

René Cori a Daniel Lascar, Matematická logika, díl 1: Výrokový kalkul, Booleova algebra, predikátový počet [ detail vydání ]
René Cori a Daniel Lascar, Matematická logika, díl 2: Rekurzivní funkce, Gödelova věta, teorie množin, teorie modelů [ detail vydání ]
(en) René Cori, Daniel Lascar a Donald Pelletier, Mathematical Logic: A Course With Exercises: Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems , Paris, Oxford University Press ,2000, 360 s. ( ISBN 978-0-19-850049-0 )
(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 ,2001, 352 s. ( ISBN 978-0-19-850051-3 , číst online )
(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, 23. – 31. července 2000 , Paříž, AK Peters ,2005, 424 s. ( ISBN 978-1-56881-251-9 )
(en) Jean-Louis Krivine , René Cori, Lambda-Calculus, Typy a modely , Ellis Horwood Ltd,1993, 192 s. ( ISBN 978-0-13-062407-9 )