Přejít k obsahu


Hilbert, Gödel, Hintikka

Citace: [] DOSTÁLOVÁ, L. Hilbert, Gödel, Hintikka. Brno, 2006.
Druh: PŘEDNÁŠKA, POSTER
Jazyk publikace: cze
Anglický název: Hilbert, Gödel, Hintikka
Rok vydání: 2006
Místo konání: Brno
Autoři: Ludmila Dostálová
Abstrakt CZ: Standardně se uvádí, že Gödelovy věty o neúplnosti znamenaly konec tzv. Hilbertova programu. Hintikka naopak v řadě svých prací tvrdí, že jemu se podařilo Hilbertův program rehabilitovat a překonat tak Gödelovy výsledky, neboť prostřednictvím jeho IF-logiky je možné úplnost i bezespornost aritmetiky dokázat. Oprávněností tohoto prohlášení se tento příspěvek zabýval.
Abstrakt EN: Gödel's results are traditionally interpreted as the ultimate overthrow of the Hilbert's program. Hintikka, on the other hand, claims that he has renowed and fulfilled the Hilbert's programme, because his IF-Logic is able not only to completely axiomatize mathematics, but also prove directly its consistency. The paper investigates the legitimacy of such a claim.
Klíčová slova

Zpět

Patička