Astronomers have so far escaped the extreme specialization that has overtaken physicists. Telescopes are big, but they are not as complicated as acce… - Freeman Dyson

The essence of Hilbert's program was to find a decision process that would operate on symbols in a purely mechanical fashion, without requiring any understanding of their meaning. Since mathematics was reduced to a collection of marks on paper, the decision process should concern itself only with the marks and not with the fallible human intuitions out of which the marks were reduced. In spite of the prolonged efforts of Hilbert and his disciples, the Entscheidungsproblem was never solved. Success was achieved only in highly restricted domains of mathematics, excluding all the deeper and more interesting concepts. Hilbert never gave up hope, but as the years went by his program became an exercise in formal logic having little connection with real mathematics. Finally, when Hilbert was seventy years old, Kurt Godel proved by a brilliant analysis that the Entscheindungsproblem as Hilbert formulated it cannot be solved.

Godel proved that in any formulation of mathematics, including the rules of ordinary arithmetic, a formal process for separating statements into true and false cannot exist. He proved the stronger result which is now known as Godel's theorem, that in any formalization of mathematics including the rules of ordinary arithmetic there are meaningful arithmetical statements that cannot be proved true or false. Godel's theorem shows conclusively that in pure mathematics reductionism does not work. To decide whether a mathematical statement is true, it is not sufficient to reduce the statement to marks on paper and to study the behavior of the marks. Except in trivial cases, you can decide the truth of a statement only by studying its meaning and its context in the larger world of mathematical ideas.

I am content to be one of the multitude of Christians who do not care much about the doctrine of the Trinity or the historical truth of the gospels. Both as a scientist and as a religious person, I am accustomed to living with uncertainty. Science is exciting because it is full of unsolved mysteries, and religion is exciting for the same reason. The greatest unsolved mysteries are the mysteries of our existence as conscious beings in a small corner of a vast universe.

Fifty years ago Kurt Gödel... proved that the world of pure mathematics is inexhaustible. … I hope that the notion of a final statement of the laws of physics will prove as illusory as the notion of a formal decision process for all mathematics. If it should turn out that the whole of physical reality can be described by a finite set of equations, I would be disappointed, I would feel that the Creator had been uncharacteristically lacking in imagination.