Godel and the End of the Universe

4:47 PM | BY ZeroDivide EDIT

This lecture is the intellectual property of Professor S.W.Hawking. You may not reproduce, edit, translate, distribute, publish or host this document in any way with out the permission of Professor Hawking.


Note that there may be incorrect spellings, punctuation and/or grammar in this document. This is to allow correct pronunciation and timing by a speech synthesiser.

Picture

In this talk, I want to ask how far can we go in our search for understanding and knowledge. Will we ever find a complete form of the laws of nature? By a complete form, I mean a set of rules that in principle at least enable us to predict the future to an arbitrary accuracy, knowing the state of the universe at one time. A qualitative understanding of the laws has been the aim of philosophers and scientists, from Aristotle onwards. But it was Newton's Principia Mathematica in 1687, containing his theory of universal gravitation that made the laws quantitative and precise. This led to the idea of scientific determinism, which seems first to have been expressed by Laplace. If at one time, one knew the positions and velocities of all the particles in the universe, the laws of science should enable us to calculate their positions and velocities at any other time, past or future. The laws may or may not have been ordained by God, but scientific determinism asserts that he does not intervene to break them.

At first, it seemed that these hopes for a complete determinism would be dashed by the discovery early in the 20th century; that events like the decay of radio active atoms seemed to take place at random. It was as if God was playing dice, in Einstein's phrase. But science snatched victory from the jaws of defeat by moving the goal posts and redefining what is meant by a complete knowledge of the universe. It was a stroke of brilliance whose philosophical implications have still not been fully appreciated. Much of the credit belongs to Paul Dirac, my predecessor but one in the Lucasian chair, though it wasn't motorized in his time. Dirac showed how the work of Erwin Schrodinger and Werner Heisenberg could be combined in new picture of reality, called quantum theoryIn quantum theory, a particle is not characterized by two quantities, its position and its velocity, as in classical Newtonian theory. Instead it is described by a single quantity, the wave function. The size of the wave function at a point, gives the probability that the particle will be found at that point, and the rate at which the wave function changes from point to point, gives the probability of different velocities. One can have a wave function that is sharply peaked at a point. This corresponds to a state in which there is little uncertainty in the position of the particle. However, the wave function varies rapidly, so there is a lot of uncertainty in the velocity. Similarly, a long chain of waves has a large uncertainty in position, but a small uncertainty in velocity. One can have a well defined position, or a well defined velocity, but not both.

Minds, Machines and Gödel

12:49 AM | BY ZeroDivide EDIT
Minds, Machines and Gödel

First published in Philosophy, XXXVI, 1961, pp.(112)-(127); reprinted in The Modeling of Mind, Kenneth M.Sayre and Frederick J.Crosson, eds., Notre Dame Press, 1963, pp.[269]-[270]; and Minds and Machines, ed. Alan Ross Anderson, Prentice-Hall, 1954, pp.{43}-{59}.

Gödel's theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met.1 This I attempt to do.

Gödel's theorem states that in any consistent system which is strong enough to produce simple arithmetic there are formulae which cannot {44} be proved-in-the-system, but which we can see to be true. Essentially, we consider the formula which says, in effect, "This formula is unprovable-in-the-system". If this formula were provable-in-the-system, we should have a contradiction: for if it were provablein-the-system, then it would not be unprovable-in-the-system, so that "This formula is unprovable-in-the-system" would be false: equally, if it were provable-in-the-system, then it would not be false, but would be true, since in any consistent system nothing false can be provedin-the-system, but only truths. So the formula "This formula is unprovable-in-the-system" is not provable-in-the-system, but unprovablein-the-system. Further, if the formula "This formula is unprovablein- the-system" is unprovable-in-the-system, then it is true that that [256] formula is unprovable-in-the-system, that is, "This formula is unprovable-in-the-system" is true.

Godel and the End of the Universe

5:39 PM | BY ZeroDivide EDIT

This lecture is the intellectual property of Professor S.W.Hawking. You may not reproduce, edit, translate, distribute, publish or host this document in any way with out the permission of Professor Hawking.

Note that there may be incorrect spellings, punctuation and/or grammar in this document. This is to allow correct pronunciation and timing by a speech synthesiser.

In this talk, I want to ask how far can we go in our search for understanding and knowledge. Will we ever find a complete form of the laws of nature? By a complete form, I mean a set of rules that in principle at least enable us to predict the future to an arbitrary accuracy, knowing the state of the universe at one time. A qualitative understanding of the laws has been the aim of philosophers and scientists, from Aristotle onwards. But it was Newton's Principia Mathematica in 1687, containing his theory of universal gravitation that made the laws quantitative and precise. This led to the idea of scientific determinism, which seems first to have been expressed by Laplace. If at one time, one knew the positions and velocities of all the particles in the universe, the laws of science should enable us to calculate their positions and velocities at any other time, past or future. The laws may or may not have been ordained by God, but scientific determinism asserts that he does not intervene to break them.