Master de philosophie Parcours Logique Cours de logique, et d ...

Susana BERESTOVOY,. Le but de ce cours est de donner une démonstration du premier théorème d'incomplétude de Gödel. Nous présentons les notions en jeu dans l'énoncé de ce théorème: Complétude, consistance, décidabilité, démontrabilité, théorie axiomatique, arithmétique complète. Nous décrivons en suite la ...