„Gödel ontológiai istenérve” változatai közötti eltérés
Megjelenés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →Külső hivatkozások: forma |
a robot Adding: fr:Preuve ontologique de Gödel |
||
15. sor: | 15. sor: | ||
[[en:Gödel's ontological proof]] |
[[en:Gödel's ontological proof]] |
||
[[fr:Preuve ontologique de Gödel]] |
A lap 2006. szeptember 24., 20:58-kori változata
|
Ez a szócikk vagy szakasz lektorálásra, tartalmi javításokra szorul. |
"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."