[fr] Mémoire défendu en vue de l'obtention du titre de Master en sciences mathématiques portant sur les théorèmes d'incomplétude et constitué de quatre chapitres : le premier est un rappel des bases en logique formelle et en théorie des fonctions récursives; le second est consacré aux théorèmes d'incomplétude de Gödel; le troisième présente un exemple détaillé d'un énoncé aisé à comprendre mais néanmoins indémontrable dans l'arithmétique de Peano; le dernier explorant les possibilités de "mesure" des théorèmes indémontrables.
Disciplines :
Mathematics
Author, co-author :
Hoyoux, Renaud ; Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes et modélisation
Language :
French
Title :
Les théorèmes d'incomplétude
Alternative titles :
[en] The incompleteness theorems
Defense date :
13 September 2011
Number of pages :
vii,112+7
Institution :
ULiège - Université de Liège
Degree :
Master en Sciences Mathématiques à finalité spécialisée en informatique
Promotor :
Hansoul, Georges ; Université de Liège - ULiège > Département de mathématique
Jury member :
Rigo, Michel ; Université de Liège - ULiège > Département de mathématique
Lecomte, Pierre ; Université de Liège - ULiège > Département de mathématique
Gribomont, Pascal ; Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)