====== Nerozhodnutelnost ======
(problém zastavení TS, princip diagonalizace a redukce, Postův korespondenční problém).
----
[[http://wiki.fituska.eu/index.php/Nerozhodnutelnost | FitWiki]]