BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Great Ideas of Computing Science: from Aristotle to Euclid - Tony 
 Hoare (Microsoft Research)
DTSTART:20111103T180000Z
DTEND:20111103T191500Z
UID:TALK34633@talks.cam.ac.uk
CONTACT:26108
DESCRIPTION:Great ideas tell us how to think: how to think effectively abo
 ut many areas of essential interest to us\, because they tell us about our
 selves and about the world we live in. They embody principles that endure 
 and evolve over a long period of time. They form the basis of a teaching s
 yllabus for the education of students at school and at Universities. The a
 pplication of great ideas brings cultural\, intellectual\, moral\, and/or 
 economic benefit to those who adopt and exploit them. And a great idea is 
 often associated with the name of a great thinker\, who first formulated a
 nd propagated the principles in published form.\n\nIt is much easier to re
 cognise great ideas that have been formulated a long time ago\, for exampl
 e in the civilization of Ancient Greece. We know that these ideas have alr
 eady stood the test of time\; they have already been taught to our schoolc
 hildren and university students through many generations. And their contin
 uing relevance to today's world of computers and Computer Science are conv
 incing evidence of their versatility and their enduring power to deliver b
 enefit to mankind.\n\nThis lecture will concentrate on Aristotle's logic\,
  and Euclid's geometry\, and draw interesting analogies with some of the b
 asic principles of Computer Science.
LOCATION:MR3\, Centre for Mathematical Sciences\, Wilberforce Road\, Cambr
 idge
END:VEVENT
END:VCALENDAR