Forum de Mathématiques: Maths-Forum

Merci pour votre réponse. D'abord, mes w sont des omégas En gros, on sait que w_1_ck (nombre ordinal de church kleene) est écrivable par une ITTM (infinite time Turing machine). Mon problème est : trouver une ITTM écrivant en sortie l'ordinal w_1_ck en un temps w_1_ck + w Je connais déjà une ITTM ca...

Bonjour, Mon problème porte plus particulièrement sur le fait d'écrire un ordinal (codé par la relation de bon ordre associée) sur une ittm et de le faire évoluer : Je vois comment on peut écrire a + w en w étapes : on a écrit a, on prend a comme ordre sur les pairs, on ordonne les pairs par ordre c...