Gödel ontológiai istenérve

A Wikipédiából, a szabad lexikonból.

Ezt a szócikket át kellene olvasni, ellenőrizni a szövegét, tartalmát. További részleteket a cikk vitalapján találhatsz.

"A Gödel-tétel azt állítja, hogy nincs olyan konstruktív eljárás, amellyel be lehet bizonyítani, hogy egy axiómarendszer ellentmondásmentes. Lefordítva hétköznapi nyelvre: ha egy matematikai konstrukció (például a kozmológia esetleges végső nagy egyenletrendszere) levezethető, akkor lehet igaz, de nem lehet szükségszerűen (kényszerítő erővel) igaz. Az állítás nemcsak axiómarendszerekre igaz, hanem bármely nem triviális aritmetikai állítássorozatra."

[szerkesztés] Lásd még

[szerkesztés] Külső hivatkozások

Más nyelveken