Teorie vyčíslitelnosti: Porovnání verzí

Odebráno 7 bajtů ,  před 6 lety
→‎Zajímavé hypotézy: nerozumím škrtnutí, tak ho mažu.
(oops)
(→‎Zajímavé hypotézy: nerozumím škrtnutí, tak ho mažu.)
* Nelze zkonstruovat algoritmus, který by pro obecný [[počítačový program|program]] ověřil konečnost jeho běhu (tzv. [[problém zastavení]]).
 
== Zajímavé <s>hypotézy</s> ==
* Ke každému algoritmu existuje ekvivalentní Turingův stroj (tzv. [[Church-Turingova teze]]).
 
Neregistrovaný uživatel