http://www.scottaaronson.com/busybeaver.pdf
on peut donner explicitement une machine de turing et montrer qu'il n'est pas possible de prouver qu'elle termine dans ZFC (en supposant que ZFC soit cohérent)
on peut donner explicitement une machine de turing et montrer qu'il n'est pas possible de prouver qu'elle termine dans ZFC (en supposant que ZFC soit cohérent)
La meilleure façon de châtier les hommes est de toujours donner ce qu'ils réclament.
Sponsorisé
Connectez-vous pour masquer les pubsup
l'hypothèse de Riemann est équivalente à une formule Pi_1
l'hypothèse de Riemann est équivalente à une formule Pi_1
La meilleure façon de châtier les hommes est de toujours donner ce qu'ils réclament.
je retente un autre up
La meilleure façon de châtier les hommes est de toujours donner ce qu'ils réclament.
rien compris perso
