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
↧