Jegyzetlapok 25.: (Nemteljességi tétel)

• 

Kurt Gödel két nemteljességi tétele végzetes csapást mért minden filozófiai és/vagy tudományos elképzelésre, amely olyan zárt rendszert akart létrehozni, amely önmagát magyarázza. A logika tudós két tételében ugyanis bebizonyította, hogy minden ellentmondásmentes rendszerben léteznek olyan igaz állítások, amelyek a rendszeren belül nem bizonyíthatók.

(Az 1931-ben bemutatott levezetés mutatta meg, hogy megvalósíthatatlan a matematika álma, hogy létrehozzon egy véges, konzisztens axiómarendszert, amiből minden matematikai igazság levezethető.) Más megfogalmazásban: minden ilyen rendszerhez tartoznia kell legalább egy külső oknak, igazságnak, ami megalapozza, tételezi és/vagy magyarázza a rendszert.

Vegyünk egy nagy levegőt: ezek szerint az evolúció sem lehet olyan zárt rendszer, ami önmagát magyarázza. Kell lennie legalább egy rendszeren kívüli külső oknak, magyarázó elvnek. Ez pedig mi más lehetne, mint Isten… 

Sípos (S) Gyula, szeretetfoldje.hu