Diskuse:Bezesporná teorie

Sekce "Hilbertův program

Přesunul jsem z článku sem na diskusní stránku pasáž, se kterou nesouhlasím (hlavní důvod je ten, že bezespornost teorie má význam i v jiných kontextech, než je snaha splnit Hilbertův program) - ale MOŽNA by se mohla napsat do nové sekce "HIlbertův program" v tomto článku.

Ta pasáž zněla:

Bezespornost nějaké formální teorie je základní vlastností, kterou od ní požadujeme - spolu s požadavky úplnosti a rekurzivní axiomatizovanosti tvořila bezespornost trojici nároků, které David Hilbert ve svém tzv. Hilbertově programu kladl na teorii, která by měla být „světem matematiky“ (tj. takovou teorii, v níž by byly všechny ostatní matematické teorie interpretovatelné). Nemožnost provedení Hilbertova programu prokázal Kurt Gödel ve svých slavných větách o neúplnosti.

--Pavel Jelínek 9. 10. 2010, 05:00 (UTC)