Meldung vom 26.08.2013 12:02

Computerprogramm bestätigt Gödels Gottesbeweis

KI-Foscher haben einen maschinengestützten Theorembeweis entwickelt und damit, wie sie sagen, eine Grundlage für eine computer-assistierte Metaphysik gelegt

Vorlesen

mp3 herunterladen

Erstellen Sie sich Ihre individuelle heise online-Nachrichtensendung im mp3-Format. Hier finden Sie unsere MP3-News der letzten 24 Stunden.