16th March “Proofs are Programs: 19th Century Logic and 21st Century Computing” talk from Edinburgh Cafe Scientifique

*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
Time: 8.30pm
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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: