Nerozhodnutelnost

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


FitWiki