Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot změnil: en:Computability |
Úprava sémantické nepravdy |
||
Řádek 4:
== Zajímavé výsledky ==
* Nelze zkonstruovat algoritmus, který by pro obecný [[počítačový program|program]] ověřil konečnost jeho
== Zajímavé hypotézy ==
| |||