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
Meet Your Role Models at HLF Kyle Rector, HLF13 participant: Okay, I must admit, I was nervous introducing myself to people who have made enormous contributions to the fields of Computer Science and Mathematics. However, the Heidelberg Laureate Forum provides the … 24. Sep 2013 | By Guest blogger | 0 comments
Diskussionen – Diskussionen überall Der zweite Tag des Forums nähert sich dem Ende. Ich muss sagen, meine Begeisterung für dieses Event steigt kontinuierlich. Neben einer großartigen Organisation von Seiten der HLF Stiftung, sind es vor allem die kleinen Dinge, … 24. Sep 2013 | By Tim Conrad | 3 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
Making computers smarter, and helping deaf people too A friend of mine is very hard of hearing — not quite deaf enough to fully belong to the deaf community, but sufficiently deaf that participating in a conversation is terribly hard work for her. … 24. Sep 2013 | By Julie Rehmeyer | 0 comments
Notes from Monday: If you are a young scientist, … “If you are a young scientist, put yourself in the environment of a real genius. You will learn so much, you never expected.” Ed Feigenbaum during the afternoon panel discussion. “Evidence from pure thought: No-one … 24. Sep 2013 | By Beatrice Lugger | 0 comments
Wer hat’s erfunden? D. R. Reddy auf der Suche nach dem Erfinder des Computers “Wer die Vergangenheit nicht kennt, kann die Gegenwart nicht verstehen und die Zukunft nicht gestalten.” Ich bezweifle, dass Dabbala Rajagopal Reddy (Turing Award 1994) vorstehendes Zitat aus einer Bundestagsrede Helmut Kohls kannte, als er beschloss, … 24. Sep 2013 | By Tarek R. Besold | 4 comments
Saxophone quartets and probability Saxophone quartets consist of four saxophones, usually a baritone, tenor, alto, and soprano, or maybe a second alto instead of a soprano. Because all saxophones are essentially the same instrument, just at different sizes, the … 23. Sep 2013 | By John D. Cook | 2 comments
Elgar, Turing, Mozart, und ein wenig Jazz: Musik liegt in der Luft Das Heidelberg Laureate Forum hat begonnen. Man kann wohl mit Fug und Recht sagen, der erste Tag war vom standing ovations begleiteten, “Pomp and Circumstance March No. 1” (Edward Elgar, Op. 39) umrahmten Einzug der … 23. Sep 2013 | By Tarek R. Besold | 0 comments
Prelude to HLF 2013 The Big Bang After three planes, two trains and two buses, I finally made it to the picturesque city of Heidelberg. Actually, I got here three days ago, but the 31 hours spent in transit … 23. Sep 2013 | By Adrian Dudek | 0 comments