Artifact Details

Title

Is Understanding Beyond Computing, lecture by Roger Penrose

Catalog Number

102703116

Type

Moving image

Description

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."

Date

1996

Credits

Penrose, Roger

Publisher

Hewlett-Packard Company (HP)

Place of Publication

Bristol, UK

Format

VHS

Category

Lecture