Publications of Renaud Hoyoux
Bookmark and Share    
Full Text
See detailSLDC: an open-source workflow for object detection in multi-gigapixel images
Mormont, Romain ULiege; Begon, Jean-Michel ULiege; Hoyoux, Renaud ULiege et al

Conference (2016, September 12)

Detailed reference viewed: 142 (47 ULiège)
Full Text
See detailLes théorèmes d'incomplétude
Hoyoux, Renaud ULiege

Master's dissertation (2011)

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 ... [more ▼]

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. [less ▲]

Detailed reference viewed: 12 (1 ULiège)