Reference : Les théorèmes d'incomplétude
Dissertations and theses : Master's dissertation
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/2268/214147
Les théorèmes d'incomplétude
French
[en] The incompleteness theorems
Hoyoux, Renaud mailto [Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes et modélisation >]
13-Sep-2011
Université de Liège, ​Liège, ​​Belgique
Master en Sciences Mathématiques à finalité spécialisée en informatique
vii,112+7
Hansoul, Georges mailto
Rigo, Michel mailto
Lecomte, Pierre mailto
Gribomont, Pascal mailto
[en] Gödel ; Incompleteness ; Mathematical logic
[fr] Gödel ; Incomplétude ; Logique mathématique
[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.
Students ; General public
http://hdl.handle.net/2268/214147

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Hoyoux.pdfPublisher postprint905.8 kBView/Open

Additional material(s):

File Commentary Size Access
Open access
presentation.pdfPresentation502.04 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.