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.
Online Lectures by Davis, Kripke, and McCarthy
3 Comments
Comments are closed.
The Kripke link does not work. It connects to the Davis talk. None of the links given connect to Kripke’s talk.
Gil
It works right when I click on it. Is anyone else having problems with the links?
Gualtiero,
I get the wma screen, but the video does not open when i click on play.
Edouard