HONORARY FELLOWS PRIZE LECTURE - Could computers understand their own programs?

Add to your list(s) Download to your calendar using vCal

• Professor Sir Tony Hoare FRS FREng
• Wednesday 19 November 2014, 18:00-19:00
• Bristol-Myers-Squibb Lecture theatre, Department of Chemistry.

If you have a question about this talk, please contact Beverley Larner.

Aristotle showed how humans can understand the processes of our own rational thinking. Euclid showed us how to understand simple programs for a wide range of useful geometric constructions. Turing showed us how to understand the more complex and more general programs of the present day. Finally, Turing suggested that we can test the understanding of computers in the same way that we used to test the understanding of our students: by an interactive examination.

From these historic insights, I will argue for a positive answer to the question of my title. Again following Turing, I will suggest that exploitation of this potential understanding is a Challenge for Computing Science that may take fifty years of international collaborative effort to achieve. The effort will be justified if it enables computers to help in programming themselves more efficiently and more reliably than humans do.

A COMPLIMENTARY DRINKS RECEPTION TO FOLLOW ON AFTER THE LECTURE WILL TAKE PLACE IN THE FOYER TO THE LECTURE THEATRE FOR ALL ATTENDEES

This talk is part of the Cambridge Philosophical Society series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Biomimetic manufacturing and sustainability
• Bristol-Myers-Squibb Lecture theatre, Department of Chemistry
• Cambridge Philosophical Society
• Centre for Health Leadership and Enterprise
• Chris Davis' list
• Featured lists
• Featured talks
• Guy Emerson's list
• Major Public Lectures in Cambridge
• Neurons, Fake News, DNA and your iPhone: The Mathematics of Information
• PMRFPS's
• baz21 science lists
• custom
• ld636
• mig40's list
• personal list

Note that ex-directory lists are not shown.