Mais, on en a des modèles de calcul plus puissants que la machine de Turing : hypercalcul ! Ce qui sauve la thèse se Church, c'est que ce ne sont que des modèles et que personne n'a jamais vu de machines qui sont effectivement super-Turing... Mais qui a vu des machines de Turing de toute façon ?
[^] # Re: Hum
Posté par 태 (site web personnel) . En réponse au journal Lisaac plus rapide que le C !. Évalué à 2.