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.

3 Comments

Comments are closed.

Back to Top
%d bloggers like this: