05/12 - Colloquium Logicae: Barry Cooper
Prof. Barry Cooper
Wednesday, December 5th, room PE11 at FEEC, UNICAMP
Organized by the Centre for Logic, Epistemology and the History of Science – CLE
at the State University of Campinas – UNICAMP
Extended session: 45 min + 15 min coffee break + 45 min, followed by discussions
Prof. S. Barry Cooper is currently Professor of Mathematical Logic at the University of Leeds. Author of Computability Theory (Chapman & Hall/CRC. 2004 ) and co-author of "Incomputability in Nature" (Cooper, S. B.; Odifreddi, P. (2003), Prof. Cooper is a leading mover of the return to basic questions of the kind considered by Alan Turing, and of interdisciplinary developments related to computability. He is currently President of the Association Computability in Europe, and is Chair of the Turing Centenary Advisory Committee (TCAC) which is co-ordinating the Alan Turing Year.
For this impressive series off events see
Title: Alan Turing and the Computing Revolution: Ten Big Ideas that Changed the
Alan Turing did an amazing amount during his short life - a short list of what makes him remembered includes:
How at the age of 23, he came up with the idea of the "stored program" universal computing machine, basically the blueprint for every computer in existence today;
His leading role in breaking the German Enigma code at the secret decoding centre at Bletchley Park, helping shorten the 2nd World War by two years with his ground-breaking involvement in building and fully exploiting decoding machines;
And the innovative and original work in bringing mathematics to bear on important problems in biology and medicine.
In this talk we look at Turing's ideas and enduring impact on academic research, the IT industry and the wider world we live in and we outline some of his visionary insights which point to a new generation of "intelligent" computers.
We assume no specialist knowledge, but be prepared to be challenged!