Legendary logician and polymath is IAS Benjamin Meaker Visiting Professor
30 November 2009
Legendary logician Professor Harvey M Friedman comes to Bristol in December as a Benjamin Meaker Visiting Professor (under the auspices of the University’s Institute for Advanced Studies), and will give a public lecture.
Professor Friedman has received many prestigious international awards for his foundational work in mathematics and logic, notably through extending in a major new way Godel’s epochal work on incompleteness, and inventing the area known as Reverse Mathematics. He is a Professor not only of mathematics, but also of computer science and philosophy, with further expertise in, and a passion for, music.
As part of his visit, Professor Friedman will deliver a public lecture entitled ‘Logic: Interdisciplinary Adventures in Mathematics, Philosophy, Computer Science, and Education’ on Tuesday December 15 at 4.30pm in Arts Lecture Theatre 3 (accessed via 3/5 Woodland Road).
‘Even in generalist mode, this talk is likely to be somewhat demanding for non-specialists,’ said Professor Gregor McLennan, Director of the Institute for Advanced Studies. ‘But the event will give us a chance to see in action one of the brightest disciplinary and interdisciplinary minds of his generation.’
Please note that the capacity of the lecture theatre is limited to 120, so pre-booking is essential. Please contact Susan Jim to register your attendance. There will be a wine reception afterwards.
Professor Friedman is also giving a talk entitled ‘Unprovable Theorems’ earlier on the same day in Lecture Room SM2, Department of Mathematics between 2pm and 3pm.