The Problem of Modelling the Mathematical Mind

author: Roger Penrose, Mathematical Institute, University of Oxford
published: July 10, 2012,   recorded: June 2012,   views: 2863

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.


Following Alan Turing’s ground-breaking 1937 paper, which introduced his notion of the Universal Turing machine, he suggested, in 1939, generalizations based on ordinal logic and oracle machines, these being apparently motivated by attempts to model the mathematical mind in a way that could evade the apparent limitations presented by Gödel’s incompleteness theorems. In this talk, I introduce the idea of a “cautious oracle” as a more human version of Turing’s oracles. Nevertheless, I show that even this fails to capture the essence of the full capabilities of our understanding.

I raise the issue of possible physical processes that would appear to be needed in order to circumvent these Gödel-type restrictions. At the end of the talk, I report on some startling new experiments, which appear to point to new insights into the possible physical processes underlying conscious brain activity, and I speculate on how this might relate to the power of human understanding.

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Reviews and comments:

Comment1 kaninfaan, February 23, 2013 at 6:15 p.m.:

Why is there a cut at 23:54? Where can I download the whole talk?

Write your own review or comment:

make sure you have javascript enabled or clear this field: