Online Lectures by Davis, Kripke, and McCarthy
Oron Shagrir informed me that three of the lectures from the recent Workshop on the Origins and Nature of Computation that took place in Jerusalem and Tel Aviv have been posted online, courtesy of the Van Leer Jerusalem Institute.
Martin Davis, "The Church-Turing Thesis: Consensus and Opposition"
Saul Kripke, "From Church's Thesis to the First Order Algorithm Theorem"
John McCarthy, "Formalizing Common Sense Knowledge in Mathematical Logic"
Update: Each lecture should automatically start after the web page opens. If you are having problems seeing the lectures from the direct links, you might want to try going to the Van Leer main page and clicking on their links.
Posted by gualtiero piccinini at 9/2/2006 8:24 AM 
Categories: Models, AI, Robotics, Computation and Logic
Categories: Models, AI, Robotics, Computation and Logic
The Kripke link does not work. It connects to the Davis talk. None of the links given connect to Kripke's talk.
Gil
Reply to this
It works right when I click on it. Is anyone else having problems with the links?
Reply to this
Gualtiero,
I get the wma screen, but the video does not open when i click on play.
Edouard
Reply to this