banner

Verifying Logical Independence of the Imaginary Unit




A chapter from Steve Faulkner's book:

The Underlying Machinery of Quantum Indeterminacy

Knowing precisely what drives necessity for the imaginary unit's presence in Quantum Theory resolves the question of quantum indeterminacy.

This chapter explains and demonstrates logical independence of the imaginary unit, in relation to the Field Axioms.

Examples of logical independence in Elementary Algebra; and how Soundness and Completeness Theorems, from Model Theory, a branch of Mathematical Logic, are used to show existence of the imaginary unit is logically independent of the Field Axioms.