Gödel tétele patologiás állítás

geier_janos_godel_tetel_visszakozas.jpg

"A Gödel tételben szereplő 'nem eldönthető állítás' egyszerűen azért nem dönthető el, mert eleve úgy lett megfogalmazva, hogy önmagának ellentmondjon. Abban pedig semmi csodálnivaló nincs, hogy egy önmagának ellentmondó, azaz logikai hibát tartalmazó állítás nem eldönthető. A Gödel tétel az ilyen 'patologiás állításokról' bizonyítja, hogy eldönthetetlenek - de ezt formalizálás nélkül is tudjuk." forrás (Geier János ELTE Pszichológiai Intézet, mellesleg alapból matematikus)  Később leltem rá, ezen idézet teljesebb írásos változatára itt: Gondolat 2004