*Latest news from Edinburgh Cafe Scientifique*
Professor Philip Wadler winner of the ‘Most Influential POPL Paper Award’, Director of the Laboratory for the Foundations of Computer Science, at the University of Edinburgh, will be giving a talk about how Logic and Computer programming are intrinsically linked. I’ve personally seen a video podcast about this topic, and found it so interesting that I had to invite Prof. Philip Wadler to speak for Cafe Sci. The link between these two topics is deeper and more intriguing that it might initially appear.
Title: “Proofs are Programs: 19th Century Logic and 21st Century Computing”.
Date: Monday 16th March
Place: Filmhouse cafe bar, lothian road
As the 19th century drew to a close, logicians formalized an ideal
notion of proof. They were driven by nothing other than an abiding
interest in truth, and their proofs were as ethereal as the mind of
God. Yet within decades these mathematical abstractions were realized
by the hand of man, in the digital stored-program computer. How it
came to be recognized that proofs and programs are the same is a
story that spans a century, a chase with as many twists and turns as a
thriller. At the end of the story is a principle for designing
programming languages that will guide computers into the 21st century.