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

Přidáno 6 bajtů ,  před 11 lety
Úprava sémantické nepravdy
m (robot změnil: en:Computability)
(Úprava sémantické nepravdy)
== Zajímavé výsledky ==
* Nelze zkonstruovat algoritmus, který by pro obecný [[počítačový program|program]] ověřil konečnost jeho konečnostběhu (tzv. [[problém zastavení]]).
 
== Zajímavé hypotézy ==
76

editací