John D. Barrow Quotes

Since only a narrow range of the allowed values for, say, the fine structure constant will permit observers to exist in the Universe, we must find ourselves in the narrow range of possibilities which permit them, no matter how improbable they are. We must ask for the conditional probability of observing constants to take particular ranges, given that other features of the Universe, like its age, satisfy necessary conditions for life.

There are only certain intervals of time when life of any sort is possible in an expanding universe and we can practise astronomy only during that habitable time interval in cosmic history.

If the deep logic of what determines the value of the fine-structure constant also played a significant role in our understanding of all the physical processes in which the fine-structure constant enters, then we would be stymied. Fortunately, we do not need to know everything before we can know something.

We can measure the fine structure constant with very great precision, but so far none of our theories has provided an explanation of its measured value. One of the aims of superstring theory is to predict this quantity precisely. Any theory that could do that would be taken very seriously indeed as a potential 'Theory of Everything'.

Turing attended Wittgenstein's lectures on the philosophy of mathematics in Cambridge in 1939 and disagreed strongly with a line of argument that Wittgenstein was pursuing which wanted to allow contradictions to exist in mathematical systems. Wittgenstein argues that he can see why people don't like contradictions outside of mathematics but cannot see what harm they do inside mathematics. Turing is exasperated and points out that such contradictions inside mathematics will lead to disasters outside mathematics: bridges will fall down. Only if there are no applications will the consequences of contradictions be innocuous. Turing eventually gave up attending these lectures. His despair is understandable. The inclusion of just one contradiction (like 0 = 1) in an axiomatic system allows any statement about the objects in the system to be proved true (and also proved false). When Bertrand Russel pointed this out in a lecture he was once challenged by a heckler demanding that he show how the questioner could be proved to be the Pope if 2 + 2 = 5. Russel replied immediately that 'if twice 2 is 5, then 4 is 5, subtract 3; then 1 = 2. But you and the Pope are 2; therefore you and the Pope are 1'! A contradictory statement is the ultimate Trojan horse.