Roger Penrose Quote
It is a common misconception, in the spirit of the sentiments expressed in Q16, that Godel's theorem shows that there are many different kinds of arithmetic, each of which is equally valid. The particular arithmetic that we may happen to choose to work with would, accordingly, be defined merely by some arbitrarily chosen formal system. Godel's theorem shows that none of these formal systems, if consistent, can be complete; so-it is argued-we can keep adjoining new axioms, according to our whim, and obtain all kinds of alternative consistent systems within which we may choose to work. The comparison is sometimes made with the situation that occurred with Euclidean geometry. For some 21 centuries it was believed that Euclidean geometry was the only geometry possible. But when, in the eighteenth century, mathematicians such as Gauss, Lobachevsky, and Bolyai showed that indeed there are alternatives that are equally possible, the matter of geometry was seemingly removed from the absolute to the arbitrary. Likewise, it is often argued, Godel showed that arithmetic, also, is a matter of arbitrary choice, any one set of consistent axioms being as good as any other.
It is a common misconception, in the spirit of the sentiments expressed in Q16, that Godel's theorem shows that there are many different kinds of arithmetic, each of which is equally valid. The particular arithmetic that we may happen to choose to work with would, accordingly, be defined merely by some arbitrarily chosen formal system. Godel's theorem shows that none of these formal systems, if consistent, can be complete; so-it is argued-we can keep adjoining new axioms, according to our whim, and obtain all kinds of alternative consistent systems within which we may choose to work. The comparison is sometimes made with the situation that occurred with Euclidean geometry. For some 21 centuries it was believed that Euclidean geometry was the only geometry possible. But when, in the eighteenth century, mathematicians such as Gauss, Lobachevsky, and Bolyai showed that indeed there are alternatives that are equally possible, the matter of geometry was seemingly removed from the absolute to the arbitrary. Likewise, it is often argued, Godel showed that arithmetic, also, is a matter of arbitrary choice, any one set of consistent axioms being as good as any other.
Related Quotes
About Roger Penrose
Penrose has contributed to the mathematical physics of general relativity and cosmology. He has received several prizes and awards, including the 1988 Wolf Prize in Physics, which he shared with Stephen Hawking for the Penrose–Hawking singularity theorems, and the 2020 Nobel Prize in Physics "for the discovery that black hole formation is a robust prediction of the general theory of relativity".