The plot thickens

 

John Searle was a philosopher in the 1980s


People also ask  






pagetop





Why do I believe that consciousness involves non-computable ingredients? The reason is Gödel's theorem. I sat in on a course when I was a research student at Cambridge, given by a logician who made the point about Gödel's theorem that the very way in which you show the formal unprovability of a certain proposition also exhibits the fact that it's true.

Roger Penrose - source  



WE HAVE REACHED MICROTUBES!





pagetop

No comments:

Post a Comment

Welcome to this site

    From the three wise robots Some items on this page are for newcomers to AI. The Goals of AI This site started soon after the author went...