Monday, 24 July 2017

Deflating Gödelised Physics: The Basic Argument (2)


Gödel and Einstein.
[This introduction is cut and pasted from part 1. Skip if you've read it before.]

This piece, of course, isn't about deflating Kurt Gödel's metamathematics or even deflating his own comments about physics. It's about deflating other people's applications of Gödel's theorems to physics.

Indeed Gödel himself wasn't too keen on applying his findings to physics – especially to quantum physics. According to John D. Barrow:
“Godel was not minded to draw any strong conclusions for physics from his incompleteness theorems. He made no connections with the Uncertainty Principle of quantum mechanics....”

More broadly, Gödel's theorems may not have the massive and important applications to physics which some philosophers and scientists believe they do have.

******************************************

First we have two statements:

1) Mathematics systems contain unprovable statements. (Or: Gödel's theorems apply to all mathematics.)
2) Physics uses mathematics.

This is the argument:

ia) If physics utilises mathematical systems,
ib) and Gödel's discoveries apply to such mathematical systems,
ii) then Gödel's discoveries also apply to physics.

Thus a physical theory is either complete and inconsistent or consistent and not complete. Either way, it is said, physics/science looses... Or does it?

Freeman Dyson, for one, did see a strong link between Gödel incompleteness and physics. He wrote:

... no finite set of axioms and rules of inference can ever encompass the whole of mathematics; given any set of axioms, we can find meaningful mathematical questions which the axioms leave unanswered. I hope that an analogous situation exists in the physical world. If my view of the future is correct, it means that the world of physics and astronomy is also inexhaustible; no matter how far we go into the future, there will always be new things happening, new information coming in, new worlds to explore, a constantly expanding domain of life, consciousness, and memory.”

The above should be classed, however, as scientific incompletability, not scientific insolubility. In other words, it not about a Gödelian lack of proof within a system - or even within all systems. It's about the “inexhaustible” (to use Dyson's own word) nature of “physics and astronomy”. Yes, the words “inexhaustible” and “incomplete” are near-synonyms; though this still isn't Gödel incompleteness.

Besides which, Dyson himself says that the link between Gödel and physics any amounts to an “analogous” - not a logical - link.

On the other hand, John D. Barrow puts the case against a thoroughly Gödelised physics in the following:

.... it is by no means obvious that Gödel places any straightforward limit upon the overall scope of physics to understand the nature of the Universe just because physics makes use of mathematics. The mathematics that Nature makes use of may be smaller and simpler than is needed for incompleteness and undecidable to rear their heads.”

Here we can highlight the word “understand”. To put what I think is Barrow's position, scientific understanding doesn't require Gödel completeness. It may simply mean that an understanding of a physical theory - even a full understanding of a physical theory - isn't affected by Gödel's theorems. That, of course, begs the question as what scientific understanding is. It may mean that we can describe and explain a physical theory (or nature itself) without the notion of completeness having any substantive affect on that description or explanation. Perhaps that's because the completeness would only be relevant to the mathematics required to understand or describe a physical theory (or nature).

On that last point. Barrow also makes the technical point that even taking into consideration the necessary and vital role maths plays in physics, it may still be the case that, as Barrow puts it, the “mathematics Nature makes use of may be smaller and simpler than is needed for incompleteness and undecidable to rear their heads”. That's a technical point that I - as neither a mathematician nor a physicist - find hard to comment upon. It's clearly, nonetheless, a statement that Gödel incompleteness doesn't apply to all maths. And that mathematical remainder may be all that's required for mathematical physics.

Thus, to sum up. Does it follow that Gödel incompleteness is automatically a negative conclusion for physics? Doesn't it all depend on a whole host of other factors? As just stated, physics may not require the entirety of mathematics. Moreover, it may require only those parts of maths that aren't affected by Gödel's theorems. And even if Gödel's theorems do somehow affect the maths employed in physics, that may not be to the detriment of physics in any substantive way.

Succinctly in three statements:

1) Physics may not (or does not) utilise the entirety of mathematics.
2) Physics may utilise only the parts of mathematics which aren't affected by Gödel's theorems.
3) Physics may survive (or not be substantively touched) even if physics is affected by Gödel's theorems.

To put all that another way. Only certain aspects of mathematics are applied to physical reality. Those aspects are decidable or computable.

This is an alternative argument which is nonetheless related:

i) Physics doesn't need (or have) strict proofs.
ii) Gödel's theorems are primarily partly about proof.
iii) Therefore the most important aspect of Gödel's theorems may not be directly applicable to physics.

More specifically, one formulation of Gödel incompleteness to physics doesn't seem to work. Say that the (weak) argument is put this way:

i) Mathematical systems contain unprovable statements.
ii) Physics is based on mathematics.
iii) Therefore physics won't be able to discover everything that is true.

As stated, physics doesn't - strictly speaking - have proofs. (Though the mathematics included it it may need proofs.) Neither does it require proofs. Secondly (and relatedly), discovering everything isn't the same thing as proving everything. And what sort of claim or aim is it anyway to “discover everything”?

Tangentially, there is a sense in which the word “incompleteness” can indeed be applied to problems in physics. Is this Gödel incompleteness? Not really.

One kind of incompleteness in physics simply applies to the situation in which new observations can't be accounted for by older theories. Thus the older theories must be incomplete. Again, this has no direct connection to Gödel incompleteness.

Physical Laws as Axioms?

Perhaps taking the laws of physics as axioms is at the root of the problem. After all, if one takes physical laws as axioms; then, somewhere along the line, there may be Gödel incompleteness or inconsistency.

Yet physical laws both are and aren't axioms. For one, they aren't self-evident or intuitively acceptable. One reason for that is that physical laws are things which couldn't - even in principle - by intuitively obvious because intuitions can't apply (in any strict sense) to laws which govern things which lie outside experience (at the cosmological or the quantum scale, for example). Added to that, if physical laws are axioms, and what we derive from laws are theorems, then what about the unpredictable consequences or predictions which we derive from our axiomatic laws?

Take a purely formal logical deduction or argument. In such a thing, we move “from an incontestable premises to an acceptable conclusion via an impeccable rule of inference”... Can all that - in any way whatsoever - be applied to axiomatic physical laws and there theorems? Indeed is it correct to use the word “axiom” at all in physics?

In addition, can any law of physics ever be as simple and as pure as an axiom in a logical or mathematical system?

There is a direct consequence of this way of thinking.

Gödel's theorems require that the axioms of a theory or system be listable. Can it be said that all the laws of physics are (or could be) listable? And even if they were listable, would the theorems which we derive from physical laws bear a strong resemblance to the theorems which are a derived from the axioms of a logical or mathematical system? In other words, do we have entailment (or strict deduction) from physical axioms/laws to physical theorems? Do we have either metaphysical or logical entailment or deduction when it comes to axioms/laws and the theorems derived from them?



No comments:

Post a Comment