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

Smazaný obsah Přidaný obsah
ToOb (diskuse | příspěvky)
m repahýl
Řádek 5:
*Nelze zkonstruovat algoritmus, který by pro obecný [[počítačový program|program]] ověřil jeho konečnost (tzv. [[problém zastavení]]).
 
{{Matematický pahýl}}
{{Pahýl}}
[[Kategorie:Vyčíslitelnost]]