Sind Informatik-Beweise auch mathematische Beweise? Am Dienstag hielt Silvio Micali, einer der Erfinder der bereits skizzierten Zero-Knowledge-Beweissysteme, einen für mich sehr gut zu verstehenden, enthusiastischen Vortrag. Allerdings habe ich bei einigen Gesprächen danach festgestellt, dass derselbe Vortrag für die mathematischen … 27. Sep 2013 | By Benjamin Hiller | 3 comments
Nobel and Fields advice: the crucial intersection I’ve sat through two advice talks from laureates this year – one right now by Sir Michael Atiyah at the HLF, titled “Advice to a Young Mathematician”, the other this spring, organized by the Heidelberg … 27. Sep 2013 | By Markus Pössel | 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
Prime windows Barry Cipra is one of the journalists covering the Heidelberg Laureate Forum. I’ve read his columns, especially in SIAM News, for years. It was great to meet him in person. He and I were talking … 26. Sep 2013 | By John D. Cook | 1 comment
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
Assuring the integrity of voting using cryptography American voters have no way of knowing that our votes have been counted, or counted correctly. We go to the polls and we punch buttons on a screen or fill out paper ballots and put … 26. Sep 2013 | By Julie Rehmeyer | 0 comments
Cédric Villani über Zeugen der Wissenschaft Cédric Villani ist nicht nur einer der herausragenden Mathematiker des noch jungen Jahrhunderts (Fields Medaille 2010), er ist auch bekannt für eine ganz besondere Aura. Sein Markenzeichen sind seine Anzüge an deren Revers stets eine … 26. Sep 2013 | By Beatrice Lugger | 0 comments
Hinter den Kulissen des Forums (3) Mit der Bootsfahrt am Mittwoch Nachmittag kommt auch mein dritter Einblick hinter die Kulissen des Forums. Beim und nach dem Abendessen auf dem Boot, habe ich wieder zwei kleine schöne Dinge aufgeschnappt, die ein Teil … 26. Sep 2013 | By Marlene Knoche | 0 comments
Crowdsourcing Ich habe am Montag den Workshop von Gianluca Demartini besucht, in dem es um Crowdsourcing ging. Aber was ist eigentlich Crowdsourcing? Crowdsourcing setzt sich aus den Wörtern „crowd“ und „outsourcing“ zusammen. Aufgaben werden also an … 26. Sep 2013 | By Marlene Knoche | 1 comment
Readers become Witnesses – Cédric Villani Cédric Villani is not only one of the greatest mathematicians of this century (Fields Medal in 2010), he cuts a dramatic figure – always with one of his special spider brooches placed on the left … 26. Sep 2013 | By Beatrice Lugger | Comments Off on Readers become Witnesses – Cédric Villani