Számítógépes bizonyíték arra, hogy létezik magasabb rendű lény
A tudósoknak sikerült bizonyítaniuk Gödel tételét, amely a logika elvei alapján jut erre a következtetésre
Kapcsolódó hírek
Christoph Benzmüller, a Berlini Szabadegyetem és Bruno Woltzenlogel, a Bécsi Műszaki Egyetem tudósai számítógéppel igazolt Gödel-tételt dolgoztak ki, amelyet a múlt század végén dolgozott ki az osztrák matematikus Kurt Gödel és ez arra a következtetésre jut, hogy a logika elvei alapján kell lennie egy magasabb lénynek.
A 70-es évek végén Gödel azzal érvelt, hogy definíciója szerint "nem létezhet nagyobb, mint egy legfelsőbb lény", és logikai-matematikai érvek segítségével javasolta Isten létét. Célja az volt, hogy megmutassa, hogy az úgynevezett "ontológiai érv" Isten létezése mellett helytálló.
Most a tudósok egy közönséges MacBook-szal kimutatták, hogy az érvük az volt matematikailag helyes. Ebben az értelemben a kutatók hangsúlyozták, hogy ez az Arxiv.org oldalon megjelent munka „sokkal inkább a demonstrációval kiváló technológia segíthet a tudománynak, azzal az elmélettel, hogy Isten létezik vagy sem ".