Вход на сайт
Свекровь лезет со своей верой
24401 просмотров
Перейти к просмотру всей ветки
в ответ злючка1 10.11.19 18:22
Forscher beweisen Exitenz Gottes am Computer
Я уже было подумала :» Ну все! Компьютер с ума сошёл,» Перегрелся ...
Или создатели программы перегрелись ...
Оказалось - все намного проще, никакого ИИ .
Der gödelsche Gottesbeweis fußt, wie alles in der Mathematik, auf nicht beweisbaren Grundannahmen, den sogenannten Axiomen. Wenn man Axiome entsprechend wählt, lässt sich aus ihnen letztlich alles folgern. Was den Forschern also glückte, war nur der Nachweis, das aus den Gödelschen Annahmen logisch korrekt so etwas wie die Existenz Gottes folgt.
Die eigentliche Nachricht ist vielmehr, dass ein solcher Formalismus von Computern erbracht werden kann.
Das hat wichtige Konsequenzen. Den Beweis komplexer Theoreme kann man also tatsächlich Computern überlassen.
Ob es aber Gott gibt, bleibt eine Glaubenssache.
Человеческое здоровье важнее бизнеса