Wettbewerb im Maschinengestützten Beweisen
Posted: 13. August 2008 23:19
Gerade auf Slashdot gelesen:
In Sydney findet aktuell ein Wettbewerb im Maschinengestützten Beweisen statt.
Als Thema das im Bereich von höherer Mathematik, Logik und künstlicher Intelligenz angesiedelt ist, ist das wohl eher was für Hardcore-Nerds mit dicker Brille und blasser Haut, als für sonnengegerbte Mates mit Stockman-hat.
Naja, Sydney ist nicht das Outback, auch sowas findet man Down Under.
In Sydney findet aktuell ein Wettbewerb im Maschinengestützten Beweisen statt.
Als Thema das im Bereich von höherer Mathematik, Logik und künstlicher Intelligenz angesiedelt ist, ist das wohl eher was für Hardcore-Nerds mit dicker Brille und blasser Haut, als für sonnengegerbte Mates mit Stockman-hat.
Naja, Sydney ist nicht das Outback, auch sowas findet man Down Under.