[Edinburgh-pm] [Fwd: Fwd: Proofs are Programs: 19th Century Logic and 21st Century Computing on the 16th March]

Robert Rothenberg robrwo at gmail.com
Mon Mar 16 02:04:40 PDT 2009

FYI, there's a note about it on Phil Wadler's blog
http://wadler.blogspot.com/2009/03/cafe-scientifique.html with a link
to previous versions of the talk.

On Wed, Mar 11, 2009 at 4:43 PM, Nick Woolley <nickwoolley at yahoo.co.uk> wrote:
> I thought this talk might be interesting to certain readers of this list.
> (For those who don't know, Philip Wadler is one of the architects of
> Haskell.)
> N
> Begin forwarded message:
>> *From: *cafe sci <cafe.sci.edinburgh at googlemail.com
>> <mailto:cafe.sci.edinburgh at googlemail.com>>
>> *Date: *11 March 2009 16:24:48 GMT
>> *To: *cafe sci <cafe.sci.edinburgh at googlemail.com
>> <mailto:cafe.sci.edinburgh at googlemail.com>>
>> *Subject: **Proofs are Programs: 19th Century Logic and 21st Century
>> Computing on  the 16th March*
>> Dear Edinburgh Cafe Sci members,
>> This Monday the 16th (sorry about the short notice) 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.
>> Apologies about the lack of a poster, this definitely does not reflect on
>> the quality of the talk, but on our artist in residence reaching her final
>> exams in her Masters.  Please spread the talk's details by word of mouth.
>> Also watch out for a summary of the Edinburgh Cafe Sci talk, "Why robots
>> won't rule the world" based on a talk given by Chris Malcolm in February
>> 2008, coming out in the May issue of the EUSci magazine (Edinburgh Science
>> Magazine) available at all university building and Blackwells.
>> http://www.eusci.org/.  It's sure to be jam-packed with interesting
>> scientific articles, my favourite is about the axolotl's amazing ability to
>> regrow their tails, but also other interesting topics such as the 'love'
>> pheromone oxytocin, and light pollution .  This is my first published Cafe
>> Sci summary, hopefully more are to follow.  For the rest check out
>> https://www.wiki.ed.ac.uk/display/PSCT/Cafe+Scientifique.
>> As always cafe sci is free and open to everyone but please either drop me
>> a quick email or reply to the facebook group so we have a rough idea of
>> numbers.
>> Hope to see you there,
>> Edward Duca
>> --
>> Edinburgh café sci
>> cafe.sci.edinburgh at googlemail.com
>> <mailto:cafe.sci.edinburgh at googlemail.com>
>> www.cafescientifique.org <http://www.cafescientifique.org>
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
> _______________________________________________
> Edinburgh-pm mailing list
> Edinburgh-pm at pm.org
> http://mail.pm.org/mailman/listinfo/edinburgh-pm

More information about the Edinburgh-pm mailing list