Calculabilité et incomplétude - Notes de cours

Donner une définition récursive primitive de la fonction qui à un entier n associe le code de la suite de diviseurs premiers de n dans l’ordre croissant..

Les tours de Hanoï sont un jeu de réflexion consistant à déplacer des disques de diamètres différents d’une tour de « départ » (tour 1) à une tour d’ « arrivée » (tour 3)

Écrire une fonction exponentiationRapide(a,n) qui prend en entré un réel a et un entier n et qui renvoie a n en utilisant l’égalité précédente2. On utilisera une

Donc voici comment nous proposons d’énoncer l’axiome de Peano-Lawvere dans une catégorie quelconque E : pour tout objet X.. de E il existe un diagramme de la

AXIOME.. 1) Soit E la catégorie dont les objets sont les en- sembles de la forme IN , pour p G IN, les sous-ensembles de ces ensembles et ]N U {u*}.. Les flèches de E sont les

On va montrer l’existence d’une fonction cal- culable, la fonction d’Ackermann, qui énumére non pas toutes les fonctions primitives récursives, mais une suite de fonctions

Théorème 2.3.13 (Théorème de Rice) Soit F un ensemble de fonctions (partielles) calculables à k va- riables tel que F 6= ; et tel qu’il existe une fonction partielle calculable

Proposition 3.5.1 (version faible du premier théorème d’incomplétude) Soit T une théorie dans le lan- gage de l’arithmétique de Peano, effectivement axiomatisable, et qui a