Ehhez még szeretnék hozzáfűzni valamit.
Kurt Gödel nem az első és nem az utolsó matematikus volt, aki modális logikai levezetéssel igazolást adott Isten létezésére. (Mivel ugye modális, fogalmazzunk finomabban: megpróbálta).
Két hiányossága volt az elméletnek, de ha jól tudom, azóta dolgoztak rajta matematikusok és számítógép segítségével valami olyasmi jött ki, hogy Isten szükségszerűen létezik.
Ezt persze én nem hiszem el.
Azt sem hiszem el, amit te mondasz: hogy biztos tudást lehet szerezni Isten nem létezéséről.
Egyébként is valaminek a nem létezését hogy lehet bizonyítani?
Én most kitalálok valamit: Létezik-e egy Eszter nevű nő Magyarországon, aki két méter magas, az egyik szeme zöld, a másik kék és ráadásul van egy Marci nevű ismerőse. Van ilyen, nincs ilyen? Hogy bizonyítod be? Hogy ellenőrzöd? Ha ismersz ilyet, akkor könnyű: tessék itt van. Ha nem: végig kell nézned Magyarország összes lakóját egyesével. Nem kivitelezhető.
