Arrgh ! Je peux pas tenir : j'ai pitié. Mais je ne te fais que qqs exos, comme ça, ça t'aidera à comprendre les autres, et ça t'y obligera, même : tu ne pourras pas rendre ce que je te donne sans avoir fait les autres exos, ce serait trop évident que ça ne vient pas de toi.
Grande leçon pour la suite : si tu tiens tant que ça à ces exercices, il fallait t'y prendre plus tôt, travailler le cours, et en cas de problème en parler au prof !
Soit dit en passant, ta vie ne dépend pas de la note que tu vas avoir. Donc tu as le choix entre accepter de te prendre une caisse (ça arrive à tout le monde) ou prendre ton courage à deux mains, et passer s'il le faut la nuit à relire ton cours...
Il existe x tel que H(x) et non M(x)
pour tout a, il existe b tel que [b=a+1 et pour tout c tel que c=a+1, c=b]
nombres naturels : Je t'avais dit de chercher "peano" (les postulats de Peano)
Pour l'exercice, je te définit les nombres naturels comme le fait D. Hofstadter dans Gödel Esher Bach :
1) Génie est un Djinn
2) Chaque djinn a un méta (qui est aussi un djinn)
3) Génie n'est le méta d'aucun djinn
4) Des djinns différents ont des méta différents
5) Si génie a [la propriété] X, et si chaque Djinn transmet X à son méta, alors tous les djinns auront X
Je te laisse le soin de traduire !
Bon courage pour cette nuit :-) Je ne t'en dirai pas plus
Devine si tu peux, et choisis si tu l'ose
