# The unreasonable effectiveness of logic

Professor Philip Wadler ( School of Informatics, University of Edinburgh )

- 16:30 26th April 2005 ( week 2, Trinity Term 2005 )Lecture Theatre

Everyone knows that logic and computing have something to do with each other, but few understand the remarkable correspondence that links them. A model of logic and a model of computing, each published at the dawn of the computer era, turned out, half a century later, to coincide exactly. We will follow this correspondence through three strands of work, connecting three varieties of logic, three researchers at Edinburgh's Laboratory for the Foundations of Computer Science, and three applications to web technology.