(Foto: Splet)
Dejstvo je, da sta dva znanstvenika formalizirala teorem glede obstoja Boga, ki ga je postavil avstrijski matematik Kurt G??del. In da, dejstvo je tudi, da je naslov morda malo zavajajoč, saj tukaj ni govora o dokazovanju kak??nega vi??jega bitja, gre bolj za dober primer, kako lahko tehnologija pohitri znanstvene raziskave na vseh področjih. Kako?
Ko je G??del leta 1978 umrl, je za sabo pustil precej zapleteno matematično podprto teorijo, katere zaključek je, da ?Vi??je bitje? mora obstajati. In čeprav je bilo podobnih abstraktnih poskusov dokazovanja Boga v preteklosti ??e ne??teto, je bil to prvi znanstveno oziroma matematično podprt, ki je za tezo ponudil konkreten dokaz. Njegovi teoremi in aksiomi, tj. predvidevanja, ki jih ne gre dokazati, je mogoče izraziti z matematičnimi enačbami, ki pa seveda so dokazljive.
Dokazovanje obstoja boga s pomočjo prenosnika MacBook Pro
In tukaj nastopita na??a novodobna znanstvenika, Christoph Benzm??ller iz berlinske Univerze in njegov kolega Bruno Woltzenlogel Paleo iz dunajske tehnične Univerze. S pomočjo navadnega prenosnika MacBook Pro sta namreč dokazala G??delov tezo, vsaj na matematičnem nivoju. Njuna raziskava, "Formalization, Mechanization and Automation of G??del's Proof of God's Existence", je bila pred kratkim objavljena na arxiv.org
?Dejstvo, da lahko tako komplicirana matematična dokazovanja prepustimo preprostim računalnikom, odpira mnoge nove mo??nosti? pojasnjuje Benzm??ller. ?Popolnoma neverjetno je, da je lahko argument G??dela dokazan povsem samodejno, v nekaj sekundah.? je ??e dodal.
In čeprav mnogim ime G??del ne pomeni prav dosti, omenimo, da je med znanstveniki precej odmevno, podobno tistemu, bolj znanemu Alberta Einsteina, ki mu je bil mimogrede tudi dober prijatelj. Bog torej obstaja? Tega ??e vedno ne vemo, ?matematično upanje? pa zagotovo obstaja.
|
