Brains


A dialogue on Philosophy of Mind and Related Matters

Brains is a forum for discussing the philosophy of: mind, neuroscience, psychology, and cognitive science.  If you work in these areas and would like to become a contributor, please contact the administrator.

Online Lectures by Davis, Kripke, and McCarthy

Print the article

This entry was posted on 9/2/2006 8:24 AM and is filed under Models, AI, Robotics,Computation and Logic.

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.

 

What did you think of this article?




Trackbacks
Trackback specific URL for this entry
  • No trackbacks exist for this entry.
Comments
    Display comments as (Linear | Threaded)

    Leave a comment

    Submitted comments will be subject to moderation before being displayed.

     Enter the above security code (required)

     Name

     Email (will not be published)

     Website

    Your comment is 0 characters limited to 3000 characters.



      
    Copyright . http://PHILOSOPHYOFBRAINS.COM. All rights reserved.