Is Understanding Beyond Computing, lecture by Roger Penrose
Hewlett-Packard Company (HP)
Place of Publication
Lecture given by Professor Sir Roger Penrose FRS, Rouse Ball Professor of Mathematics, Mathematical Institute, University of Oxford. From the Hewlett-Packard Lectures on Mathematical Science lecture series. From the label text: "The precise notion of a general computation procedure was introduced by Turing and others in the 1930s. At the same time, it became clear that there are well defined mathematical operations that are beyond computation. In this lecture it is argued, with particular reference to a striking but elementary theorem due to Goodstein, that human understanding itself must be beyond computation. The implication of this conclusion for the nature of the laws underlying the behaviour of our physical universe will be discussed."