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

← Přejít na předchozí porovnání Přejít na další porovnání →

Verze z 23. 4. 2005, 00:23

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í).

Pahýl

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.