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.

hogy

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 ".

Így rámutattak arra, hogy az a fontos, hogy a számítógépek által elért eredmények "a Gödel ragyogó érvelésének sikerei". Benzmüller rámutatott erre ontológiai bizonyíték mindennél jobban jó példa volt valamire, ami a matematikában vagy a mesterséges intelligenciában nem érhető el, amelyet a jelenlegi technológia megoldott.

Véleménye szerint az a tény, hogy e bonyolult tételek formalizálása elvégezhető nem professzionális számítógépek mindenféle lehetőséget megnyit. A tudós rámutatott, hogy „teljesen hihetetlen, hogy a Gödel tétele másodpercek alatt vagy akár annál is rövidebb időn belül tesztelhető egy szabványos laptopon ».