26.08.2013 12:20 Uhr, Quelle: Heise

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

Weiterlesen bei Heise