Teorie vyčíslitelnosti: Porovnání verzí
Smazaný obsah Přidaný obsah
m repahýl |
|||
Řádek 5: | Řádek 5: | ||
*Nelze zkonstruovat algoritmus, který by pro obecný [[počítačový program|program]] ověřil jeho konečnost (tzv. [[problém zastavení]]). |
*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]] |
[[Kategorie:Vyčíslitelnost]] |
||
Verze z 6. 10. 2006, 10:19
Teorie vyčíslitelnosti zkoumá hranice algoritmické konstrukce množin. Pro modelování využívá například Turingův stroj a intuicionistickou logiku.
Zajímavé výsledky:
- Nelze zkonstruovat algoritmus, který by pro obecný program ověřil jeho konečnost (tzv. problém zastavení).