Friedrich L. Bauer ist Mathematiker, Kryptologe, Informatik-Pionier - und seit Dienstag, 10. Juni 2014, 90 Jahre alt. Wir gratulieren ihm herzlich zum Geburtstag und erinnern hiermit kurz an seine Verdienste um Mathematik und Informatik.Foto: Friedrich Ludwig Bauer (Quelle: Wikipedia)Nach seinem Abitur wurde...

Morgen startet die Initiative "Jeder kann programmieren", angeregt von Ranga Yogeshwar und Thomas Bendig:[youtube https://www.youtube.com/watch?v=kHGAnK-vn_g&w=560&h=315]Eine ähnliche Initiative in den USA gibt es schon seit einem Jahr unter dem Namen "The Hour of Code":[youtube...

Alan Turing nahm sich am 7. Juni 1954 das Leben. Hier links sehen wir das Alan-Turing-Denkmal in Manchester (Quelle: Wikimedia Italia, creative commons licence, 2011) Alan Turing - ein genialer Kryptologe - hat die Entwicklung des Computers in den 1940er und 1950er Jahren in England stark befördert. Vor allem...

Vor einigen Jahren hatten wir hier mal zu den neuen Möglichkeiten der Computer-Verifikation mathematischer Beweise geschrieben (Was ist ein Beweis?). Das Thema hat sich inzwischen weiterentwickelt, u.a. gab es am IAS in Princeton ein thematisches Jahr 2012/13 über die "univalenten Grundlagen der Mathematik"...

Wie versprochen zum Monatsanfang wieder der Wandkalender, wieder in 2 Hälften:Vieles ist sicher selbsterklärend. Die 2 spielt auf die Frage nach der Existenz unendlich vieler Primzahlzwillinge an, da gab es letztes Jahr ja einige Fortschritte. Die 3 zeigt das Morley-Dreieck: die Innenwinkel eines Dreiecks werden...