Die drei Künstlichen Intelligenzen Dabbala Rajagopal (“Raj”) Reddy ist Turing Preisträger – und einer der Experten für Künstliche Intelligenz (KI) unter den Laureaten. Entsprechend ging es in einem Gespräch, welches ich im Rahmen des Heidelberg Laureate Forums 2013 mit … 02. Oct 2013 | By Tarek R. Besold | 1 comment
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
The future role of computers in mathematics At the end of the forum yesterday afternoon, the mathematics laureates took questions from the audience. One of the questions was about the role of computers in checking and generating proofs. The response of the … 25. Sep 2013 | By Julie Rehmeyer | 0 comments
The most unhelpful possible way to prove something Computer science, I think, gets even more neglected by science journalists than math does. Oh, sure, the next iPhone release gets lots of media attention, but that has little to do with how most computer … 21. Sep 2013 | By Julie Rehmeyer | 1 comment