Halting-problemet: Forskelle mellem versioner
Content deleted Content added
m Tilføjede Kategori:Matematik ved hjælp af Hotcat |
No edit summary |
||
Linje 4:
Alan Turing beviste i 1936 at sådan algorithme ikke eksisterede i Turing-maskinens komputationelle klasse.
== Kilder ==
* Moore, Cristopher; Mertens, Stephan (2011), ''The Nature of Computation'', Oxford University Press, pp. 236–237, ISBN 9780191620805.
{{Stub}}
| |||