Można pokazać, że twierdzenie Gödla jest równoważne twierdzeniu Turinga o problemie stopu.
Zobacz też argument Lucasa-Penrose’a dowód Turinga problem stopu
Przypisy
Bibliografia
Literatura dodatkowa
Linki zewnętrzne Polskojęzyczne Katja Sagerschnig, Twierdzenie Gödla (niem., polskie napisy), kanał Centrum Nauki Kopernik w Warszawie na YouTube, 14 grudnia 2018 [dostęp 2021-09-16].
Anglojęzyczne [dostęp 2023-06-18]. [dostęp 2023-06-18]. Gödel incompleteness theorem , Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].
Gödel’s theorems , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10]. Yong Cheng, Gödel’s incompletness theorem and the anti-mechanist argument: revisited , ArXiv, 5 sierpnia 2020 [dostęp 2026-01-06].
Gödla Kategoria:Filozofia matematyki