John Searle was a philosopher in the 1980s
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!
No comments:
Post a Comment