Nerozhodnutelnost
(problém zastavení TS, princip diagonalizace a redukce, Postův korespondenční problém).
FitWiki