How arithmetic generates the logic of quantum experiments

September 26, 2009

Causeology in Quantum Physics

My work finds that hidden within Nature there is a causeology where there are entities whose existence is CAUSED and other entitiies whose existence is PERMITTED.  The caused entities can be confirmed and witnessed; but the permitted entities can be neither confirmed nor denied.
What is interesting is that unlike the causative processes with which we are accustommed in everyday experience, cause acends through chains:   cause, effect…cause, effect…cause,effect…; these quantum causes derive and materialise, not from caused entities up the chain, but permitted entities that are not caused. To illustrate, in a wave/particle duality, all the various wavelengths that make up a wavepacket are caused entities; but the interfering sums of these waves are permitted.  From these permitted interfernces derive caused probabilities.  The interfernces constitute a break in the causal chain. This claim is born out in the mathematics using Model Theory.
In the mathematics, this regime has its origin in the way numbers add and multiply.  The rules are the Field Axioms. Some numbers are caused by these axioms: the rational numbers exist as theorems; others are permitted. Juxtaposed against this system, are  products between orthogonal vectors which force the existence of certain permitted numbers. These orthogonal vectors are objects that, when multiplied with themselves give one, and, when multiplied with each other give zero.
The results lead to a 3-valued logic of true, false and indeterminate.  This was anticipated by Hans Reichenbach.  His 1944 book details the effects of this logic.  It does indeed resolve the paradoxes in quantum physics.  What Reichenbach had no idea of is where his logic came from…so it has been generally ignored.

My work finds that hidden within Nature there is a causeology where there are entities whose existence is caused and other entities whose existence is permitted.  The caused entities can be confirmed and witnessed; but the permitted entities can be neither confirmed nor denied.

What is interesting is that in contrast to the causative processes in classical physics where cause ascends through chains:   cause, effect…cause, effect…cause, effect…; there are quantum entities that derive, not from caused entities up the chain, but permitted entities that are not caused. To illustrate; in a wave/particle duality, all the various wavelengths that make up a wavepacket are caused entities; but the interfering sums of these waves are permitted.  From these permitted interferences derive caused probabilities.  So the interferences constitute a break in the causal chain. This claim is born out in the mathematics using Model Theory.

In the mathematics, this causal regime has its origin in the way numbers add and multiply.  The rules for this adding and multiplying are the Field Axioms. Some numbers are caused by these axioms: the rational numbers exist as theorems; other numbers with imaginary components, are permitted. Juxtaposed against this axiomatic system, are products between orthogonal vectors which force the existence of imaginary numbers which are merely permitted. The orthogonal vectors are objects that, when multiplied with themselves give one, and, when multiplied with each other give zero

The full causeology is 3-valued: cause, deny, permit.  These go hand in hand with a 3-valued logic of true, false and indeterminate.   This 3-valued logic was anticipated by Hans Reichenbach.  His 1944 book details the effects of this logic.  It does indeed resolve the paradoxes in quantum physics.  What Reichenbach had no idea of was where his logic came from…so it has been generally put to one side; now it has foundation.

August 18, 2009

Indeterminacy produced by Quantum Mechanics embedded in Mathematical Logic

(more…)

July 10, 2009

Explicit mathematical undecidable found in Quantum Mechanics.

Existence of the square root of minus one is at the foundation of quantum indeterminacy.  Under the Field Axioms, existence of this number can neither be proved nor disproved; it is  undecidable, a fact well known to mathematical logicians. In order to see the effect of this in physics, Quantum Mechanics must be treated as a first-order theory rather than an applied mathematics.

In 1997, I had the idea that there might possibly be self reference in Nature.  The is the kind of logical structuring we see in questions like: “If there is a god, then who created him, and who created him, and who created him, and…” and so on forever. This same kind of question can be applied, for example, to our Universe’s Genesis.  Such self reference would suggest that mathematical physics is incomplete. And this has now led to me discovering an explicit mathematical undecidable within Quantum Mechanics that explains and makes sense of the peculiarities and paradoxes we observe in quantum phenomena.

When Wave Mechanics is viewed as a first-order theory rather than an applied mathematics, we can see that the existence of the square root of minus one is an intrinsic and necessary assumption of Quantum Mechanics. Furthermore, we find that the sentence stating its existence is logically independent of, and mathematically undecidable under the Field Axioms.

In the development of these ideas, I approach Wave Mechanics from the perspective of Model Theory.  This is a branch of Mathematical Logic that links logic with mathematical structures; revealing that some of the best known structures in mathematical physics: the fields, exist as an environment where undecidability is commonplace.

In my view of Wave Mechanics, the Field Axioms are given primary status. Axioms for symmetries are then incorporated.  There must follow no interventions or addenda imposed from outside the mathematics. Only what follows from the axioms is allowed.  For instance, there is no insistence on complex wave functions or real observables and no requirement for normalisability.  The mathematics is then allowed to run its course and all eventualities are allowed as acceptable.  But only certain eventualities survive the axioms’ first-order logic.

In first-order formalism, a theorem has a stronger, stricter status than it does in applied mathematics.  And besides theorems there are undecidables: sentences that can neither be proved nor disproved.  These theorems and undecidables in the theory of Quantum Mechanics, have corresponding causeological counterparts in Nature.

It is very interesting and surprising to see that certain theorems ‘come through’ indeterminacy; that is to say their proof relies critically on the existence of, and derives from, undecidable formulae.  This corresponds in Nature to causes emerging from indeterminacy.  It is also remarkable to realise that in first-order theory, the improper integral of the Guassian function has undecidable existence.

Amongst my results, I find that only rational observables survive as theorems.  And that entities with momentum have undecidable states but theorematic probabilities.  I also discover the mechanism during measurement, by which a superposed, indeterminate state is forced to decide on a pure eigenstate.

In 1944 Hans Reichenbach hypothesised a 3-valued logic, incorporating true, false and indeterminate.  His logic explained certain “causal anomalies” of Quantum Mechanics.  Theorems of Model Theory: Soundness and Completeness relate degrees of truth with degrees of proof: in particular, Reichenbach’s indeterminacy with undecidability.  My work is foundation for Reichenbach’s 3-valued logic along with the answers it provides.

The figure shows undecidability of sentences under the Field Axioms, due to Soundness + Completeness. Sentences (small circles) whose validities agree across all fields are theorems. Sentences whose semantic validities disagree have indeterminate logical validity and are mathematically undecidable.  This exhausts all possibilities.

(more…)

« Previous Page

Create a free website or blog at WordPress.com.