Algorithmen kontrollieren immer mehr, aber wer kontrolliert eigentlich die Algorithmen? Einen eher harmlosen(1) Aspekt dieses Themas diskutiert seit einigen Tagen die Frage- und Antwortseite mathoverflow: Proof assistent, cura te ipsum2 (1) nicht nur weil Beweisassistenten im Alltagsgeschäft der Mathematik noch keine große Rolle spielen (2) dtsch.: “Beweisassistent, heile dich selbst” Die Frage ist, wie man…
Vor zwei Wochen hat Google’s ALphaGo Sedol Lee geschlagen und seitdem geht unter Mathematikern die (je nachdem) Angst oder Hoffnung um, dass Computer bald auch besser mathematische Theoreme finden und beweisen könnten als wir. Diskutiert wird das auch auf MathOverflow, eigentlich die Seite für fachmathematische Fragen und Antworten, aber gelegentlich auch für Metadebatten. Dort wird…
Die koreanische Presse berichtet momentan in seitenlangen Reportagen auf den vorderen Zeitungsseiten über das in zwei Wochen beginnende Match Mensch gegen Maschine im Go. Go, das hier 바둑 (Baduk) heißt, weil japanische Bezeichnungen seit dem Ende der Kolonialzeit verpönt sind, ist das wohl letzte Spiel, wo der Mensch der Maschine bisher noch überlegen war. Google’s…
|- import_tame_classification /\ the_nonlinear_inequalities ==> the_kepler_conjecture ist ein mit Hilfe von HOL formalisiertes Theorem, wobei the_kepler_conjecture definiert ist durch `(!V. packing V ==> (?c. !r. &1 &(CARD(V INTER ball(vec 0,r)))
Heute ist der 280. Geburtstag Wolfgang von Kempelens, eines Erfinders und österreichischen Hofrats, dessen man sich vor allem wegen seines angeblichen Schachautomaten erinnert, eines 1769 gebautes Gerätes, in dem ein im Inneren verborgener menschlicher Schachspieler mittels einer kunstvollen Mechanik die Züge einer türkisch gekleideten Puppe steuerte – was übrigens erst 1838 aufflog. (Das Verb “türken”…
Seminarraum des RIMS in Kyoto (Japan), wo ich letzte Woche zu einem Workshop “Geometry of Moduli Spaces of Low Dimensional Manifolds” war. Ich benutze ja Notability, da klicken wenigstens keine Tasten.
Ein independent-Film mit dem marktgängigen Titel “Computer Chess” hat beim Sundance Festival einen der Preise gewonnen (schon im Januar, im Februar war er auch auf der Berlinale). Es geht um Schachprogrammierer wohl Ende der 70er (jedenfalls wird im Film häufiger auf die Jahreszahl 1984 bezuggenommen, bis zu der man einen Großmeister schlagen will) und das…
Der Schachsport hat seinen neuen Dopingskandal, einen angekündigten und von allen erwarteten. Seit fast einem Jahr rätselte die Schachwelt über die plötzlichen Erfolge eines 25-jährigen bulgarischen Pädagogikstudenten, Borislav Ivanov, mit einer Elo von knapp 2200 bis dahin eher eine lokale Größe, der seit Ende 2012 reihenweise Großmeister in internationalen Turnieren vom Brett fegte. Gut, man…
Wieder mal ein Google-Doodle zur Mathematik und zur Computertechnik, heute (Bild oben) zum 197. Geburtstag von Ada Lovelace. Ich habe jetzt nicht recherchiert, aus welchen Jahren und von welchen Firmen die abgbildeten Rechner stammen…
Während in Deutschland die Piraten in Umfragen beständig an Boden verlieren und ihre Frontfrau inzwischen das Urheberrecht für sich entdecken läßt, hat in Korea ein Computer-Guru gute Aussichten im Dezember zum nächsten Staatspräsidenten gewählt zu werden. Nach monatelangen Spekulationen hat Ahn Cheol-soo, der Gründer und langjährige CEO von Ahn Lab, Inc., heute erklärt bei den…
Letzte Kommentare