... newer stories
Montag, 26. August 2013
oh Gott oh Gott
diegolego, 22:13h
"KI-Foscher haben einen maschinengestützten Theorembeweis und damit Grundlagen für computer-assistierte Metaphysik entwickelt."
(heise, 26.8.2013)
Hab's natürlich nicht geleesen, aber Ihr vielleicht.
PS: arXiv (Guckt Euch mal das pdf [v2] an. Darin habe ich auf den ersten Blick zwei Tippfehler gefunden: "Sstems" in der Affiliation und "formof" in Fußnote 3. Ich hoffe die Arbeit an sich ist gewissenhafter.)
(heise, 26.8.2013)
Hab's natürlich nicht geleesen, aber Ihr vielleicht.
PS: arXiv (Guckt Euch mal das pdf [v2] an. Darin habe ich auf den ersten Blick zwei Tippfehler gefunden: "Sstems" in der Affiliation und "formof" in Fußnote 3. Ich hoffe die Arbeit an sich ist gewissenhafter.)
... link
... older stories
