6
$\begingroup$

If we construct axiomatic system of physical laws that are independent one another as in axioms in mathematics, what should they be? Can there be such a finite system of physical laws that can explain every physical phenomenon? Or is it impossible to have such finite axiomatic system in physical laws?

$\endgroup$
7
  • $\begingroup$ Possible duplicates: math.stackexchange.com/q/549839/11127 (now migrated to physics.stackexchange.com/q/87239/2451), physics.stackexchange.com/q/44196/2451 and links therein. $\endgroup$
    – Qmechanic
    Nov 7, 2013 at 12:17
  • 3
    $\begingroup$ The system of standard foundational axioms investigated in mathematics isn't finite in a practical sense. Even KP set theory, which is more on the computable side (more physical, if you will), involves axiom schemata, e.g. replacement. $\endgroup$
    – Nikolaj-K
    Nov 7, 2013 at 12:40
  • 1
    $\begingroup$ Mathematics is a creation of human mind. In a physical theory we try to recreate something using our own language mathematics, its the only language we know. It doesn't mean that mathematics is the foundation of nature. Physics need not be rigorous mathematically. $\endgroup$ Nov 7, 2013 at 13:01
  • 2
    $\begingroup$ The question of "axiomatization of physics" was also posed as Hilbert's sixth problem, see e.g. en.wikipedia.org/wiki/Hilbert%27s_sixth_problem $\endgroup$
    – Martin
    Nov 7, 2013 at 13:11
  • 1
    $\begingroup$ @KaziarafatAhmed: Opinion about what? OP wrote "such a finite system", in comparing the physical axioms he searches for with base mathematical axoms. And I pointed out that these are, in fact, not particularly finite. $\endgroup$
    – Nikolaj-K
    Nov 7, 2013 at 13:45

3 Answers 3

3
$\begingroup$

Yes it is possible. As J. Bell eloquently wrote, Quantum Mechanics, together with a finite cut-off QED, explains all of chemistry and nearly everything in Physics. It was axiomatised by Weyl and Dirac by 1930.

There are only six axioms, which is certainly a finite number. Five would be better still..since most physicists no longer believe in the literal truth of the sixth axiom.

There are notorious problems with this axiomatisation, but they can certainly be fixed, although physicsists are not in agreement on how to fix them. The problem was analysed most logically by Wigner and, later, by J.S. Bell, in his "Against Measurement", I have posted a copyright-free copy at http://www.chicuadro.es/BellAgainstMeasurement.pdf. That is, the first three axioms apply to all physical systems, the second three axioms apply only to measurments, but surely measurements are carried out by measurement apparatuses which are physical....unfortunately the answers given by the first three axioms applied to the interaction of a microscopic system with a measurement apparatus are different from the results given by applying the second three axioms to the same physical setup. Not contradictory, but so different that there has been no agreement on how to compare them.

Most physicists now feel that the measurement axioms are only approximations, and ought to be derivable from the first three axioms as approximations. H.S. Green, under (I think) Schroedinger's influence at Dublin, published an extremely important paper analysing the physics of the measurement process as a phase transition, and there has been more recent work as well. See my own http://arxiv.org/abs/quant-ph/0507017, for example.

The only remaining difficulty is to either define the concept of ''probability'' as it occurs in these axioms, or to formulate a few more axioms to connect it with the other axioms. For the quantum case this was done in the paper referred to, and something similar can be done in the Classical Case.

$\endgroup$
1
$\begingroup$

This is an experimentalist's answer:

I do believe that an axiomatic model , note "model", of nature can be found, but as an experimentalist I am wary of claims that "we have now wrapped up physics and only details have to be mopped up" which was the claim before quantum mechanics rocked the science in the beginning of the twentieth century.

One should be open to the possibility that as we delve further and further into experiments with new technologies, and understand more and more of the cosmos, the axioms might have to be changed. Otherwise physics will become fossilized.

$\endgroup$
-1
$\begingroup$

Not a complete one.

Kurt Gödel proved this was not possible by proving his "Incompleteness theorem". It turns out that in any axiomatic system (whether or not these axioms were to do with physical laws) we must select either consistency, or completeness, but not both.

Basically the "Incompleteness theorem" says that any 'computable axiomatic system' will have the following properties (such as one containing physical laws):

  1. If the system is complete it cannot be consistent.
  2. The consistency of the axioms cannot be proven within the system

As a corollary of 1, any axiomatic system that is consistent cannot be complete (the system you describe would hopefully be consistent). So if you want your physical laws to be internally consistent you have to accept that there will be true (observable) physical laws that cannot be proven.

With respect to infinite systems, there are two types, countable and uncountable. The Incompleteness theorem has also been proven true for countable infinite sets. In the case of infinite axiomatic systems dealing with physical laws, they would be countable since each axiomatic law could map into the set of natural numbers. Even here Gödel's conclusions hold; either this system would be consistent but incomplete, or complete but inconsistent.

Apparently, we cannot get around the fact there are unprovable truths. Gödel provided a simple example.

Let S be the statement "This statement is unprovable."

If S is true, we cannot prove it since it is unprovable. However, if we can prove S true, the statement is self contradicting, so inconsistent.

Notice from the answer above J. Bell eloquent quote, "Quantum Mechanics, together with a finite cut-off QED, explains all of chemistry and NEARLY EVERYTHING in Physics." Unfortunately for Bell, Gödel has shown that as long as Quantum Mechanics seeks to be internally consistent, it will only ever be "NEARLY EVERYTHING" and not actually "EVERYTHING". If Quantum mechanics does actually achieve the ability to explain everything, Gödel shows us we have good cause to look for its self-contradictions (inconsistencies)

$\endgroup$
18
  • $\begingroup$ with all due respect to Godel (I know him from set theory, "the set of all sets is open") the "this statement is unprovable" goes back thousands of years to the Cretan paradox : "A Cretan said all Cretans are liars".en.wikipedia.org/wiki/Epimenides_paradox . Paradoxes in this day and age are resolved by meta levels, and I do not think Godel's theorem can be resolved by a meta level. $\endgroup$
    – anna v
    Nov 24, 2013 at 14:35
  • $\begingroup$ Could be. The Apostle Paul was also apparently aware of that quote [Titus 1:12] $\endgroup$
    – user34445
    Nov 24, 2013 at 14:44
  • $\begingroup$ I should also add that no one's proven the Incompleteness theorem cannot be solved by a meta level. Notwithstanding that, the mere fact that it it appears this way suggest that the theorem itself may not be a paradox but a true property of axiomatic systems. $\endgroup$
    – user34445
    Nov 24, 2013 at 14:52
  • $\begingroup$ @Joseph f.johnson - no one argued Maths was inconsistent. It is consistent. However it is not complete as per Gödel. Gödel's theorem has 2 possible types of systems; consistent but incomplete ones, or complete but inconsistent ones. Since Maths continues to have new axioms added to it all the time, it is clearly incomplete, and so can also be consistent. It appears you do not understand Gödel's theorem. $\endgroup$
    – user34445
    Nov 24, 2013 at 15:28
  • $\begingroup$ Ok, with respect to Gödel's theorem and its relationship to QM the question reframed is what constitutes a computable system. Briefly, a computable system can be represented as a finite automata (operators and operands). QM can be represented as a finite automata and so is a computable system. (In order to do QM calculations one needs to employ grammar and syntax, operators and operands clearly. So QM is axiomatic and computable, so the Incompleteness theorem applies. $\endgroup$
    – user34445
    Nov 24, 2013 at 15:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.