Notes from Friday: I look at science as trying to figure out…. “I look at science as trying to figure out, what hair balls are.” Alan Kay Ivan Edward Sutherland’s first graphic system (Kay showed nice old movies) 50th Birthday of sketchpad. Work was done in 1962 … 29. Sep 2013 | By Beatrice Lugger | 0 comments
Digitale Globalisierung: Ein Gedankenaustausch mit D. R. Reddy Nach meinem Gespräch mit Stephen A. Cook am Dienstag stand heute mit Dabbala Rajagopal (“Raj”) Reddy ein zweiter Turing-Preisträger auf meiner HLF-Interviewliste. Es entspann sich ein für mich sehr interessantes Gespräch, in dem Reddy sich … 27. Sep 2013 | By Tarek R. Besold | 3 comments
Das nächste „big thing“ – Teil 1 Wir alle wissen, dass Mathematik schwierig und kompliziert sein kann. Dass das allerdings nicht zwingend so sein muss, habe ich bereits in einem meiner Beiträge diskutiert. Es gibt sogar eine Liste von sieben besonders schwierigen … 27. Sep 2013 | By Tim Conrad | 2 comments
A Happy Mathematical Birthday During yesterday’s boat ride on the Neckar River, I had the chance to interview one of the youngest participants in this year’s Heidelberg Laureate Forum: Lisa Sauermann, an undergraduate at the University of Bonn, who … 27. Sep 2013 | By Dana Mackenzie | 0 comments
Die Geburt des Internet, Datenschutz und ein Geek-Witz: Interview mit Vint Cerf Das hier ist, glaube ich, der erste “selfie”, den ich jemals online gepostet habe. Zu meiner Entschuldigung kann ich vorbringen, dass ich mir die Verantwortung dafür, dass dieses Bild jetzt im Internet steht, mit dem … 27. Sep 2013 | By Markus Pössel | 3 comments
An short interview with Dana Scott Dana Scott was awarded the ACM Turing award in 1976 for laying the foundations of the modern approach to the semantics of programming languages. What is your opinion on the future of software verification? DS: … 26. Sep 2013 | By Johan Georg Granström | 0 comments
Der Vater des (vermutlich) Unlösbaren: Stephen A. Cook “Stephen Arthur Cook” ist einer jener Namen, welche (hoffentlich) jeder Informatikabsolvent, und zumindest jeder zweite frisch gebackene Mathematiker, im Rahmen des jeweiligen Studiums kennen und bewundern gelernt hat. War es doch Cook, der 1971 in … 26. Sep 2013 | By Tarek R. Besold | 2 comments
Fantastic retrospectives Amanda Randles, HLF13 participant: I feel extremely lucky to be participating in the first Heidelberg Laureate Forum. The Forum brings together 200 young researchers from 49 different countries to meet with Abel, Fields, and Turing … 25. Sep 2013 | By Guest blogger | 0 comments
Mathematik rückwärts? Eine Einführung in die “Reverse Mathematik” Einer der PostDoc-Workshops des Heidelberg Laureate Forums am Montagnachmittag trug den ungewöhnlichen Titel “An Introduction to Reverse Mathematics” (TB: wörtlich “Eine Einführung in die umgedrehte Mathematik“). Gut, zugegeben, mein Mathematikstudium liegt inzwischen auch eine gewisse … 24. Sep 2013 | By Tarek R. Besold | 6 comments
Michael Atiyah on exposition Sir Michael Atiyah is known for is expository writing and speaking as well as his profound contributions to mathematics. The following is an excerpt from my conversation with Atiyah discussing his views on mathematical exposition. … 24. Sep 2013 | By John D. Cook | 1 comment