nsi:terminales:calculabilite:arret
Différences
Ci-dessous, les différences entre deux révisions de la page.
| nsi:terminales:calculabilite:arret [2023/02/06 21:45] – créée goupillwiki | nsi:terminales:calculabilite:arret [2023/02/06 21:46] (Version actuelle) – goupillwiki | ||
|---|---|---|---|
| Ligne 6: | Ligne 6: | ||
| * Une machine de Turing doit pouvoir est décrite avec un nombre de symbole fini. Le nombre de machines de Turing est un infini semblable à $card(\mathbb{N})$. | * Une machine de Turing doit pouvoir est décrite avec un nombre de symbole fini. Le nombre de machines de Turing est un infini semblable à $card(\mathbb{N})$. | ||
| - | * Avec un argument semblable à la diagonale de Cantor, on prouve que le nombre de fonctions est comme $\card(\mathbb{R})$. | + | * Avec un argument semblable à la diagonale de Cantor, on prouve que le nombre de fonctions est comme $card(\mathbb{R})$. |
| Mais on aimerait, comme Gödel avec sa propriété indémontrable, | Mais on aimerait, comme Gödel avec sa propriété indémontrable, | ||
nsi/terminales/calculabilite/arret.1675716355.txt.gz · Dernière modification : de goupillwiki