Wir gedenken des genialen Kryptologen Alan Turing

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...

Computer-Beweise und univalente Grundlagen

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"...

KIAS-Wandkalender Juni 2014

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...

MINT-Studiengänge bei Frauen immer beliebter

Als Mathe-Studentin an der TU Berlin habe ich den Eindruck, dass zwar der Anteil an Studienanfängerinnen sehr hoch ist, diese jedoch oft später den Studiengang wechseln, ein Lehramtsstudium anstreben oder einen sehr wirtschaftsorientierten Studienschwerpunkt wählen. In allen anderen Fachbereichen und später in...

Wer kennt Daum and Kakao?

Ich hatte das erst als Rätselfrage stellen wollen, aber die Suchmaschinen ...Also: wir schreim das Jah 2014. Ganz Internet is inne Hant vonnie Google und Facebook... Ganz Internet? Nee! Da giepas ein Dorf mit steifnackige Feffersäcke, die ümmer noch Sperenzien machn un sich vonne Quiddjes nich unnerkriegn...