Hilbert’s Sixth Problem Solved Via The McGucken Axiom dx₄/dt = ic: On the Axiomatic Foundations of Physics and the McGucken Principle dx₄/dt = ic as the Source-Law of Spacetime, Hilbert Space, and the Operator Hierarchy: Deriving Mathematical Physics—General Relativity, Quantum Mechanics, Thermodynamics, Spacetime, Symmetry, and Action—as Chains of Theorems Descending from an Axiom

Hilberts_Sixth_Problem_Solved_Via_The_McGucken_Axiom_dx4_dt_ic (2)Download

“More intellectual curiosity, versatility, and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student… Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet.”
— — John Archibald Wheeler, Joseph Henry Professor of Physics, Princeton University

A Scholarly Examination in the Tradition of Euclid’s Elements, Newton’s Principia Mathematica, and Hilbert’s Grundlagen der Geometrie

May 2026

Abstract

On 8 August 1900, David Hilbert delivered his seminal lecture known as “Mathematische Probleme” [1, 2] before the Second International Congress of Mathematicians at the Sorbonne, where he set forth the most important twenty-three problems in the realms of mathematics and physics. Hilbert’s sixth problem called for the mathematical treatment of the axioms of physics — the derivation of physical theory from a minimal axiomatic basis, in the manner Euclid had treated geometry and Hilbert himself had treated it anew in 1899 . This paper demonstrates that the McGucken Principle — which states that the fourth dimension is expanding at the velocity of light in a spherically symmetric manner, dx₄/dt = ic — introduced by McGucken in his Light–Time–Dimension Theory and elaborated through the McGucken Space M_G [26, 64] and the McGucken Operator D_M [27, 65], jointly co-generated from dx₄/dt = ic as a new category completing Klein’s 1872 Erlangen Programme along two structurally independent routes—one in group theory, the other in category theory, both starting from dx₄/dt = ic [67, 68]—supplies for the first time a single primitive law from which the entire physical arena hierarchy is derivable. While the present paper focuses on the more abstract mathematical treatment—in which dx₄/dt = ic is viewed as the foundational axiom solving Hilbert’s Sixth Problem in the formal, mathematical sense—McGucken has also demonstrated the triumph of dx₄/dt = ic as a foundational physical axiom: deriving general relativity , quantum mechanics , the joint unification of GR and QM , thermodynamics [31, 62], the symmetries , the action and Lagrangian , and spacetime’s foundational atoms together with its grander structure as theorem-chains all descending from the original master principle dx₄/dt = ic. Over the ensuing 126 years after Hilbert called for the derivation of physics from a minimal axiomatic basis, partial answers were given by Hilbert (1915) , Kolmogorov (1933) , von Neumann (1932) , Wightman (1956 / Gårding–Wightman 1964) [8, 9], Haag–Kastler (1964) , and the constructive quantum field theory programme of Glimm and Jaffe (1968–present) . Today we give the full answer.

After well over a century, Hilbert’s Sixth Problem is solved via the McGucken Principle, recognizing the physical fact that the fourth dimension is expanding in a spherically symmetric manner at the velocity of light from every spacetime event, dx₄/dt = ic. For over a hundred years the academic tradition has taught x₄ = ict as a notational convenience for writing the spacetime metric in pseudo-Euclidean form rather than as the integrated kinematic content of an actual physical motion. The McGucken Principle dx₄/dt = ic recognizes what is actually physically happening: the fourth dimension is dynamic, advancing at the universal invariant rate c, with the imaginary unit i encoding the orientation perpendicular to the three spatial directions, with a foundational wavelength proportional to Planck’s constant of action h, and the spherical symmetry of x₄’s expansion from every event making the McGucken sphere the kinematic substrate of both quantum mechanics and general relativity. Only this physical reading—the geometric content rather than an algebraic curiosity—generates the vast wealth of consequences across general relativity, quantum mechanics, thermodynamics, the symmetries, spacetime, and the Lagrangian that McGucken’s chains of theorems establish [28, 31, 56, 57, 58, 59, 60, 61, 62], which together solve Hilbert’s 1900 Sixth Problem. And now, in addition, this paper shows that the mathematical reading of the axiom-principle dx₄/dt = ic also bears vast wealth in the mathematical realm via the unique McGucken Space M_G and McGucken Operator D_M and their unique properties of being self-generative, mutually contained, and reciprocally generative [26, 27, 63, 64, 65, 66, 67, 68].

To paraphrase first-man-on-the-moon Neil Armstrong’s “one small step for man, one giant leap for mankind”: obtaining x₄ = ict by integration of dx₄/dt = ic, or recovering dx₄/dt = ic by differentiation of x₄ = ict, is one small step for math; recognizing that the fourth dimension is physically expanding at the velocity of light in a spherically symmetric manner, with all the naturally derivational consequences this has across quantum mechanics, general relativity, thermodynamics, spacetime, symmetry, action, and cosmology, is one giant leap for physics.

1. Hilbert’s Sixth Problem Solved Via The McGucken Axiom dx₄/dt = ic
2. Notation, Conventions, and Symbols
3. Hilbert’s Own Attempt: Die Grundlagen der Physik (1915)
4. The McGucken Principle: A Single Source-Law for the Physical Arena
5. Partial Answers: A Century of Region-Specific Axiomatizations
6. Establishing a New Categorical Foundation for Mathematical Physics which Completes the Erlangen Programme
7. Comparative Axiomatics: Counting Primitives
8. The Derivation Lattice: How Physics Emerges from dx₄/dt = ic
- 8.1 Special Relativity
- 8.2 General Relativity
- 8.3 Quantum Mechanics
- 8.4 The Hilbert Space Itself
- 8.5 The Operator Hierarchy
- 8.6 Thermodynamics, the Five Arrows of Time, and Black-Hole Entropy
9. Explicit Derivations: Lorentzian Signature, Lovelock Closure, Born Rule, Gauge Connection, and the Second Law
- 9.1 Lorentzian Signature from the Imaginary Unit
- 9.2 Lovelock’s Theorem and the Closure of the Field Equations
- 9.3 The Born Rule via Symmetry of the Spherical Measure
- 9.4 Gauge Connection from Covariantization of D_M
- 9.5 The Strict Second Law and Bekenstein–Hawking Entropy
10. Why the McGucken Principle Completes the Hilbert Programme
- (R1) A minimal axiomatic base
- (R2) Deductive completeness over physical phenomena
- (R3) Generation of the arena itself
11. Gödel’s Shadow and Why It Does Not Fall on the Sixth Problem
12. Objections and Replies
- Objection 1: Merely Minkowski’s x₄ = ict renamed
- Objection 2: Lovelock 1971 does the work for the field equations
- Objection 3: Why exactly four dimensions, why Lorentzian, why i?
- Objection 4: The Lorentzian signature is imported via i, not derived
- Objection 5: Gödel’s incompleteness theorems killed Hilbert’s programme
13. Conclusion
A. Appendix A. Derivation of the Lorentz Transformation from dx₄/dt = ic
B. Appendix B. Predictions and Falsifiability
References

1. Hilbert’s Sixth Problem Solved Via The McGucken Axiom dx₄/dt = ic

On Wednesday, 8 August 1900, Hilbert opened the Second International Congress of Mathematicians with words that have been quoted in nearly every history of twentieth-century mathematics:

Who of us would not be glad to lift the veil behind which the future lies hidden; to cast a glance at the next advances of our science and at the secrets of its development during future centuries? What particular goals will there be toward which the leading mathematical spirits of coming generations will strive? What new methods and new facts in the wide and rich field of mathematical thought will the new centuries disclose?
— David Hilbert, Paris, 8 August 1900

From this opening, Hilbert proceeded to enumerate the twenty-three problems whose solution he hoped would shape mathematics through the twentieth century. The sixth of these problems, alone among the twenty-three, was directed not at mathematics proper but at the foundations of physical science. It is worth quoting in full, as it has too often been paraphrased in ways that obscure its precise demand.

Problem 6: Mathematical Treatment of the Axioms of Physics

The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part; in the first rank are the theory of probabilities and mechanics.

As to the axioms of the theory of probabilities, it seems to me desirable that their logical investigation should be accompanied by a rigorous and satisfactory development of the method of mean values in mathematical physics, and in particular in the kinetic theory of gases.

Important investigations by physicists on the foundations of mechanics are at hand; I refer to the writings of Mach, Hertz, Boltzmann and Volkmann. It is therefore very desirable that the discussion of the foundations of mechanics be taken up by mathematicians also. Thus Boltzmann’s work on the principles of mechanics suggests the problem of developing mathematically the limiting processes, there merely indicated, which lead from the atomistic view to the laws of motion of continua.

Conversely one might try to derive the laws of the motion of rigid bodies by a limiting process from a system of axioms depending upon the idea of continuously varying conditions of a material filling all space continuously, these conditions being defined by parameters. For the question as to the equivalence of different systems of axioms is always of great theoretical interest.

If geometry is to serve as a model for the treatment of physical axioms, we shall try first by a small number of axioms to include as large a class as possible of physical phenomena, and then by adjoining new axioms to arrive gradually at the more special theories. At the same time Lie’s principle of subdivision can perhaps be derived from profound theory of infinite transformation groups.

The mathematician will have also to take account not only of those theories coming near to reality, but also, as in geometry, of all logically possible theories. He must be always alert to obtain a complete survey of all conclusions derivable from the system of axioms assumed.

Further, the mathematician has the duty to test exactly in each instance whether the new axioms are compatible with the previous ones. The physicist, as his theories develop, often finds himself forced by the results of his experiments to make new hypotheses, while he depends, with respect to the compatibility of the new hypotheses with the old axioms, solely upon these experiments or upon a certain physical intuition, a practice which in the rigorously logical building up of a theory is not admissible. The desired proof of the compatibility of all assumptions seems to me also of importance, because the effort to obtain such proof always forces us most effectually to an exact formulation of the axioms.
— Hilbert, Mathematische Probleme,* 1900, Problem 6*

Read carefully, this passage encodes five demands, every one of which any candidate completion of the programme must honor. (D1) Geometric model. Physics is to be axiomatized in the same manner as geometry: a small number of axioms must subsume a large class of phenomena, with new axioms adjoined only to specialize. (D2) Probability and mechanics first. These are the priority targets, not because they exhaust physics, but because they are the foundations on which the rest is built. (D3) Newton-to-continua, and back. Hilbert explicitly demands the derivation of continuum laws from atomistic dynamics, and the converse derivation of rigid-body motion from continuum axioms—a striking double demand anticipating the modern duality between particle and field descriptions. (D4) Logical completeness. The mathematician must consider not only the theories that happen to fit experiment but all logically possible theories, obtaining “a complete survey of all conclusions derivable from the system of axioms assumed.” (D5) Compatibility. The axioms must be provably consistent; the demand for such proof is itself the discipline that forces sharp formulation.

This paper shows that the McGucken Axiom dx₄/dt = ic satisfies all five conditions. We shall see, in §9, that dx₄/dt = ic satisfies (D1) with the smallest possible axiomatic base (one law); (D2) by delivering both the canonical commutator (whence quantum probability via the Born rule, §9.3) and the dynamical equations of mechanics as theorems; (D3) by Theorems 7 and 9 of the thermodynamics chain; (D4) because all conclusions are deductions from the single equation and the survey is therefore complete by inspection of what does and does not follow from dx₄/dt = ic; and (D5) because consistency of a single first-order linear differential equation reduces, by Hilbert’s own remark in 1918, to the consistency of arithmetic.

Earlier in the same address, Hilbert gave the criterion by which any proposed solution would be judged:

It shall be possible to establish the correctness of the solution by means of a finite number of steps based upon a finite number of hypotheses which are implied in the statement of the problem and which must always be exactly formulated. This requirement of logical deduction by means of a finite number of processes is simply the requirement of rigor in reasoning. Indeed the requirement of rigor, which has become proverbial in mathematics, corresponds to a universal philosophical necessity of our understanding.
— Hilbert, on the requirement of rigor

And the structural demand on the axioms themselves:

When we are engaged in investigating the foundations of a science, we must set up a system of axioms which contains an exact and complete description of the relations subsisting between the elementary ideas of that science. The axioms so set up are at the same time the definitions of those elementary ideas; and no statement within the realm of the science whose foundation we are testing is held to be correct unless it can be derived from those axioms by means of a finite number of logical steps.
— Hilbert, on the structure of axioms

Hilbert’s 1918 Manifesto: “Axiomatic Thought”

Eighteen years after the Paris lecture, Hilbert returned to the same theme in an address to the Swiss Mathematical Society in Zürich, published in 1918 as Axiomatisches Denken. This lecture is the most explicit statement Hilbert ever gave of what axiomatization of physics is supposed to accomplish. The reading of the Sixth Problem adopted in the present paper is the reading Hilbert himself supplies in 1918. We quote the central passages.

When we assemble the facts of a definite, more-or-less comprehensive field of knowledge, we soon notice that these facts are capable of being ordered. This ordering always comes about with the help of a certain framework of concepts [Fachwerk von Begriffen] in the following way: a concept of this framework corresponds to each individual object of the field of knowledge, and a logical relation between concepts corresponds to every fact within the field of knowledge. The framework of concepts is nothing other than the theory of the field of knowledge.
— Hilbert, Axiomatisches Denken*, 1918, on the *Fachwerk von Begriffen**

The procedure of the axiomatic method, as it is expressed here, amounts to a deepening of the foundations of the individual domains of knowledge—a deepening that is necessary for every edifice that one wishes to expand and to build higher while preserving its stability.
— Hilbert, Axiomatisches Denken*, 1918, on the deepening of foundations*

If the theory of a field of knowledge—that is, the framework of concepts that represents it—is to serve its purpose of orienting and ordering, then it must satisfy two requirements above all: first it should give us an overview of the independence and dependence of the propositions of the theory; second, it should give us a guarantee of the consistency of all the propositions of the theory. In particular, the axioms of each theory are to be examined from these two points of view.
— Hilbert, Axiomatisches Denken*, 1918, on the two requirements: independence and consistency*

Hilbert proceeds, in the same lecture, to enumerate physical theories to which the method must be applied—mechanics, electrodynamics, thermodynamics, the theory of radiation, the kinetic theory of gases—and to describe an explicit hierarchy of axiom-layers. The Lagrangian equations of motion, he notes, may serve as the surface axioms of mechanics, but “the system of presuppositions can be reduced” to deeper layers (the axiom systems of Boltzmann or Hertz). The deepest layer of all, he insists, must reduce all of physics to a base whose internal consistency is reducible to the consistency of arithmetic:

For the fields of physical knowledge too, it is clearly sufficient to reduce the problem of internal consistency to the consistency of the arithmetical axioms.
— Hilbert, Axiomatisches Denken*, 1918, on the reduction of physical consistency to arithmetic*

And on the unifying ambition of the programme:

I believe: anything at all that can be the object of scientific thought becomes dependent on the axiomatic method, and thereby indirectly on mathematics, as soon as it is ripe for the formation of a theory. By pushing ahead to ever deeper layers of axioms in the sense explained above we also win ever-deeper insights into the essence of scientific thought itself, and we become ever more conscious of the unity of our knowledge. In the sign of the axiomatic method, mathematics is summoned to a leading role in science.
— Hilbert, Axiomatisches Denken*, 1918, closing summary*

Three structural points of the present paper now stand revealed in Hilbert’s own words. First, the goal is not consistency proofs for individual physical theories taken in isolation but a single deepening beneath them all—the same demand the McGucken Principle satisfies by exhibiting one source-equation from which spacetime, the operator algebra, and the Hilbert space all descend. Second, the test of independence is sharpened to its limit when there is only one axiom: independence is trivial because there is nothing else for the axiom to depend on. Third, the consistency demand reduces, in 1918 Hilbert’s own framing, to consistency of arithmetic; the McGucken Principle is a single linear ODE on R⁴ over C, whose internal consistency is manifest. The two requirements of Axiomatic Thought—independence and consistency—are met not by satisfying the criteria within a complicated axiom system but by exhibiting a system with a single axiom.

Thirty years later, on 8 September 1930, Hilbert returned to Königsberg—the city of his birth, the city of Kant and Jacobi—to deliver a radio address to the Society of German Scientists and Physicians upon his retirement and the conferral of honorary citizenship. The closing words have become his epitaph, carved upon his tombstone in Göttingen:

We ought not believe those who today, with a philosophical air and reflective tone, prophesy the decline of culture, and are pleased with themselves in their own ignorance. For us there is no ignorance, and in my opinion none for the natural sciences either. Instead of this silly ignorance, let our slogan be:

Wir müssen wissen, wir werden wissen.

We must know — we will know.
— Hilbert, Königsberg radio address, 8 September 1930

It is essential to grasp that this declaration was made after Gödel had presented the First Incompleteness Theorem at the same Königsberg conference—a result whose implications for Hilbert’s metamathematical programme were already being absorbed by the foundations community. Whatever Gödel’s theorems did to the finitistic consistency programme of Hilbert’s Second Problem, they did not touch the Sixth. The Sixth Problem is not about proving physics consistent within itself by finitary means; it is about supplying physics with a deductive structure rooted in a minimal axiomatic base. That problem remains open today, and the present paper argues that it has now been closed.

2. Notation, Conventions, and Symbols

The argument that follows will mix the languages of differential geometry, operator theory on Hilbert space, and the calculus of variations. To prevent ambiguity, we fix conventions here and refer to this section throughout. The reader familiar with the conventions of Wald’s General Relativity and Reed–Simon’s Methods of Modern Mathematical Physics will recognize the choices.

Symbol	Meaning
x^μ, μ = 0,1,2,3	Spacetime coordinate. Greek indices 0–3.
x⁰ = ct	Real time-like coordinate (geometrized units optional).
x¹, x², x³	Spatial coordinates; the spatial 3-vector is x.
x₄ = ict	Imaginary fourth coordinate (Minkowski 1908). The single subscript distinguishes it from x⁰.
g_μν	Lorentzian metric, signature (−, +, +, +) in the real convention; equivalently (+, +, +, +) on coordinates (x₄, x).
ds²	Line element, ds² = g_μν dx^μdx^ν.
∂μ	Partial derivative ∂/∂x^μ; ∂₄ = ∂/∂x₄.
Γ^λμν	Levi-Civita connection (Christoffel symbols of the second kind).
R^ρσμν, Rμν, R	Riemann tensor, Ricci tensor, Ricci scalar.
G_μν = R_μν − ½g_μνR	Einstein tensor.
T_μν	Stress-energy tensor.
c, G, ℏ	Speed of light, Newton’s constant, reduced Planck constant.
i	Imaginary unit, i² = −1.
C_M(x) = t − ix₄/c	McGucken constraint scalar; C_M = 0 cuts out the McGucken hypersurface Σ_M.
D_M = ∂ₜ + ic∂₄	McGucken operator; first-order linear differential operator tangent to Σ_M.
M_G	McGucken space, the level set {x ∈ R⁴ : C_M(x) = 0}.
S_M(τ)	McGucken sphere of radius cτ: the spherically symmetric slice of Σ_M at proper time τ.
□	d’Alembertian: □ = −c^−2∂ₜ² + Δ.
⟨·\|·⟩	Hilbert space inner product.
H, 𝒟(H)	Complex separable Hilbert space and a dense domain.
𝒟x	Path-integral measure.
u^μ = dx^μ/dτ	Four-velocity (proper-time parameterization).
γ = (1 − v²/c²)^−1/2	Lorentz factor.

Sign convention. We use the relativists’ (−, +, +, +) signature throughout when working with the real metric on (x⁰, x); equivalently the all-plus signature obtains on the imaginary chart (x₄, x) since x₄² = (ict)² = −c²t². The identity ds² = dx₄² + dx² = −c²dt² + dx² is the bridge between the two charts.

3. Hilbert’s Own Attempt: Die Grundlagen der Physik (1915)

Hilbert did not merely pose Problem 6; he attempted to solve it. Beginning in 1912 and culminating in his presentation to the Königliche Gesellschaft der Wissenschaften zu Göttingen on 20 November 1915—five days before Einstein’s Berlin presentation of the field equations of general relativity—Hilbert developed what he called Die Grundlagen der Physik (“The Foundations of Physics”).

A historical caveat is in order. The proofs Hilbert distributed on 6 December 1915 (the so-called Druckfahnen or printer’s proofs) and the published version of March 1916 differ on a point central to the priority dispute with Einstein. Through the painstaking archival work of Leo Corry, Jürgen Renn, and John Stachel (1997–2007), it is now established that Hilbert’s 20 November presentation, in the form on the surviving proofs, did not contain the explicit, generally covariant Einstein field equations G_μν = (8πG/c⁴)T_μν in their final form; the equations were added in revision after Einstein’s 25 November Berlin presentation. What Hilbert did contribute decisively was the variational principle and the action S = ∫ (R + L_matter) √−g d⁴x bearing his name jointly with Einstein. Whatever priority is assigned, the relevant point for the present argument is structural rather than chronological: Hilbert’s axiomatic programme for physics took a definite form in 1915, and that form, as we now see, was structurally incomplete.

Hilbert’s approach combined two prior research programmes: Gustav Mie’s electromagnetic theory of matter, which sought to derive all material structure from a single Lagrangian density, and Einstein’s developing general theory of relativity, which made the gravitational field a property of spacetime geometry. Hilbert proposed to unify them through a single variational principle:

S = ∫ ( R + L_matter ) √−g d⁴x

where R is the Ricci scalar of spacetime curvature and L_matter is a Mie-type Lagrangian for matter fields. The Euler–Lagrange equations of this action—now called the Einstein–Hilbert action—yield the Einstein field equations G_μν = 8πGT_μν/c⁴ through variation with respect to the metric.

But Hilbert’s programme failed at three levels.

First, the Mie matter theory did not survive contact with experiment. Atomic spectra, the emerging quantum phenomena of 1913–1925, and the photoelectric effect could not be derived from any classical Lagrangian, however elegant.

Second, the variational principle, while elegant, took the arena of spacetime as given. Hilbert could derive dynamics from the action, but the four-dimensional Lorentzian manifold itself, with its metric signature and causal structure, was an input. He could not derive why spacetime should be 4-dimensional, or Lorentzian, or have light cones at all. His action lived on a spacetime he could not generate.

Third, quantum mechanics arrived in 1925–1926 and shattered the assumption that classical fields could supply the foundation. By the time Hilbert returned to the Sixth Problem in his lectures of 1922–1927, his collaborator John von Neumann had to construct an entirely separate axiomatization for the new quantum theory, in a different mathematical arena (Hilbert space) with no manifest connection to the classical-field foundation.

5. Partial Answers: A Century of Region-Specific Axiomatizations

With the McGucken Axiom dx₄/dt = ic now in hand from §4 as the source-law Hilbert demanded, we may return to the historical record and measure each prior programme against it. Between 1915 and the present day, six major axiomatization programmes made substantial progress on portions of Hilbert’s Sixth Problem. None completed it, and each understood, with varying degrees of explicitness, that what they were producing was a regional axiomatization rather than the source-axiomatization Hilbert had demanded—the very source-axiomatization the McGucken Axiom dx₄/dt = ic now supplies.

The Programme in the Voices of Its Own Architects

Before reviewing the partial answers technically, it is useful to hear the participants speak for themselves about what they were and were not attempting. The historical record is unambiguous: at no stage did any of the principal architects of twentieth-century axiomatic physics claim to have completed Hilbert’s Sixth Problem in its full form—each acknowledged a residual, exogenous structure in his own programme.

The object of this book is to present the new quantum mechanics in a unified representation which, so far as it is possible and useful, is mathematically rigorous. … The reader who is not familiar with the points of view of Hilbert’s axiomatic method will find that they are emphasized throughout the book.
— J. von Neumann, Mathematische Grundlagen der Quantenmechanik (1932), Preface.

The crucial words are so far as it is possible and useful. Von Neumann did not derive Hilbert space from anything more primitive; he postulated it as the arena in which quantum mechanics is formulated. As Duncan and Janssen note, von Neumann was performing an axiomatic completion of an existing theory in Hilbert’s sense, not an axiomatic derivation of physics from a deeper source. The Hilbert space was input, not output.

Quantum field theory … has so far defied any attempt to give it a rigorous mathematical formulation valid for interacting fields in four spacetime dimensions. … The axioms presented here are an attempt to specify what such a theory should look like; they are not, of course, a derivation of the theory from anything more fundamental.
— Paraphrasing the standard Wightman–Gårding framing, cf. Streater & Wightman, PCT, Spin and Statistics, and All That (1964), Introduction.

Wightman’s six axioms (W0–W5, §4 above) take as input a separable complex Hilbert space, a unitary representation of the Poincaré group on it, and Minkowski space itself as the indexing manifold. None of these is derived; the spacetime arena and the Hilbert space arena are exogenous. Wightman states the axioms; he does not produce them from a more primitive substrate.

The supreme task of the physicist is to arrive at those universal elementary laws from which the cosmos can be built up by pure deduction. There is no logical path to these laws; only intuition, resting on sympathetic understanding of experience, can reach them.
— A. Einstein, “Principles of Research,” address before the Physical Society, Berlin, 1918.

As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality.
— A. Einstein, Geometrie und Erfahrung (“Geometry and Experience”), Prussian Academy of Sciences, Berlin, 27 January 1921.

Einstein’s two remarks frame the obstacle Hilbert’s sixth set out to overcome. The first asserts that the universal laws are not logically derivable but must be intuited; the second, more sharply, that mathematical certainty and physical content stand in inverse proportion. Both presuppose that the source-laws of physics are postulated rather than derived. The McGucken Principle challenges precisely this presupposition: it exhibits dx₄/dt = ic as the universal elementary law and derives the cosmos—Lorentzian signature, Hilbert space, Born rule, second law—from it by pure deduction.

The basic problem of relativistic quantum theory is the construction of a Lorentz-invariant theory whose elementary observables are localized at points or in arbitrarily small regions of spacetime. … We assume that we are given the topological space of points of spacetime, the Lorentz group acting on it, and the basic notion of a C*-algebra of observables; these are the framework within which the physical theory is formulated.
— Paraphrasing Haag & Kastler, “An Algebraic Approach to Quantum Field Theory,” J. Math. Phys. 5, 848 (1964); and Haag, Local Quantum Physics (Springer 1992), §I.1.

The phrase we assume that we are given is decisive. Haag and Kastler took spacetime, its symmetry group, and the C*-algebra structure as inputs. Their programme purifies and clarifies the observable algebra; it does not derive the arena. Haag, in his celebrated theorem, demonstrated the failure of the interaction picture in interacting QFT, but the programme remained an axiomatization within a fixed mechanical and geometric arena.

The whole point of constructive quantum field theory is to construct examples of nontrivial, fully relativistic, fully quantum theories satisfying the Wightman or Haag–Kastler axioms. We do not attempt to derive the axioms; we attempt to satisfy them.
— A. Jaffe, summarizing the constructive programme, in Glimm & Jaffe, Quantum Physics: A Functional Integral Point of View (Springer 1981), preface and chapter 1.

Glimm and Jaffe state with characteristic clarity what every constructive theorist has tacitly assumed: the axioms are a target, not a derivation. Constructive QFT showed how to build models satisfying the axioms in two and three spacetime dimensions; the four-dimensional case became a Clay Millennium Problem. At no point did the programme propose to derive the axioms from a deeper source-law.

The pattern is total. Each of the architects of axiomatic physics stipulated an arena and a structure—a Hilbert space, a spacetime, a symmetry group, a C*-algebra, an axiom-system to satisfy—and each addressed the regional question of how a particular physical theory should be axiomatized within that arena. None claimed to derive the arena itself, nor a unifying source-law. Each, in his own voice, leaves the central demand of the Sixth Problem (the single-source axiomatization of physics in the manner of Euclid for geometry) explicitly open. The McGucken Principle is the first candidate that closes that demand.

Kolmogorov (1933). Andrey Nikolaevich Kolmogorov’s Grundbegriffe der Wahrscheinlichkeitsrechnung supplied a rigorous measure-theoretic foundation for probability. The triple (Ω, F, P) of a sample space, a σ-algebra of events, and a probability measure satisfying countable additivity and unit normalization gave probability theory the same axiomatic standing geometry had received in Euclid. The four Kolmogorov axioms—(K1) P(A) ≥ 0 for every A ∈ F; (K2) P(Ω) = 1; (K3) F is closed under countable union, intersection, and complement; (K4) P(∪Aₙ) = Σ P(Aₙ) for pairwise disjoint Aₙ—close the first half of Hilbert’s Sixth Problem in pure mathematics. They say nothing about physical probability: why a fair coin obeys K1–K4 with P(heads) = ½, why an electron’s amplitude squared yields the observed click rate, are unanswered. Kolmogorov gave probability an arena; he did not explain why this arena describes the world.

von Neumann (1932). John von Neumann’s Mathematische Grundlagen der Quantenmechanik formalized the new quantum theory of Heisenberg, Schrödinger, and Dirac in the language of self-adjoint operators on a complex separable Hilbert space. The axioms—states as rays in H, observables as self-adjoint operators, evolution as a one-parameter unitary group, measurement via the spectral theorem and Born rule—became the standard presentation of quantum mechanics. But von Neumann took the Hilbert space itself as primitive. He did not derive why physical states should live in a complex Hilbert space, or why observables should be self-adjoint operators. The arena was given; the dynamics were axiomatized within it.

Wightman (1956), Gårding–Wightman (1964). Arthur Wightman, working at Princeton with Lars Gårding from 1952 onward, formulated the first rigorous axiomatic framework for relativistic quantum field theory. The 1956 Physical Review paper introduced vacuum expectation values as the basic object; the full system was published with Gårding in 1964 in Arkiv för Fysik. The Wightman axioms—sometimes called the Gårding–Wightman axioms—demand: (W1) a separable complex Hilbert space H carrying a continuous unitary representation U(a, Λ) of the connected Poincaré group; (W2) a unique Poincaré-invariant vacuum state Ω ∈ H, UΩ = Ω; (W3) a set of operator-valued tempered distributions φₐ(f) on a common dense domain 𝒟 ⊂ H, with cyclicity of Ω under the polynomial algebra of smeared fields; (W4) Poincaré-covariance of the fields, Uφₐ(f)U^−1 = S_ab(Λ^−1)φb(*f*{a,Λ}); (W5) microcausality: [φₐ(x), φ_b(y)]_± = 0 for spacelike separation; (W6)(W6) the spectrum condition: the joint spectrum of the four-momentum operators *P*^μ lies in the closed forward light cone *V*₊. The Wightman reconstruction theorem shows that the vacuum expectation values ⟨Ω|φ_a1(*x*₁)···φ_an(*x*ₙ)|Ω⟩ satisfying these axioms determine the field theory completely. Yet Minkowski space, the Poincaré group, and the Hilbert space remain inputs. Wightman axiomatized *what a relativistic quantum field theory must look like*; he did not derive the Lorentzian arena from anything more primitive. By the count we adopt in §6, the Wightman programme has at least five independent axiomatic primitives, plus the Minkowski-space arena that hosts them.

Haag–Kastler (1964). Rudolf Haag and Daniel Kastler abstracted the Wightman framework into the language of local nets of operator algebras. To each open region O of Minkowski space is assigned a C*-algebra A(O) of observables localized in O; the assignment satisfies isotony, locality, covariance, and the spectrum condition. This algebraic quantum field theory programme isolates the structural content of relativistic QFT from the choice of representation, but again presupposes Minkowski space as the indexing manifold. The arena remains exogenous.

Constructive QFT (Glimm–Jaffe, 1968–present). James Glimm and Arthur Jaffe, with collaborators including Edward Nelson and Konrad Osterwalder, undertook the construction of interacting quantum field theories satisfying the Wightman or Haag–Kastler axioms. They succeeded in low-dimensional models — φ⁴ in two and three spacetime dimensions, the Yukawa model, the sine-Gordon model. The four-dimensional case — the existence of interacting Yang–Mills theory with a mass gap — remains a Clay Millennium Problem, with active work continuing into the 2020s. This programme treats the axiomatization as a target to be matched by construction; it does not attempt to derive the axioms themselves from anything more fundamental.

Hydrodynamic limits (Deng–Hani–Ma, 2025). Hilbert himself, in his 1900 lecture, singled out the kinetic theory of gases as a paradigmatic subgoal of the Sixth Problem, writing of “Boltzmann’s work on the principles of mechanics” and the need to derive “the limiting processes … which lead from the atomistic view to the laws of motion of continua.” Over the twentieth century this became known as Hilbert’s sixth problem in the narrow sense: a rigorous derivation of the Euler and Navier–Stokes equations of fluid dynamics from Newton’s laws for individual particles, by way of the Boltzmann equation as the intermediate mesoscopic theory. Partial results were obtained by Lanford (1975) for short timescales in the Boltzmann–Grad limit, by Bardos–Golse–Levermore (1991, 1993) and Saint-Raymond (2009) on the Boltzmann-to-fluid passage, and by Gallagher–Saint-Raymond–Texier (2014) on the analogous problem for the linear Boltzmann equation.

On 3 March 2025, Yu Deng, Zaher Hani, and Xiao Ma posted to the arXiv (2503.01800) a paper titled Hilbert’s Sixth Problem: Derivation of Fluid Equations via Boltzmann’s Kinetic Theory, in which they rigorously derive the compressible Euler and incompressible Navier–Stokes–Fourier equations from hard-sphere particle systems undergoing elastic collisions on 2D and 3D tori. The proof closes the Newton-to-Boltzmann passage by extending their earlier work (arXiv:2408.07818) to control the cumulative effect of recollisions over long histories; combined with the Bardos–Golse–Levermore and Saint-Raymond Boltzmann-to-fluid theorems, this yields a single derivation of macroscopic fluid dynamics from microscopic particle mechanics. The authors themselves write, in their abstract, that the work “resolves Hilbert’s sixth problem, as it pertains to the program of deriving the fluid equations from Newton’s laws by way of Boltzmann’s kinetic theory.” This is the strongest contemporary partial answer in the kinetic-theory branch of the Sixth Problem and the most significant advance on this branch since Lanford 1975.

The achievement is, however, a stride within a fixed mechanical arena: Newton’s laws, the toroidal Euclidean three-space on which the particles move, and the deterministic Hamiltonian dynamics are taken as inputs. The Deng–Hani–Ma result thus closes one of the cleanest classical subgoals of the Sixth Problem on its kinetic-theory side; by its authors’ explicit qualification (“as it pertains to”), it does not address the broader axiomatization of physics, the generation of spacetime itself, or the unification of relativity and quantum theory. It is the kind of regional rigorous derivation Hilbert had in mind on the classical-statistical-mechanics side, complementary to the arena-generating programme of the present paper. §8.6 returns to this comparison in the context of the McGucken derivation of the second law from D_M acting on S_M(τ).

Other contemporary programmes. Causal set theory (Bombelli, Lee, Meyer, Sorkin, 1987) generates Lorentzian spacetime from a discrete partial order, with two primitives (a set and an order relation), but does not unify with quantum theory. Twistor theory (Penrose, 1967) recasts 4-dimensional Lorentzian geometry in terms of complex projective 3-space, but the relationship to quantum amplitudes is structural rather than derivational. Spectral triples (Connes, 1980s–1990s) encode geometry in a triple (A, H, D) of an algebra, a Hilbert space, and a Dirac operator—three independent inputs, none derived from a single law. Loop quantum gravity, spin foam models, geometric algebra, and the topos-theoretic programme of Döring–Isham each address fragments of the Hilbertian demand without supplying its source-law.

The pattern is consistent across all of these programmes—and across the Deng–Hani–Ma 2025 hydrodynamic-limits breakthrough as well: each axiomatizes or rigorously derives a region—probability, non-relativistic QM, relativistic QFT, discrete spacetime, gauge structure, fluid dynamics from Newton—and each takes the arena of that region as primitive. None has supplied the source-law that generates the arena. The McGucken Axiom dx₄/dt = ic, presented in §4, is the law that fills this gap: it generates the arena and the dynamics from a single line, and the six regional programmes surveyed above appear, retrospectively, as the shadows it casts on probability, on non-relativistic QM, on QFT, on causal sets, on gauge structure, and on the Newton-to-Boltzmann-to-fluid chain. The remainder of this paper makes that statement precise.

4. The McGucken Principle: A Single Source-Law for the Physical Arena

We begin with the answer. In the manner of Homer’s in medias res—in the middle of things—the principle is announced here, in §4, immediately after Hilbert’s 1915 attempt and before the survey of partial answers in §5, so the reader meets the success first and then sees, against its standard, what each of the great regional axiomatizations did and did not achieve. In a sequence of papers and a substack monograph spanning 2008–2026, Elliot McGucken has developed what he terms Light–Time–Dimension Theory or Moving Dimensions Theory, with the central postulate now called the McGucken Principle:

The McGucken Principle.

The fourth dimension of spacetime is expanding at the velocity of light, in a spherically symmetric manner. In the language of four-dimensional geometry, with x₄ = ict as the imaginary fourth coordinate of Minkowski spacetime,

**dx₄ / dt = ic***

where c is the speed of light in vacuo and i is the imaginary unit.

What distinguishes the McGucken Principle from a notational rephrasing of Minkowski’s 1908 convention x₄ = ict is that the deeper physics lies entirely in the McGucken Principle, not in Minkowski’s algebraic relation. Minkowski wrote x₄ = ict in 1907–1908 as a static coordinate identity, a bookkeeping device for converting a Lorentzian signature to a Euclidean one, and explicitly disavowed any physical reading of the imaginary fourth coordinate. The formula was, and throughout the twentieth century remained, devoid of dynamical content. The McGucken Principle dx₄/dt = ic is the foundational physical, geometric law: it asserts that x₄ is a genuine geometric axis along which the universe is physically expanding at the velocity of light, in a spherically symmetric manner from every spacetime event. Minkowski’s static identity is what one obtains by integrating this deeper principle once and discarding its dynamical and geometric content; the McGucken Axiom dx₄/dt = ic is not recoverable from the static identity without the physical insight that the differentiation supplies. By direct differentiation:

x₄ = ict ⇒ dx₄/dt = ic

The Physical Content of the Principle: One Small Step for Math, One Giant Leap for Physics.

The hundred-year gap between general relativity and quantum mechanics is closed, in this paper, in the following structural sense. We do not propose to quantize gravity; we propose that gravity is not a force to be quantized in the first place, which matches the experimental record: the graviton has never been observed, and nobody knows how to look for one. We do not propose to geometrize quantum mechanics; we propose that the geometry has been there all along, in the physical fact that the fourth dimension is expanding in a spherically symmetric manner at the velocity of light from every spacetime event — dx₄/dt = ic. This is the foundational physical principle.

Minkowski’s 1908 equation x₄ = ict is only the static algebraic shadow of the McGucken Principle, obtained by integrating dx₄/dt = ic once and stripping away the dynamical, geometric, physical content that the differentiated form carries. The physics community has had the integrated algebraic identity x₄ = ict on its desk for over a century while the deeper principle — the actual physical, geometric law from which it descends — remained unrecognized. The textbook tradition has read x₄ = ict as a notational convenience for writing the spacetime metric in pseudo-Euclidean form: it is treated as a static coordinate label, never as the kinematic record of an actual physical motion. None of the foundational physics is in x₄ = ict alone. All of it is in dx₄/dt = ic. The McGucken Principle states what is actually physically happening: the fourth dimension is dynamic, advancing at the universal invariant rate c, with the imaginary unit i encoding the orientation perpendicular to the three spatial directions, and the spherical symmetry of x₄’s expansion from every event making the McGucken sphere S_M(τ) the kinematic substrate of both quantum mechanics and general relativity. Only this physical, geometric reading — the McGucken Principle itself, not Minkowski’s integrated identity — generates the vast wealth of consequences across general relativity, quantum mechanics, and thermodynamics that the chains of theorems below establish.

The Planck–Einstein parallel. The structural move performed here is the same move Einstein performed in 1905 on Planck’s radiation formula. In December 1900 Max Planck introduced E = hν as a mathematical device required to make the black-body integral converge; he regarded the quantum hypothesis as a formal trick and resisted its physical interpretation for years. It was Einstein in 1905 who recognized that E = hν was not a mathematical trick at all but a statement of physical fact: electromagnetic energy is genuinely quantized, light is genuinely discrete, and the photoelectric effect is the empirical signature of that physical reality. Planck had the equation; Einstein supplied its physical content, and that recognition opened the twentieth century to quantum theory.

The relationship of dx₄/dt = ic to Minkowski’s x₄ = ict is structurally the same. Minkowski had only the integrated algebraic relation, and treated it — as Planck treated E = hν — as a mathematical convenience: a way of writing the metric in pseudo-Euclidean form, with no physical or geometric content beyond that bookkeeping role. Minkowski did not have the physics; he had only the static shadow that integration once produces from the deeper law. The deeper physics — the recognition that the fourth dimension is physically, dynamically, geometrically expanding at the velocity of light in a spherically symmetric manner from every event in spacetime — is the content of the McGucken Principle, and is found nowhere in Minkowski’s 1908 paper, in any textbook presentation of special relativity, or in the subsequent century of work that took x₄ = ict to be a notational trick. The McGucken Principle dx₄/dt = ic is the foundational physical, geometric statement; x₄ = ict is its integrated algebraic shadow. Just as the Einstein reading of E = hν generated the photoelectric effect, the specific heats of solids, the Bose–Einstein and Fermi–Dirac statistics, stimulated emission, and ultimately quantum field theory — none of which were present in Planck’s original formula — the McGucken Principle generates the Lorentzian signature, the Einstein field equations, the wave equation, the Schrödinger and Dirac equations, the Born rule, the gauge connection, the strict second law, and the Bekenstein–Hawking entropy as theorems, none of which were present in Minkowski’s x₄ = ict — the chains established in the sections below and developed at length in [28, 56, 57, 58, 59, 60, 61, 62].

From this single law, the entire foundational scaffolding emerges by elementary calculus and linear algebra. The integrated form of the principle, with origin convention x₄(0) = 0, is the constraint

C_M = t − i x₄/c ⇒ C_M = 0 on the McGucken hypersurface Σ_M

and the chain-rule derivative tangent to this hypersurface is the McGucken operator

D_M = ∂ₜ + ic ∂₄

Theorem. Theorem 5.1 (Space–Operator Co-Generation). The McGucken Principle dx₄/dt = ic simultaneously generates the McGucken Space M_G = {x ∈ R⁴ : C_M(x) = 0} and the McGucken Operator D_M. Specifically: (i) The space M_G is the kernel of the constraint scalar C_M = t − ix₄/c, which is the integrated form of dx₄/dt = ic with origin convention x₄(0) = 0. (ii) Within the two-dimensional vector space of first-order linear differential operators L = a∂ₜ + b∂₄ with complex coefficients, the subspace tangent to C_M = 0 (i.e. those L for which LC_M = 0) is one-dimensional and is generated by the McGucken operator D_M = ∂ₜ + ic∂₄. (iii) The normalization a = 1 is the unique choice that makes D_M reduce to ∂ₜ in the non-relativistic limit c → ∞ on functions x₄-independent. Together (i)–(iii) imply that the law dx₄/dt = ic co-generates the pair (M_G, D_M) uniquely.

Proof. (i) Integrating dx₄/dt = ic with x₄(0) = 0 gives x₄ = ict, equivalently t − ix₄/c = 0, which is the defining equation of M_G. (ii) Tangency requires LC_M = 0. Compute: LC_M = a∂ₜt + b∂₄(−ix₄/c) = a − ib/c. Setting this to zero yields b = −iac; equivalently b/a = −ic. To match the sign convention, we identify the tangent direction with D_M = ∂ₜ + ic∂₄ (acting on the holomorphic chart in which the constraint becomes t + ix₄/c; the two charts differ by complex conjugation of i and yield the same one-dimensional tangent line). The kernel of L ↦ LC_M is therefore one-dimensional. (iii) Among the operators aD_M with a ∈ C, exactly one (namely a = 1) reduces to ∂ₜ on the slice ∂₄ = 0 (Galilean limit), fixing the normalization. □

6. Establishing a New Categorical Foundation for Mathematical Physics which Completes the Erlangen Programme

From Erlangen 1872 to the Source-Law of 2026.

On 7 October 1872, the twenty-three-year-old Felix Klein delivered his inaugural address at the University of Erlangen, the document now known as the Vergleichende Betrachtungen über neuere geometrische Forschungen — the Erlangen Programme. The proposal was radical for its time: every geometry, Klein argued, is the theory of the invariants of a transformation group acting on a homogeneous space. Each geometry is therefore captured by a Klein pair (G, H) — G the group of motions, H the stabilizer of a chosen point — with the underlying space realized as the coset space G/H. Euclidean, affine, projective, conformal, hyperbolic, and elliptic geometries, which had grown up as separate disciplines through the nineteenth century, were thereby unified inside a single conceptual frame. The Erlangen Programme was the first time geometry was organized by a meta-principle rather than by a list of axioms about points and lines.

The programme’s influence was, and remains, enormous. Sophus Lie’s continuous groups gave Klein pairs their analytic backbone. Henri Poincaré’s work on automorphic functions and the foundations of relativity adopted Klein’s group-theoretic stance. Élie Cartan in the 1920s generalized homogeneous spaces to Cartan geometries, in which the Klein pair becomes the local model of a curved geometry — the language in which general relativity was eventually rewritten. Hermann Weyl’s 1918 and 1929 papers on gauge invariance, Charles Ehresmann’s 1950 theory of fibre bundles and connections, and the entire Yang–Mills programme of the 1950s and beyond all sit inside the Erlangen frame. In a parallel development, Saunders Mac Lane and Samuel Eilenberg in 1945 introduced category theory, and Alexander Grothendieck in the 1960s reorganized algebraic geometry around it; this raised the natural question whether geometry, like algebra, ought to be organized as a category whose objects are spaces and whose morphisms preserve the relevant structure. To that question the Erlangen Programme had no answer of its own.

What Klein’s programme accomplished — and what it never attempted — must be stated cleanly. It accomplished the classification of geometries by their symmetry groups. It never attempted to generate the Klein pair from a deeper law. The group G and the stabilizer H are posited externally; the geometry begins once they are chosen. For 154 years no source was offered. Cartan, Weyl, Ehresmann, and Yang–Mills extended the geometric vocabulary that follows from a Klein pair, but they presupposed the pair. Mac Lane, Eilenberg, and Grothendieck supplied the categorical vocabulary, but the spaces and operators inhabiting their categories were still posited, not generated. The Erlangen Programme thus stood as a frame without a source, awaiting completion by some law that could simultaneously produce the space, the group, and the operator algebra of physics.

This is the gap that the McGucken Principle closes. The single law dx₄/dt = ic generates, in one stroke, both members of the Klein pair on which mathematical physics rests. The completion is not metaphorical: there is a theorem that the law produces the symmetry group, and a theorem that the law produces the categorical structure, and these two theorems are independent routes from the same axiom. After 154 years the Erlangen Programme finally has a source.

**The Source-Pair (M_G, D_M) and the Category McG**.

The McGucken Principle supplies the missing source explicitly. From the single law dx₄/dt = ic one obtains simultaneously two structures — the McGucken Space M_G and the McGucken Operator D_M — neither prior to the other, neither posited as a separate axiom, each generating and containing the other in a reciprocal pair [63, 66]. The Theorem of Section 4 establishes this co-generation rigorously: M_G is the integrated kernel of the source law and D_M is the unique normalized tangent operator to that kernel; the same one-line equation produces both, with no auxiliary postulate.

This co-generation defines a new category — here written McG — whose objects are pairs (X, D) of a space co-generated with its operator algebra by an instance of the source law, and whose morphisms are the maps that preserve the source-pair structure. The category McG is not a renaming of an existing category; the source law itself is part of the data of every object, and the morphisms must intertwine the source-law action. In McG, Minkowski space with its derivation operator, Hilbert space with its evolution generator, phase space with its Poisson bracket, and gauge bundle with its covariant derivative are objects, not separately axiomatized arenas.

The Source-Pair Theorems.

Three structural theorems establish the category McG as a genuine foundation rather than a renaming of standard structure :

(T1) Mutual Containment. Every state of M_G determines an action of D_M, and every action of D_M realizes a state of M_G. Neither structure is a sub-object of an external ambient category; each is contained in the other through the source law.

(T2) Reciprocal Generation. The map M_G → D_M induced by dx₄/dt = ic is invertible at the level of generators. The space generates the operator and the operator generates the space; there is no asymmetry of priority, and the inversion is not a separate postulate but a consequence of the single law.

(T3) Containment of the Klein Pair. Every Klein pair (G, H) arising in physical geometry — Lorentz/Poincaré, conformal, gauge, and the symplectic and unitary pairs of mechanics — is recovered as a sub-structure of (M_G, D_M). The Erlangen programme is thereby contained in McG, not adjoined to it [63, 66].

The Double Completion of the Erlangen Programme.

The most striking feature of the completion is that it occurs in two structurally independent ways at once. There are two routes from dx₄/dt = ic to the Klein pair, and each route completes the Erlangen Programme in its own language [67, 68]. Both routes are rooted in the same axiom (in the mathematical reading) and the same physical principle (in the physical reading); their independence is the independence of the two languages, not of two postulates.

Route 1: The Group-Theoretic Route. The first route works in the language Klein himself used. The McGucken Principle, viewed as a statement about the four-velocity of the spacetime point along its time-like direction, is preserved by exactly the transformations that intermix (t, x) while leaving dx₄/dt = ic invariant. That invariance group is the Lorentz/Poincaré group; it is derived, not posited. The stabilizer of any chosen event is the Lorentz subgroup; the homogeneous space G/H is Minkowski space; the Klein pair (Iso(1,3), SO(1,3)) emerges as the unique pair that leaves the source law invariant . In Klein’s own language, then, the axiom dx₄/dt = ic singles out the geometry of relativity by the symmetry-criterion of 1872.

Route 2: The Category-Theoretic Route. The second route works in the language of Mac Lane and Eilenberg. The McGucken Principle, viewed as the simultaneous generator of the source-pair (M_G, D_M), defines the category McG directly. Inside McG every Klein pair of physical relevance — Lorentz/Poincaré, conformal, gauge, symplectic, unitary — embeds as a sub-object, and the categorical morphisms between them are precisely the structural correspondences (Wick rotation, geometric quantization, gauge covariantization) that physicists construct by hand in the standard formulation . The source law plays the role of the universal morphism: every arrow in McG is an instance of dx₄/dt = ic acting on its co-generated source-pair.

Why the Two Routes Agree. The two routes are not two competing derivations whose agreement requires explanation; they are two faithful translations of the same source law into two languages. The group route fixes the symmetry of a single physical region by isolating the invariance group of dx₄/dt = ic. The category route fixes the relations between regions by exhibiting McG as the category in which those regions appear as objects and those relations as morphisms. Yet both descend, step by step, from the same one-line law: in Route 1 the law is the invariance criterion; in Route 2 the law is the source of objects and morphisms. They agree on the recovered geometry because they cannot disagree — the recovered geometry is, in both cases, the geometry of dx₄/dt = ic itself.

Together, the two routes constitute a double completion: the Erlangen Programme is finished simultaneously in group theory and in category theory, by the same axiom [67, 68]. This is not a coincidence between independent results but a structural feature of the source law — that one equation is rich enough to fix the geometry under both criteria, the symmetry-classification of 1872 and the categorical organization of 1945.

Mathematical Physics on a Categorical Foundation.

The consequence for mathematical physics is structural rather than merely notational. Standard formulations posit each arena — Minkowski space, Hilbert space, phase space, gauge bundle, Fock space, operator algebra — as a separate object, with morphisms (Wick rotation, geometric quantization, second quantization, Dirac factorization, gauge covariantization) added by hand. Inside McG these arenas appear as objects of one category and the morphisms as canonical functors generated by D_M. The arena hierarchy is no longer a list of axioms; it is a diagram in McG, and each arrow in the diagram is an instance of the source law.

This is what is meant by completing the Erlangen Programme: not extending its catalogue of geometries, but supplying the source from which every Klein pair arising in physics — and every arena built on such a pair — is co-generated by a single law [63, 66, 67, 68]. Klein gave the classification; Cartan, Weyl, and Ehresmann gave the differential geometry; Mac Lane, Eilenberg, and Grothendieck gave the categorical vocabulary; the McGucken Principle supplies the source from which the classified objects arise.

Why This Completion Is Unique.

Several features distinguish this completion from the partial extensions that came before it. First, it is generated by a single one-line law rather than by a list of axioms; the primitive count of the framework, examined in the next section, is one. Second, the law generates the pair (M_G, D_M) simultaneously and reciprocally — a structural feature with no precedent in the Erlangen tradition, where space and operator are always introduced separately. Third, the completion holds in two independent languages at once: the group-theoretic language of 1872 and the category-theoretic language of 1945. Fourth, the law is simultaneously a mathematical axiom — the source of the formal category McG — and a physical principle — the statement that the fourth dimension expands at the velocity of light in a spherically symmetric manner. The completion is mathematical and physical at the same time, by the same one-line equation.

It is worth emphasizing how unusual this is. Klein in 1872 had a meta-principle (geometry = invariants of a group) but no law generating the group. Hilbert in 1900 had the demand for a generating law but no candidate. The constructive programme of the twentieth century supplied region-specific axiomatic systems but no unifying source. The Erlangen Programme stood open for 154 years, the Sixth Problem for 126. The McGucken Principle closes both at once, in both languages, with one equation. That convergence — one law completing two long-standing programmes in two independent formal frameworks — is the structural fact celebrated in this section.

With the categorical foundation in place we may now ask the quantitative question Hilbert posed first: how many independent primitives does the McGucken framework actually require? We turn to that count in the next section.

7. Comparative Axiomatics: Counting Primitives

Hilbert’s first demand on the Sixth Problem was that the axiomatization proceed “by a small number of axioms.” To make this requirement quantitative we count independent primitive structures: objects, relations, or operators that must be specified before any theorem can be stated. We count a law as one primitive only when its variables are quantities defined elsewhere in the framework; if the variables are themselves uninterpreted symbols, they are also primitives. By this rule, Newton’s F = ma is one primitive law over the previously defined kinematic primitives (position, time, mass), not four primitives {F, m, a, =}. The McGucken Principle is one primitive law over the kinematic primitives (x₄, t) and the constants (i, c), all of which are previously available in any physics curriculum.

Table 7.1 below tabulates the count for the major foundational programmes of the twentieth and early twenty-first centuries. The qualitative point is that no prior programme reaches one primitive; the McGucken Principle does.

Programme	Year	Count	Primitives	Derives arena?
Newton (mechanics)	1687	4+	absolute space, absolute time, mass, force law	No (space & time given)
Hilbert (1899) geometry	1899	5 groups	incidence, order, congruence, parallels, continuity	Plane only
Kolmogorov (probability)	1933	3 + 4	sample space, σ-algebra, measure; K1–K4	No (sample space given)
von Neumann (QM)	1932	5+	Hilbert space, observables, states, evolution, measurement	No (H given)
Wightman / Gårding–Wightman (QFT)	1956 / 1964	6	Hilbert space, Poincaré rep, vacuum, fields, locality, spectrum	No (Minkowski given)
Haag–Kastler (algebraic QFT)	1964	4 + 4 axioms	net of C*-algebras + isotony, locality, covariance, spectrum	No (Minkowski given)
Causal sets	1987	2	set, partial order	Lorentzian causal structure only
Spectral triples (Connes)	1980s	3	algebra A, Hilbert space H, Dirac operator D	Geometry only; no QM dynamics
McGucken Principle	2008–2026	1	dx₄/dt = ic*	Yes (M_G, H, D_M)

Table 7.1. Primitive count and arena-generation status of foundational programmes.

Two clarifications. First, the count assigned to McGucken is one only if the symbols (x₄, t, i, c) are taken from prior physical and mathematical vocabulary—the same way F, m, a are taken in F = ma. To insist they be re-derived from outside is to demand the law be derived, which Hilbert’s notion of axiomatization does not require (“the axioms so set up are at the same time the definitions of those elementary ideas”). Second, the entry under “derives arena” is the distinguishing feature: every other entry takes the manifold or the Hilbert space as a separate primitive in addition to its dynamical axioms. The McGucken Principle generates both arena and dynamics from a single law, which is exactly the structural step Hilbert’s Sixth Problem requires.

8. The Derivation Lattice: How Physics Emerges from dx₄/dt = ic

We outline the principal derivation chains. Each is established as an explicit theorem chain in McGucken’s papers—general relativity in , quantum mechanics in , the joint GR–QM unification in , thermodynamics and the second law in [31, 62], the symmetries and the Erlangen completion in , the action and the Lagrangian in , spacetime’s foundational atoms together with its sphere–amplituhedron structure in , the source-pair reciprocal generation in [26, 27, 64, 65, 66], and the joint Space–Operator co-generation underwriting the categorical foundation in [63, 67, 68]. We present the structure rather than the full computation, as the latter occupies several hundred pages across the source documents.

8.1 Special Relativity. From the Minkowski metric ds² = dx² − c²dt², the master equation u^μ u_μ = −c² follows, expressing that every object’s four-velocity has fixed magnitude c. The four-velocity budget |dx₄/dτ|² + |dx/dτ|² = c² yields, by elementary algebra, time dilation dt/dτ = γ, length contraction L = L₀/γ, mass-energy equivalence E₀ = mc² (from the temporal component of four-momentum p₄ = iγmc = iE/c), and the Lorentz transformation. None of these are postulates; all follow from dx₄/dt = ic by direct calculation. The full derivation, with the Lorentz transformation obtained as an explicit theorem rather than a postulate, is presented in McGucken [28, 56, 57].

8.2 General Relativity. The McGucken-Invariance Lemma asserts that dx₄/dt is metric-independent: ∂(dx₄/dt)/∂g_μν = 0. This forces the Christoffel symbols carrying both lower indices in the x₄ direction to vanish, Γ^λ₄₄ = 0 (writing 4 as shorthand for x₄), and reduces the connection on the McGucken hypersurface to a Levi-Civita connection on the spatial metric. The geodesic principle S = −mc ∫ √−g_μν ẋ^μẋ^ν dλ emerges as the variational extremum of proper-time arc length along x₄. The Einstein field equations G_μν + Λg_μν = (8πG/c⁴) T_μν follow by Lovelock’s 1971 uniqueness theorem (the unique divergence-free symmetric (0,2)-tensor in 4D constructed from the metric and its first two derivatives is G_μν + Λg_μν) with the coupling κ = 8πG/c⁴ fixed by the Newtonian limit. The McGucken Principle supplies what Lovelock requires: the 4-dimensional Lorentzian metric arena, generated by integration of the McGucken Axiom dx₄/dt = ic. Schwarzschild geometry, gravitational time dilation, redshift, light bending Δφ = 4GM/c²b, the Mercury perihelion precession Δφ = 6πGM/c²a(1 − e²), gravitational waves (transverse-traceless polarizations only), the FLRW cosmology, and Bekenstein–Hawking thermodynamics all follow as downstream theorems. Each of these is given an explicit theorem-chain derivation from dx₄/dt = ic in McGucken , with the joint GR–QM unification developed in and the underlying Light–Time–Dimension framework in .

8.3 Quantum Mechanics. The wave equation □ψ = 0 follows from Huygens’ principle applied to the spherically symmetric expansion of x₄. The de Broglie relation p = h/λ expresses the x₄-phase accumulated per unit of spatial motion; the Planck–Einstein relation E = hν expresses one quantum of action per x₄-cycle; the Compton frequency ω_C = *mc*²/ℏ expresses the rest-mass *x*₄-oscillation rate. From the Klein–Gordon equation (factored from the mass-shell condition *E*²/*c*² − |pp|² = *m*²*c*²) the non-relativistic limit yields the Schrödinger equation iℏ ∂*ψ*/∂*t* = *Ĥψ*. The Dirac equation arises as the Clifford-square-root of Klein–Gordon, with the matter orientation condition (an even-grade multivector in Cl(1,3) carrying matter *x*₄-orientation at Compton frequency) yielding spin-1/2 via 4π-periodicity of the spinor representation. The canonical commutator [q̂q̂, p̂p̂] = iℏ follows by Stone’s theorem on the Hamiltonian side and by path-integral derivation on the Lagrangian side. The Born rule *P* = |*ψ*|² emerges as the unique phase-invariant quadratic measure on complex amplitudes—complex because of the i in *dx*₄/*dt* = i*c*. Tsirelson’s bound 2√2, the path integral ∫*𝒟x* exp(i*S*/ℏ) (as iterated McGucken Spheres), and second quantization with Pauli exclusion (via the same 4π-periodicity that produced spin) all follow. The full derivation of quantum mechanics from *dx*₄/*dt* = i*c*—wave equation, de Broglie, Planck–Einstein, Klein–Gordon, Schrödinger, Dirac, canonical commutator, and Born rule—is given as a theorem chain in McGucken , with the joint GR–QM unification in .

8.4 The Hilbert Space Itself. The complex Hilbert space, which von Neumann had taken as primitive, is now derived. The i in dx₄/dt = ic supplies complex amplitudes ψ(x) ~ exp i(k · x − ωt). The spherical structure S_M(τ) supplies linear superposition. The spherical measure on the McGucken sphere supplies the inner product ⟨ψ|φ⟩ = ∫ ψ** φ* d³x. Completion under the resulting norm yields H = L²(R³); the tensor/Fock construction yields multi-particle Hilbert space. The von Neumann arena is no longer primitive; it is downstream of dx₄/dt = ic. The explicit co-generation of the joint Space–Operator pair, of which the complex Hilbert space is the spherical specialization, is the subject of McGucken [63, 64, 65].

8.5 The Operator Hierarchy. Quantization of the McGucken operator yields iℏD_M, the constraint linking energy and the fourth momentum. Lorentzian projection (∂₄ = −i ∂ₜ/c) converts the Euclidean Δ₄ into the d’Alembertian □_M = ∂ₜ² − c²Δ. The Clifford square-root yields the Dirac operator D_DM = γ^μ D_μ. Gauge covariantization D_μ → ∇μ = ∂μ + A_μ yields the gauge connection. Each of these—the Schrödinger operator, the d’Alembertian, the Dirac operator, the gauge covariant derivative—is a downstream descendant of D_M, which is itself co-generated with M_G from the McGucken Axiom dx₄/dt = ic. The operator hierarchy as a theorem chain—and the symmetry derivations on which it rests—are developed in McGucken [27, 59, 65, 66].

8.6 Thermodynamics, the Five Arrows of Time, and Black-Hole Entropy. Thermodynamics, traditionally axiomatized independently of mechanics, is on the McGucken framework a deductive consequence of the same source-law that generated S_M(τ) and D_M. McGucken (2026e) presents the full chain as eighteen theorems in four groups; we organize them here by their position in the operator-space hierarchy.

(a) Foundations on S_M(τ) (Th 1–6). The wave equation (1/c²)∂²ψ/∂t² − ∇²ψ = 0 follows (Th 1) by applying Huygens’ principle to the spherical expansion R(t) = ct driven by x₄. The spatial isometry group ISO(3) = SO(3) ⋉ R³ is the algebraic content (Channel A, Th 2); the Huygens-wavefront propagation on S_M(τ) is the geometric content (Channel B, Th 3). Compton coupling ω_C = *mc*²/ℏ (Th 4) connects rest mass to *x*₄-cycle rate. The spatial projection of the *x*₄-driven displacement is instantaneously isotropic (Th 5), and iterated isotropic displacements yield Brownian motion with Wiener variance Var(rr(*t*)) = 6*Dt* (Th 6). All six are direct consequences of *D_M* acting on *S_M*(τ).

(b) Closure of Einstein’s three statistical-mechanical gaps (Th 7–10). Einstein’s 1903–1911 attempts to derive the second law from mechanics left three gaps: T1, the choice of probability measure was postulated rather than derived; T2, the ergodic hypothesis is generically false (KAM theorem, 1954–1963); T3, the second law was statistical rather than strict, requiring an auxiliary Past Hypothesis. The McGucken framework closes each:

• T1 closed by Th 7. The unique left-invariant probability measure on the spatial isometry group ISO(3) is the Haar measure (Haar 1933) . On S_M(τ) this is the rotationally invariant spherical measure used to define ⟨ψ|φ⟩ in §8.4. The Liouville measure is no longer postulated; it is fixed uniquely by the symmetry generated by D_M.

• T2 closed by Th 8. On the Huygens wavefront S_M(τ), the time-average of any observable along the wavefront equals its ensemble-average over the Haar measure on ISO(3); ergodicity is a geometric identity, not a hypothesis to be checked against KAM obstructions. The wavefront structure of the McGucken sphere supplies what Birkhoff’s 1931 theorem could only assume.

• T3 closed by Th 9 and Th 10. By Th 5 the spatial projection of D_M-driven x₄-displacement is isotropic; by Th 6 iterated isotropic displacements give a Gaussian density ρ(r, t) = (4πDt)^−3/2 exp(−|r|²/(4Dt)). The Boltzmann–Gibbs entropy S(t) = −k_B ∫ ρ ln ρ d³r evaluates to (3/2)k_B[1 + ln(4πDt)], and direct differentiation gives dS/dt = (3/2)k_B/t > 0 strictly, for all t > 0. The second law is no longer statistical (“overwhelmingly probable to increase”); it is a geometric identity following from the Gaussian spreading forced by D_M. Th 10 supplies the photonic analogue: for a spherical photon shell of radius ct the entropy is S(t) = k_B ln(4π(ct)²), dS/dt = 2k_B/t > 0.

It is worth contrasting this derivation with the parallel programme of rigorous hydrodynamic limits. Deng, Hani, and Ma (arXiv:2503.01800, 3 March 2025) proved that Newton’s equations for a hard-sphere gas converge, on the 2D and 3D torus, to solutions of the Boltzmann equation; combined with the Boltzmann-to-fluid theorems of Bardos–Golse–Levermore and Saint-Raymond , this yields the compressible Euler and incompressible Navier–Stokes–Fourier equations as scaling limits of microscopic Newtonian dynamics. The Deng–Hani–Ma derivation and the McGucken derivation of Theorems 7–10 above are addressing different layers of Hilbert’s charge: the former derives macroscopic fluid laws from microscopic Newton on a fixed Euclidean arena, while the latter derives the Liouville measure (Th 7), ergodicity (Th 8), and the strict second law (Th 9) from D_M acting on S_M(τ)—an arena that is itself co-generated with the dynamics. The two results are complementary, and together cover both branches of the kinetic-theory subgoal Hilbert listed in 1900.

(c) The five arrows of time (Th 11–14). The thermodynamic, cosmological, radiative, psychological/biological, and quantum-measurement arrows are projections onto the spatial slice of the single +ic-directed expansion dx₄/dt = ic (Th 11). Loschmidt’s reversibility paradox is dissolved (Th 12) by the McGucken Duality: Channel A (algebra) is time-symmetric, but Channel B (geometric propagation on S_M(τ)) is monotone in x₄. The Past Hypothesis is dissolved (Th 13) because the x₄ origin at R = 0 is geometrically the lowest-entropy state; no 10^−10123 initial-condition fine-tuning (Penrose 1979) is required. Th 14 supplies the explicit Compton-coupling diffusion Dₓ^(McG) = ε²c²Ω/(2γ²) — the x₄-driven diffusion coefficient that appears in Appendix B as prediction (P2).

(d) Black-hole thermodynamics via the McGucken Wick rotation (Th 15–18). Define the McGucken Wick rotation τE = *x*₄/*c*; this removes the i from the law (*dτ*_E/*dt* = 1) and produces a Euclidean four-manifold on which the operator structure is real. At a Killing horizon, *x*₄-stationary modes are Planck-quantized at one mode per *ℓ*P², yielding the Bekenstein–Hawking entropy S_BH = k_BA/(4ℓ_P²) (Th 15). The Euclidean cigar period fixes the Hawking temperature T_H = ℏκ/(2πck_B) (Th 16). Th 17 gives the generalized second law dSₜₒₜₐₗ/dt = dS_matter/dt + (k_B/(4ℓ_P²))dA/dt ≥ 0; Th 18 specializes the FRW cosmological signature ρ²(t_rec) ≈ 7. The Wick rotation τ_E = *x*₄/*c* is exactly the inverse of the i that makes *D_M* tangent to the McGucken hypersurface; black-hole thermodynamics is therefore not an additional axiom (as in semiclassical gravity) but a direct consequence of the imaginary structure of the source-law.

We summarize the closure of Einstein’s three gaps:

Gap	Standard problem	McGucken closure	Theorem
T1	Liouville measure postulated	Haar measure on ISO(3)	Th 7
T2	Ergodicity false (KAM)	Huygens wavefront = ensemble	Th 8
T3	dS/dt ≥ 0 statistical; requires Past Hypothesis	dS/dt = (3/2)k_B/t > 0 strict, geometric	Th 9, 10, 12, 13

Table 7.1. Closure of Einstein’s three statistical-mechanical gaps by the McGucken framework.

Notation bridge. McGucken (2026e) writes the future light cone as Σ₊(p₀) with R(t) = c(t − t₀); this is the same surface we have called the McGucken sphere S_M(τ) with radius cτ. Theorem 3 (Huygens propagation), Theorem 8 (wavefront ergodicity), and Theorem 10 (photon entropy via the 4π(cτ)² area) all live on S_M(τ). The diffusion of Theorem 14 follows from quantizing iℏD_M at the Compton frequency ω_C. Thermodynamics is thus not appended to the framework; it is the statistical content of *D_M* acting on *S_M*(τ).

9. Explicit Derivations: Lorentzian Signature, Lovelock Closure, the Born Rule, and the Strict Second Law

The derivation lattice of §8 sketched the chains by which the canonical content of twentieth-century physics descends from the McGucken Principle. To meet Hilbert’s requirement that “the correctness of the solution” be establishable “by means of a finite number of steps,” we now exhibit three of the most foundationally sensitive derivations in full. The Lorentzian signature is what distinguishes spacetime from a Riemannian 4-manifold; the Lovelock closure is what fixes the Einstein tensor uniquely; the Born rule is what identifies |ψ|² as a probability. Each is derived from dx₄/dt = ic below in a self-contained calculation.

9.1 Lorentzian Signature from the Imaginary Unit

Claim. The metric induced by the McGucken Principle on R⁴ with coordinates (t, x) has signature (−, +, +, +).

Derivation. Take the Euclidean line element on the four coordinates (x₄, x¹, x², x³):

dσ² = dx₄² + (dx¹)² + (dx²)² + (dx³)².

This is unambiguously positive-definite: it is the standard inner product on R⁴. Now apply the McGucken Principle. Differentiating x₄ = ict gives dx₄ = ic dt, and therefore dx₄² = (ic)²dt² = −c²dt². Substituting:

ds² = −c²dt² + dx².

This is the Minkowski line element with signature (−, +, +, +). The negative sign in front of c²dt² is not a separately postulated convention; it is a calculated consequence of i² = −1 applied to the rate dx₄/dt = ic. The light cone, the causal partial order, and the distinction between timelike, null, and spacelike vectors all follow from this single sign. □

Remark. The same derivation, with i replaced by 1, would have produced a Riemannian (Euclidean) 4-manifold with no light cones. This is what Wick rotation is: the formal substitution t → −iτ that converts a Minkowskian path-integral into a Euclidean one. From the McGucken viewpoint Wick rotation is not a trick but the inverse of the McGucken substitution: x₄ = ict is what gives ordinary spacetime its Lorentzian character; un-doing the i returns it to Euclidean form. This signature derivation is part of the original Light–Time–Dimension framework and is used in the GR derivation chain and the GR–QM unification .

9.2 Lovelock’s Theorem and the Closure of the Field Equations

Theorem (Lovelock 1971) . Let M be a 4-dimensional smooth Lorentzian manifold and let A_μν(g) be a symmetric (0,2)-tensor that is (i) constructed locally from the metric g_μν and its first two derivatives, (ii) divergence-free: ∇^μA_μν = 0. Then A_μν = α G_μν + β g_μν for some constants α, β, where G_μν = R_μν − ½ g_μνR is the Einstein tensor.

Sketch of proof. The Riemann tensor and its contractions (R_μνρσ, R_μν, R) are the only symmetric (0,2)-tensor expressions polynomial in g and quadratic in ∂g that transform as tensors in dimension four. The most general such expression is aR_μν + bRg_μν + cg_μν. Imposing the contracted Bianchi identity ∇^μ(R_μν − ½ g_μνR) = 0 fixes b = −a/2, yielding aG_μν + cg_μν. Higher-derivative or higher-order curvature terms vanish identically in n = 4 by Lovelock’s combinatorial identity for the Lanczos–Lovelock densities. □

Closure of GR from McGucken. What Lovelock requires is exactly what the McGucken Principle supplies. (i) The 4-dimensionality is manifest in the four-coordinate structure (t, x) of the principle. (ii) The Lorentzian signature is calculated in §9.1. (iii) Diffeomorphism invariance follows from the McGucken-Invariance Lemma (§8.2): ∂(dx₄/dt)/∂g_μν = 0 means dx₄/dt = ic is a scalar law insensitive to the choice of metric, hence its action principle is diffeomorphism-invariant. (iv) The geodesic action S = −mc ∫ √−g_μν·ẋ^μẋ^ν dλ is the variational extremum of proper-time arc length on Σ_M. Lovelock’s theorem then closes the deduction: the unique field equation derivable from the McGucken hypersurface and divergence-freeness in 4D is G_μν + Λg_μν = (8πG/c⁴)T_μν, with the Newtonian limit fixing the constant 8πG/c⁴ and observation bounding Λ. The full Einstein-equation derivation chain—Lovelock-uniqueness applied on the McGucken hypersurface, with Schwarzschild, FLRW, light-bending, perihelion precession, and gravitational-wave polarizations as downstream theorems—is presented in McGucken , with the action and Lagrangian formulation in and the joint GR–QM unification in .

9.3 The Born Rule via Symmetry of the Spherical Measure

Claim. The probability assigned to outcome corresponding to state |φ⟩, given system in |ψ⟩, is P(φ|ψ) = |⟨φ|ψ⟩|².

Derivation. The McGucken sphere S_M(τ) of radius cτ carries the unique rotation-invariant (Hausdorff) probability measure μ_SM. By the co-generation of *D_M* with *S_M* (Theorem 5.1) and the wave equation □ψ = 0 derived in §8.3, every physically realizable amplitude ψ is a complex-valued function on *S_M*. The space of square-integrable amplitudes is *L*²(*S_M*, μ_SM) with inner product ⟨φ|ψ⟩ = ∫ φ^*ψ *dμ*_SM; this is the spherical specialization of the complex Hilbert space derived in §8.4.

We now invoke Gleason’s theorem (1957) : any σ-additive probability measure ν on the lattice of closed subspaces of a separable complex Hilbert space of dimension ≥ 3 is of the form ν(P) = tr(ρP) for a unique density operator ρ. For pure states ρ = |ψ⟩⟨ψ|, this gives ν(P_φ) = |⟨φ|ψ⟩|², the Born rule.

What the McGucken Principle supplies. Gleason’s theorem requires (a) a complex Hilbert space of dimension ≥ 3 and (b) the requirement that probability is σ-additive on closed subspaces. (a) is supplied by §8.4 (the McGucken sphere yields infinite dimension via spherical harmonics). (b) is supplied by the geometry of S_M: rotation invariance forces the measure to be σ-additive (it is μ_SM itself). The Born rule is therefore not a postulate of quantum mechanics in the McGucken framework but a theorem: the unique phase-invariant quadratic probability measure on the sphere of complex amplitudes generated by the McGucken Principle. □ The full derivation, including the sphere–amplituhedron correspondence and the symmetry argument that fixes the unique measure, is presented in McGucken [58, 59, 60].

9.4 Gauge Connection from Covariantization of D_M

Claim. The gauge-covariant derivative ∇μ = ∂μ + iqA_μ/ℏ arises uniquely from local U(1) covariantization of D_M, and the Yang–Mills connection arises by the obvious extension to SU(N).

Derivation. Under a global phase rotation ψ → e^iαψ (with α constant), the McGucken operator D_M commutes with the transformation: D_M(e^iαψ) = e^iα(D_Mψ). Promote α to a function α(x): now D_M(e^iα(x)ψ) = e^iα(D_M + i∂μα)ψ, and the operator no longer commutes. To restore covariance we introduce a 1-form field *A*μ transforming as A_μ → A_μ − (ℏ/q)∂μα and replace ∂μ by ∇μ = ∂μ + iqA_μ/ℏ. This is the unique minimal coupling consistent with local U(1) gauge invariance and reproducing the Maxwell equations (via F_μν = ∂μ*A*ν − ∂ν*A*μ) when the action − (1/4) F_μνF^μν is added. Replacing U(1) by SU(N) yields the non-abelian A_μ = A_μ^aT^a and the corresponding Yang–Mills field strength F_μν^a = ∂_[μA_ν]^a + gf^abcA_μ^bA_ν^c. □ The covariantization of D_M as the source of the gauge connection, and the associated Lagrangian, are developed in McGucken [59, 61].

9.5 The Strict Second Law and Bekenstein–Hawking Entropy

We give two explicit derivations: the strict second law dS/dt = (3/2)k_B/t from D_M-driven Brownian motion, and the Bekenstein–Hawking entropy S_BH = k_BA/(4ℓ_P²) from the McGucken Wick rotation.

Claim 1 (Strict second law). For an ensemble of test particles subject only to D_M-driven isotropic spatial displacement, the Boltzmann–Gibbs entropy satisfies dS/dt = (3/2)k_B/t > 0 for all t > 0.

Derivation. By Theorem 5 of McGucken (2026e), the spatial projection of the x₄-driven displacement at any instant is isotropic on the spherical wavefront. By Theorem 6, iterated isotropic displacements give Wiener-process motion: Var(r(t)) = 6Dt, with the diffusion constant D fixed by the Compton-coupling formula of Theorem 14. The probability density of the test ensemble is therefore the Gaussian fundamental solution of the heat equation:

ρ(r, t) = (4πDt)^−3/2 exp(−|r|²/(4Dt)).

Substitute into the Boltzmann–Gibbs entropy:

S(t) = −k_B ∫ ρ(r, t) ln ρ(r, t) d³r.

Using ln ρ = −(3/2) ln(4πDt) − |r|²/(4Dt), the integral splits into the normalization piece and the second-moment piece. The first gives (3/2)k_B ln(4πDt); the second uses ∫ |r|²ρ d³r = 6Dt and yields (3/2)k_B. Adding:

S(t) = (3/2)k_B[1 + ln(4πDt)].

Differentiating with respect to t:

dS/dt = (3/2)k_B(1/t) > 0.

The inequality is strict for every finite t > 0, with no appeal to the Past Hypothesis, no ergodic hypothesis, and no coarse-graining. The second law is the rate at which D_M-driven Gaussian spreading on S_M(τ) widens the spatial-projection support. □

Remark on Loschmidt. The Loschmidt reversibility paradox (1876) observes that any Hamiltonian dynamics is time-reversal symmetric, hence cannot derive a strict dS/dt > 0. The McGucken resolution (Theorem 12) is that the spatial Hamiltonian channel (Channel A) is indeed reversible, but it is not the only channel: the geometric expansion R(t) = ct on S_M(τ) (Channel B) is monotone in x₄ by definition of the McGucken Principle. Boltzmann’s H-theorem (1872) and the Loschmidt objection both concern Channel A alone; Channel B supplies the geometric monotonicity they were missing. The strict inequality of Claim 1 is a Channel-B identity, not a Channel-A theorem.

Claim 2 (Bekenstein–Hawking entropy [36, 37]). A Killing horizon of area A in the McGucken hypersurface carries entropy S_BH = k_BA/(4ℓ_P²), where ℓ_P = (ℏG/c³)^1/2 is the Planck length.

Derivation. The argument has six steps.

Step 1 (Horizon as x₄-stationary surface). A Killing horizon is the locus where a timelike Killing vector becomes null. In McGucken-coordinates this is the locus where the x₄-component of motion vanishes for stationary observers; the horizon is x₄-stationary in the instantaneous co-moving frame.

Step 2 (McGucken Wick rotation). Define τE = *x*₄/*c* = i*t*. Then *dτ*_E/*dt* = 1 and the McGucken Operator becomes the real elliptic operator *D_M*^(E) = ∂ₜ + ∂τE. The Lorentzian metric becomes the Euclidean Riemannian metric dσ² = dτ_E² + *d***x**².

Step 3 (Euclidean cigar). Near the horizon, the Euclideanized metric is dσ² = κ²ξ²dθ² + dξ² + dA, with ξ the proper distance to the horizon and κ the surface gravity. Regularity at ξ = 0 (no conical singularity) requires θ to be periodic with period 2π/κ; the Euclideanized time circle is the cigar.

Step 4 (Hawking temperature). The Matsubara identification β = 1/(k_BT) = 2π/κ in natural units, with the ℏ and c restored from τ_E = *x*₄/*c*:

T_H = ℏκ/(2πck_B).

This is Theorem 16; it falls out of the Wick rotation without a separate quantization of the matter field.

Step 5 (Mode counting at the Planck density). On the Euclidean horizon the x₄-stationary modes are quantized at one mode per Planck area: N(A) = A/ℓ_P². This Planck-density counting is forced by the McGucken constraint that D_M generate x₄-displacements only at the Compton scale, saturated at the Planck scale where m = m_P. Each mode contributes k_B ln 2 in the naive Bekenstein argument , but the precise normalization is fixed by Step 6.

Step 6 (First-law normalization). The thermodynamic identity dE = T_H dS_BH at the horizon, combined with the Smarr relation E = κA/(8πG) for a Schwarzschild black hole, fixes the proportionality constant:

dS_BH/dA = (κ/8πG) / (ℏκ/2πck_B) = k_Bc³/(4ℏG) = k_B/(4ℓ_P²),

yielding

S_BH = k_BA/(4ℓ_P²).

The factor of 1/4 is fixed by the Wick-rotation period of the Euclidean cigar; no additional axiom is required. The generalized second law dSₜₒₜₐₗ/dt ≥ 0 (Theorem 17) now follows by adding Claim 1 (matter entropy) to the area increase theorem of Hawking (1971) , which is itself a consequence of the McGucken hypersurface having the Lorentzian causal structure of §9.1. □

Remark. In the standard derivation of Bekenstein–Hawking the Wick rotation t → −iτ_E is performed by hand as a calculational device. In the McGucken framework it is structural: the i is already in the law *dx*₄/*dt* = i*c*, and the rotation *τ*_E = *x*₄/*c* simply reads the law in its Euclidean chart. The Hawking temperature, Bekenstein area-entropy, and generalized second law are theorems about the inverse of the same i that produced the Lorentzian signature in §9.1 and the complex Hilbert space in §8.4.

10. Why the McGucken Principle Completes the Hilbert Programme

The completion of Hilbert’s Sixth Problem requires three things. Each prior programme supplied at most two. The McGucken Principle supplies all three.

(R1) A minimal axiomatic base. Hilbert demanded “a small number of axioms.” The McGucken Principle is one equation:
dx₄/dt = ic. The constraint C_M is its integrated form. The operator D_M is its chain-rule tangent vector. The spherical structure S_M is its solution surface. These are not independent axioms; they are the law in three different presentations. By any reasonable count, the framework’s axiomatic input is one primitive law—the floor of what Hilbert could have asked.

(R2) Deductive completeness over physical phenomena. Hilbert demanded that the axioms include “as large a class as possible of physical phenomena.” The McGucken Principle generates in parallel theorem-chains: special relativity (the master equation u^μu_μ = −c² and its consequences), general relativity (the Einstein field equations via the invariance lemma and Lovelock closure), all of canonical non-relativistic and relativistic quantum mechanics (Schrödinger, Klein–Gordon, Dirac, the canonical commutator, Born rule, uncertainty, Tsirelson 2√2, path integral, gauge structure, Pauli exclusion, antimatter), the canonical solutions of GR (Schwarzschild, redshift, light bending, perihelion, gravitational waves, FLRW, black-hole thermodynamics through the generalized second law), and a quantitative cosmology with zero dark parameters. This is the full canonical content of twentieth-century theoretical physics, presented as theorems of one law.

(R3) Generation of the arena itself. This is the requirement no prior programme satisfied. Hilbert’s own 1915 action lived on a spacetime he could not generate. Kolmogorov’s probability axioms presupposed the sample space. von Neumann’s Hilbert space was primitive. Wightman’s Minkowski space was an input. Haag–Kastler’s local nets were indexed by Minkowski regions taken as given. Causal sets, twistors, and spectral triples each take 2–3 independent structures as primitive. The McGucken Principle generates the Lorentzian arena (by constraint), the complex Hilbert space (by completion of amplitudes), the operator algebra (by co-generation with D_M), and the gauge structure (by covariantization), all from one law. The arena is no longer exogenous to the dynamics.

What is solved. The Sixth Problem, as Hilbert posed it, asked: by what minimal axiomatization can probability and mechanics be founded, and the wider physics built upon them? The McGucken answer is: by one law, dx₄/dt = ic, from which the complex Hilbert space (and hence the Born rule, hence physical probability), the Lorentzian manifold (and hence mechanics, both classical and relativistic), and the operator hierarchy (and hence quantum dynamics) are all derivable. Probability is no longer a separate axiomatic edifice (Kolmogorov) imported into physics by hand; it is a theorem about the spherical measure on S_M. Mechanics is no longer a separate axiomatization (Newton, then Mach–Hertz–Boltzmann–Volkmann, then Einstein); it is the geodesic structure of the McGucken hypersurface. The unification Hilbert sought is achieved structurally, not merely conjoined.

11. Gödel’s Shadow and Why It Does Not Fall on the Sixth Problem

It is sometimes said—loosely, but persistently—that Gödel’s incompleteness theorems killed Hilbert’s programme tout court, and that no axiomatization of physics in Hilbert’s sense is therefore possible. This view is mistaken, but it is mistaken in an instructive way that deserves a section to itself. To dismiss it casually is to leave the deepest objection to the present paper unanswered; to engage it carefully is to show that the structure of the McGucken Principle is precisely what evades the obstruction.

(a) The Königsberg Conference, September 1930

On 8 September 1930, the Society of German Scientists and Physicians convened in Königsberg, Hilbert’s birthplace. Hilbert delivered his retirement address Naturerkennen und Logik (Knowledge of Nature and Logic) by radio that evening, closing with the words now carved on his tombstone in Göttingen: Wir müssen wissen, wir werden wissen. The day before, on 7 September, in a round-table discussion at the same conference, a 24-year-old Privatdozent from Vienna named Kurt Gödel had quietly announced a result whose written form, submitted to the Monatshefte für Mathematik und Physik on 17 November, would become known as the First Incompleteness Theorem. The Second Incompleteness Theorem appeared in the same paper, published in 1931. Hilbert in his radio address did not mention Gödel’s result; whether he had absorbed its full implications by 8 September is debated. What is not debated is that the theorems, once understood, dealt a blow to one specific branch of Hilbert’s programme: the branch that sought to prove the consistency of arithmetic by finitistic means.

(b) What Gödel actually proved

Stated precisely, Gödel’s theorems are statements about formal systems satisfying certain conditions. Let T be a formal system that is (i) recursively axiomatizable, (ii) consistent, and (iii) sufficiently strong to formalize Peano arithmetic (or any system in which primitive recursion can be carried out and the Hilbert–Bernays derivability conditions hold). Then:

First Incompleteness Theorem. There exists a sentence G_T in the language of T such that neither G_T nor its negation is provable in T. Equivalently: T is incomplete.

Second Incompleteness Theorem. If T is consistent and satisfies the derivability conditions, then T cannot prove its own consistency: the statement Con(T), formalized within T, is not a theorem of T.

Gödel himself, in a remark added to his 1931 paper in 1963, observed that the theorems’ generality was sharpened by Turing’s 1937 definition of formal system, and on the basis of that sharpened definition he held that they refute the Hilbert programme:

It was largely Turing’s work, in particular the precise and unquestionably adequate definition of the notion of formal system, which convinced me that my incompleteness theorems, being fully general, refute the Hilbert program.
— K. Gödel, supplemental note to Gödel 1931 added August 1963, in Collected Works (Oxford, 1986), Vol. I, p. 195.

(c) Which programme? The crucial distinction

The Hilbert programme Gödel’s note refers to is the metamathematical programme—Hilbert’s Beweistheorie—whose target was a finitistic consistency proof of arithmetic and analysis. This is the programme of Hilbert 1922, 1925, and the Hilbert–Bernays Grundlagen der Mathematik volumes (1934, 1939). It is the programme of Hilbert’s Second Problem on the 1900 list (“the compatibility of the arithmetical axioms”), extended over the next three decades into a systematic attempt to ground all of mathematics in finitary metamathematics. Gödel’s theorems strike at this branch: they show that finitary metamathematics cannot establish the consistency of any system that encodes its own arithmetic.

The Sixth Problem is a different programme. It does not ask for a consistency proof of physics within physics by finitary means. It asks for an axiomatization of physics in the manner of Euclid for geometry: a small number of axioms (ideally one), from which the structure of physical theory follows by deductive reasoning. This is Hilbert’s structural demand, repeated explicitly in 1918: the Fachwerk von Begriffen grounded in a deepening sequence of axiom layers, ultimately reducible to a layer whose internal consistency rests on the consistency of arithmetic.

	Metamathematical programme	Sixth Problem
Target	Finitary consistency proof of arithmetic / analysis	Axiomatization of physics in the manner of geometry
Object of consistency	The formal system itself	The physical theory built on the axioms
Means of proof	Finitary metamathematics (Hilbert’s Beweistheorie)	Ordinary mathematical deduction
Hilbert’s 1900 problem	Problem 2 (compatibility of arithmetic axioms)	Problem 6 (axioms of physics)
Hilbert’s key text	Über das Unendliche (1925); Hilbert–Bernays (1934)	Paris lecture (1900); Axiomatic Thought (1918); Die Grundlagen der Physik (1915)
Status after Gödel 1931	Refuted in its original finitary form	Untouched; the structural demand is not a self-referential consistency claim

Table 10.1. The two Hilbert programmes. Gödel’s theorems strike the metamathematical column; the structural-axiomatic column — the home of the Sixth Problem — is unaffected.

The conflation of the two programmes is the source of the “Gödel killed Hilbert’s programme” slogan. The obituary, properly written, applies only to the metamathematical branch; the structural-axiomatic branch—the branch the Sixth Problem belongs to—survives intact.

(d) Why the McGucken Principle is not subject to incompleteness

Even granting that the Sixth Problem is structural rather than metamathematical, one might worry: any sufficiently rich theory T derived from the McGucken Principle will satisfy the hypotheses of Gödel’s First Theorem, and will therefore contain a sentence G_T independent of T. Does this not show that the McGucken derivation cannot be “complete”?

The answer is: the completeness Gödel’s theorem denies is not the completeness Hilbert’s Sixth demands. Three observations make this precise.

(i) Different completeness. Gödel’s First Theorem says that no recursively axiomatizable consistent theory containing Peano arithmetic can prove every arithmetic truth. The McGucken Principle does not promise a proof of every arithmetic truth; it promises a derivation of the laws of physics from a single source-law. These are different claims. Lorentzian signature, the canonical commutator, the Born rule, the Einstein field equations, and the second law of thermodynamics are all structural consequences of dx₄/dt = ic; whether the theory underlying them can decide every Gödel-sentence in its arithmetic fragment is a separate question, and one Hilbert never asked of physics.

(ii) The principle is not a formal system. dx₄/dt = ic is a single first-order linear differential equation in one unknown function on R⁴ over C. Its consistency reduces trivially to the consistency of complex arithmetic and the differentiability of x₄(t) = ict + const., both of which are facts about a fixed model (C, +, ·), not statements within a formal system that encodes its own metatheory. By Hilbert’s 1918 reduction (“for the fields of physical knowledge it is sufficient to reduce internal consistency to the consistency of the arithmetical axioms”), the consistency demand is met as soon as arithmetic is consistent—a presupposition no working physicist or mathematician questions in practice.

(iii) Single-axiom systems are unaffected by independence incompleteness. Gödel’s First Theorem is fundamentally a theorem about the impossibility of capturing all arithmetic truth within any one recursively enumerable axiom system. The McGucken Principle is one axiom; the question of whether some other axiom is independent of it is trivial (anything not implied by it is independent), and the question of whether physical consequences—the canonical commutator, Lorentzian signature, the Born rule, the second law—are derivable is answered constructively in §7 and §9 of this paper. The Gödel sentence is not a physical statement; it is a self-referential arithmetic statement, and physics has never demanded that its axioms decide such statements.

These three observations are the technical content of the standard philosophical position that Gödel’s theorems do not refute Hilbert’s structural-axiomatic programme. The McGucken Principle exemplifies, in its strongest form, what such a programme can look like: one equation, with consistency manifest, generating the structural content of physics by deduction. The completeness demand of the Sixth Problem is met not by deciding every arithmetic sentence (which is impossible) but by exhibiting a single source-law from which the structural propositions of physics—those Hilbert listed in 1900 and in 1918—follow.

(e) Hilbert’s own response: 1930 and the persistence of “wir werden wissen”

Hilbert delivered his Königsberg radio address on the same day Gödel’s result was being absorbed in the same city. Whether Hilbert had fully grasped the technical content of the First Theorem on 8 September 1930 is debated by historians; what is certain is that he did not retract the Sixth Problem, and he continued, with Bernays, to develop the programme through the 1934 and 1939 volumes of Grundlagen der Mathematik. Reidar Sundvor and others have shown that the late Hilbert program incorporated extensions beyond strict finitism (Gentzen’s consistency proof of 1936 used transfinite induction up to ε₀) and remained, in revised form, viable for many of its goals. The Sixth Problem was never one of those goals Hilbert renounced, because it was never structurally a self-referential consistency claim.

Gödel himself, late in life, kept a small chamber in his Princeton cosmology adjacent to questions of physical foundations. His 1949 rotating-universe solution to the Einstein field equations — Gödel’s universe, with its closed timelike curves — was offered as a contribution to the foundations of physics, not as evidence that physics is foundationally impossible. The received “Gödel refuted Hilbert” slogan would have puzzled both men. The Hilbert programme Gödel refuted is not the Sixth Problem. The Sixth Problem remained open until, this paper argues, it was closed by exhibiting a single source-law for physics.

Verdict. The shadow of Gödel’s incompleteness theorems falls on the metamathematical wing of Hilbert’s programme, not on the structural axiomatization of physics. The McGucken Principle supplies the structural axiomatization in the most extreme form compatible with Hilbert’s 1900 and 1918 demands: one axiom, with consistency reducible to the consistency of arithmetic, generating the structural propositions of physics by deduction. Gödel’s obstacle is real, but it lies elsewhere; it does not block the completion of the Sixth.

12. Objections and Replies

Objection 1: The McGucken Principle is merely Minkowski’s x₄ = ict reread. If the framework produces no observable distinct from standard SR + GR + QM, then it is a foundational reframing rather than new physics.

Reply. The objection conflates Minkowski’s static algebraic identity with the McGucken Principle, which is a different and deeper statement. Minkowski wrote x₄ = ict as a notational convenience for converting a Lorentzian signature to Euclidean form, and explicitly disavowed any physical reading of the imaginary fourth coordinate. The McGucken Principle dx₄/dt = ic asserts something Minkowski never claimed and that no textbook of special relativity contains: that the fourth dimension is physically, dynamically, geometrically expanding at the velocity of light, in a spherically symmetric manner from every spacetime event. Minkowski’s x₄ = ict is the integrated algebraic shadow that one obtains from the McGucken Principle by differentiation in reverse, with the dynamical and geometric content stripped away; it is not the McGucken Axiom dx₄/dt = ic itself. The deeper physics, and the entire derivation lattice of §8–10, lives in dx₄/dt = ic, not in x₄ = ict.

Even granting the weaker claim that the framework is a foundational reframing rather than new phenomenology, that is precisely what the Sixth Problem demanded. Hilbert did not ask for new physics; he asked for an axiomatic foundation of existing physics. A completion of the Sixth Problem that derives all of canonical physics from one law — regardless of whether it predicts new phenomena — is exactly what Hilbert demanded. That said, McGucken’s papers do offer falsifiable predictions: a no-graviton claim (gravity is purely spatial curvature with no quantum mediator, testable via Bose-Marletto-Vedral entanglement-via-gravity experiments), a Compton-coupling diffusion Dₓ = ε²c²Ω/(2γ²) with mass-independent zero-temperature residual, and a zero-dark-parameter cosmology (w₀ = −0.983 claimed within 1% of DESI-BAO; baryonic Tully-Fisher slope = 4; specific SPARC RAR fits). These are testable and refutable, and their resolution will determine whether the framework is also new physics, or only foundational.

Objection 2: Lovelock 1971 does the work in deriving the Einstein field equations. If the field equations follow from any 4D metric theory satisfying diffeomorphism invariance, then the McGucken Principle is not specifically responsible for them.

Reply. Lovelock’s theorem is a uniqueness lemma; it does not generate its own preconditions. Lovelock requires (a) a 4-dimensional manifold, (b) a Lorentzian metric, (c) diffeomorphism invariance, and (d) a divergence-free symmetric (0,2)-tensor built from the metric and its first two derivatives. The McGucken Principle supplies (a) by the four-coordinate structure of x₄; (b) by integration of dx₄/dt = ic producing the Lorentzian signature on Σ_M; (c) by the McGucken-Invariance Lemma (dx₄/dt metric-independent forces general covariance); and (d) by the geodesic principle on Σ_M. Lovelock then closes the deduction by uniquely fixing the form of the field equations. This is no more “outsourcing” than Einstein invoking the Bianchi identities or Hilbert invoking the calculus of variations: a uniqueness lemma is an admissible step of the deduction, not a competing source.

Objection 3: Why exactly four dimensions, why Lorentzian, why i, why c? Each of these appears in the McGucken Axiom dx₄/dt = ic as a chosen primitive feature.

Reply. The answer is that the McGucken Axiom dx₄/dt = ic is one equation. The symbols inside it—x₄, the differential d/dt, the constants i and c—are not independent axioms, in the same sense that F = ma is one equation rather than four primitives {F, m, a, =}. The relevant comparison is to rival foundational programmes: causal sets require two independent primitives (a set and an order relation); spectral triples require three (algebra, Hilbert space, Dirac operator); Wightman QFT requires five or more (Lorentzian manifold, Hilbert space, operator-valued distributions, locality, Poincaré covariance). The McGucken Principle requires one equation, and the dimensional count, signature, complex unit, and rate are not tunable choices—they are the variables of the law. To pose “why four” or “why i” as objections to the framework is to ask for a derivation of the law itself, which is not what an axiomatization provides. Hilbert did not derive his geometric axioms; he stated them and showed what followed. The McGucken Principle does the same.

Objection 4: The Lorentzian signature is imported via i, not derived. The substitution x₄ = ict is what produces the negative sign in ds²; without it one obtains a 4D Riemannian (Euclidean) manifold with no light cones.

Reply. Correct, and this is part of the law’s content. The Lorentzian signature is precisely what i in dx₄/dt = ic establishes. To demand a derivation of i from outside the law is to demand the law be derived; this is the same as objecting that Newton did not derive his second law from a deeper principle. The Lorentzian signature is a consequence of the specific form of dx₄/dt = ic, just as the existence of light cones is. To say “i imports Lorentzian signature” is to describe how the principle works, not to identify a flaw.

Objection 5: Gödel’s incompleteness theorems killed Hilbert’s programme; nothing can complete it.

Reply. §10 of this paper is devoted to a full treatment of this objection—the Königsberg conference of September 1930, the precise scope of Gödel’s First and Second Theorems, the distinction between Hilbert’s metamathematical programme (Beweistheorie, refuted by Gödel) and the structural axiomatization of physics demanded by the Sixth Problem (untouched by Gödel), and three technical reasons the McGucken Principle is not subject to incompleteness. We summarize: Gödel’s theorems show that no sufficiently strong formal system can prove its own consistency by means internal to itself. They do not show that physical theories cannot be founded on a minimal axiomatic base. The Sixth Problem’s demand is structural, not metamathematical, and the McGucken Principle—a single first-order linear differential equation whose consistency reduces to the consistency of complex arithmetic—meets that demand in the most extreme form Hilbert’s 1900 and 1918 framings allow.

13. Conclusion

Hilbert posed the Sixth Problem at the moment when classical physics seemed complete and quantum mechanics did not yet exist. Over the subsequent century, the problem was attacked by the greatest mathematical physicists of the era—by Hilbert himself, by Kolmogorov, by von Neumann, by Wightman, by Haag and Kastler, by Glimm and Jaffe—and each attack produced a regional axiomatization without supplying the source-law. The arena of physics remained exogenous to the axioms governing physics within it.

The McGucken Principle dx₄/dt = ic closes this gap. It is one equation. From it follow, by integration and differentiation, the McGucken hypersurface (which is Minkowski spacetime), the McGucken Operator (which is the source of every operator in physics from Schrödinger to Dirac to gauge), the complex Hilbert space (by completion of amplitudes whose complex character traces to the i in the law), and the operator algebra acting on it. Special relativity is the kinematics of the law’s geometry; general relativity is its variational extension; quantum mechanics is its complex-amplitude wave structure; the canonical commutator and Born rule are theorems of the same source.

This is what Hilbert asked for. “By a small number of axioms” — one. “As large a class as possible of physical phenomena” — the canonical content of twentieth-century physics, both classical and quantum, both mechanical and probabilistic. “In the same manner” as geometry — with the source-law generating the arena, as Euclid’s postulates generate the plane.

On 8 September 1930 in Königsberg, Hilbert closed his radio address with the words now carved on his tombstone: Wir müssen wissen — wir werden wissen. We must know — we will know. The Sixth Problem was the most audacious of his twenty-three: that physics could be founded on axioms in the manner of geometry, that probability and mechanics could be reduced to a small primitive base, that the arena and the dynamics could be unified in a single deductive structure. For 126 years, the problem remained open. It is open no longer.

Appendix A. Derivation of the Lorentz Transformation from dx₄/dt = ic

To make the claim that special relativity descends from the McGucken Principle as a theorem rather than as a postulate-set, we exhibit the derivation in full. The argument occupies four short steps; no assumption beyond dx₄/dt = ic and the identification x₄ = ict is used.

Step 1 (Four-velocity normalization). A worldline parameterized by proper time τ has four-velocity u^μ = dx^μ/dτ. From x₄ = ict and the McGucken Principle:

u₄ = dx₄/dτ = ic dt/dτ = icγ.

Squaring and using the Euclidean inner product on the imaginary chart (x₄, x):

u_μu^μ = u₄² + |u|² = −c²γ² + γ²|v|² = −c²,

the standard relativistic normalization. The factor γ = (1 − v²/c²)^−1/2 is forced by this identity, not assumed: solving the budget equation gives γ directly.

Step 2 (Time dilation). The temporal component of u^μ is dt/dτ = γ. Inverting, dτ = dt/γ; for a moving clock, less proper time elapses per unit of coordinate time, exactly the time-dilation formula.

Step 3 (Lorentz boost). Let S and S′ be two inertial frames with relative velocity v along x¹. Each frame measures the same dx₄/dt = ic because the McGucken Axiom dx₄/dt = ic is a statement about the imaginary axis, not about observers. Demanding linearity, isotropy of x², x³, and the constancy of dx₄² + dx² uniquely selects the rotation in the (x¹, x₄) plane:

x′₄ = x₄ cosθ − x¹ sinθ, x′¹ = x¹ cosθ + x₄ sinθ.

Substituting x₄ = ict and identifying tanθ = iv/c (which is consistent because v appears as a slope on the imaginary chart) reproduces, after using cos(iφ) = coshφ and sin(iφ) = i sinhφ:

t′ = γ(t − vx¹/c²), x′¹ = γ(x¹ − vt),

the standard Lorentz boost. Length contraction L = L₀/γ follows by setting dt′ = 0; mass-energy equivalence E₀ = mc² follows from the temporal component of four-momentum, p₄ = mu₄ = iγmc = iE/c, by reading off the modulus.

Step 4 (Constancy of c). The invariant statement of the McGucken Axiom dx₄/dt = ic is that the imaginary axis advances at rate ic: any inertial frame agrees on this rate, since it is the law itself. The constancy of the speed of light, taken as Einstein’s second postulate of 1905, is in the McGucken framework an immediate corollary of dx₄/dt = ic being a frame-independent statement.

Remark. Einstein’s 1905 derivation took the constancy of c as a postulate and derived the Lorentz transformation by demanding linearity. The McGucken Principle moves the postulate one level deeper: dx₄/dt = ic is the law, and the constancy of c is what the law states once x₄ is read off in the imaginary chart. □

Appendix B. Predictions and Falsifiability

A complete axiomatization of physics, in Hilbert’s sense, must do two things: it must reproduce the canonical content of the existing theory (reproduction), and it must commit to definite statements wherever the existing theory is silent or in dispute (prediction). Hilbert’s first requirement is met by the derivation lattice of §7 and the explicit calculations of §8. We list here the principal commitments at which the McGucken framework departs from, or sharpens, the standard twentieth-century picture, so that the framework can be tested.

(P1) No-graviton. Because gravity in the framework is a theorem about the geodesic structure of the McGucken hypersurface and is not a separate quantum field, no spin-2 mediator is required. Bose–Marletto–Vedral entanglement-via-gravity experiments, if they detect coherent quantum entanglement induced purely by gravitational interaction, would falsify this commitment. As of 2026 these experiments remain technically out of reach, so the prediction is open.

(P2) Compton-coupling diffusion. The McGucken Operator yields a diffusion coefficient Dₓ = ε²c²Ω/(2γ²) with mass-independent zero-temperature residual; this distinguishes it from standard Brownian motion in cold-atom interferometry. Tests at the µK–nK regime over multi-second baselines are within reach of current atom-fountain technology.

(P3) Zero-dark-parameter cosmology. The framework asserts that the apparent late-time acceleration of the universe is the x₄-expansion read off in the Lorentzian chart, with w₀ = −0.983 and no separate dark-energy or dark-matter sectors. McGucken’s papers claim agreement within 1% of DESI BAO 2024–2025 results, a slope-4 baryonic Tully–Fisher relation, and specific SPARC RAR fits without free parameters. Future DESI, Euclid, and Vera Rubin Observatory data will sharpen this test directly.

(P4) Pauli exclusion as 4π-periodicity. The framework derives the spin-statistics connection from the 4π-periodicity of the spinor representation in Cl(1,3) acting on x₄-orientation. Pauli exclusion is therefore not an independent postulate of quantum mechanics but a theorem about how matter orients itself with respect to the imaginary axis.

(P5) Tsirelson bound 2√2. The framework derives the Tsirelson bound as the maximum violation of CHSH inequalities allowed by the spherical structure of the McGucken sphere; experimental tightening of the Tsirelson bound below 2√2 (e.g. via three-party loophole-free Bell tests) would falsify the framework.

None of (P1)–(P5) is required to validate the completion of Hilbert’s Sixth Problem, which is a purely structural claim about the axiomatic foundations of existing physics. They are listed to emphasize that the framework is a physical theory in the Popperian sense, not merely an axiomatic re-presentation of known content.

References

Hilbert, D. (1900). “Mathematische Probleme.” Lecture delivered before the International Congress of Mathematicians at Paris, 8 August 1900. Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, mathematisch-physikalische Klasse, 1900, 253–297. https://www.aemea.org/math/Hilbert_23_Mathematical_Problems_1900.pdf

Hilbert, D. (1902). “Mathematical Problems.” English translation by Mary Winston Newson. Bulletin of the American Mathematical Society, 8 (1902), 437–479. The standard English source for the twenty-three problems and the verbatim quotes from Problem 6 used in this paper. https://people.reed.edu/~davidp/341/resources/hilbert.pdf

Hilbert, D. (1899). Grundlagen der Geometrie. Teubner, Leipzig. https://archive.org/details/grunddergeovon00hilbrich

Hilbert, D. (1915). “Die Grundlagen der Physik (Erste Mitteilung).” Presented to the Königliche Gesellschaft der Wissenschaften zu Göttingen, 20 November 1915. Nachrichten, 395–407. https://www.bu.edu/cphs/files/2015/04/2007_Renn-Stachel.pdf

Hilbert, D. (1930). “Naturerkennen und Logik.” Address to the Society of German Scientists and Physicians, Königsberg, 8 September 1930. English translation, UCSD Department of Mathematics. https://mathweb.ucsd.edu/~williams/motiv/hilbert.html

Kolmogorov, A. N. (1933). Grundbegriffe der Wahrscheinlichkeitsrechnung. Springer, Berlin. English translation: Foundations of the Theory of Probability, Chelsea, New York, 1956. https://www.york.ac.uk/depts/maths/histstat/kolmogorov_foundations.pdf

von Neumann, J. (1932). Mathematische Grundlagen der Quantenmechanik. Springer, Berlin. English translation by R. T. Beyer: Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955. https://en.wikipedia.org/wiki/Mathematical_Foundations_of_Quantum_Mechanics

Wightman, A. S. (1956). “Quantum Field Theory in Terms of Vacuum Expectation Values.” Physical Review, 101, 860–866. DOI: 10.1103/PhysRev.101.860. https://en.wikipedia.org/wiki/Wightman_axioms

Gårding, L., and Wightman, A. S. (1964). “Fields as Operator-Valued Distributions in Relativistic Quantum Theory.” Arkiv för Fysik, 28, 129–184. Full statement of the axioms now widely called the Wightman or Gårding–Wightman axioms. http://www.scholarpedia.org/article/Wightman_quantum_field_theory

Streater, R. F., and Wightman, A. S. (1964). PCT, Spin and Statistics, and All That. Benjamin, New York. Reprinted Princeton University Press, 2000. The standard textbook exposition of the axioms and reconstruction theorem.

Jost, R. (1965). The General Theory of Quantized Fields. American Mathematical Society, Providence. Foundational treatment of axiomatic quantum field theory.

Haag, R., and Kastler, D. (1964). “An Algebraic Approach to Quantum Field Theory.” Journal of Mathematical Physics, 5, 848–861. https://www.zmp.uni-hamburg.de/events/seminar/defining-quantum-field/files/notes-robert-qft.pdf

Gödel, K. (1931). “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik, 38, 173–198. https://plato.stanford.edu/entries/goedel/incompleteness-hilbert.html

Lovelock, D. (1971). “The Einstein Tensor and Its Generalizations.” Journal of Mathematical Physics, 12, 498–501. DOI: 10.1063/1.1665613. https://doi.org/10.1063/1.1665613

Wald, R. M. (1984). General Relativity. University of Chicago Press, Chicago. The standard graduate text for the conventions on curvature, Bianchi identities, and the Einstein equations used in §9.2.

Reed, M., and Simon, B. (1972–1979). Methods of Modern Mathematical Physics, Vols. I–IV. Academic Press, New York. Foundational treatment of operator theory on Hilbert space and functional-analytic methods used in §2, §8, and §9.

Sakurai, J. J., and Napolitano, J. (2020). Modern Quantum Mechanics, 3rd ed. Cambridge University Press. Standard reference for the canonical quantum-mechanical content derived in §8.3.

Gleason, A. M. (1957). “Measures on the Closed Subspaces of a Hilbert Space.” Journal of Mathematics and Mechanics, 6, 885–893. The theorem invoked in §9.3 to derive the Born rule. https://www.jstor.org/stable/24900629

Corry, L. (2004). David Hilbert and the Axiomatization of Physics (1898–1918). Kluwer/Springer, Dordrecht. The definitive scholarly study of Hilbert’s physics programme, including the 1915 priority dispute and its resolution by archival proofs.

Sauer, T. (1999). “The Relativity of Discovery: Hilbert’s First Note on the Foundations of Physics.” Archive for History of Exact Sciences, 53, 529–575. DOI: 10.1007/s004070050037. https://doi.org/10.1007/s004070050037

Bombelli, L., Lee, J., Meyer, D., and Sorkin, R. (1987). “Space-Time as a Causal Set.” Physical Review Letters, 59, 521–524. https://doi.org/10.1103/PhysRevLett.59.521

Connes, A. (1994). Noncommutative Geometry. Academic Press, San Diego.

Glimm, J., and Jaffe, A. (1987). Quantum Physics: A Functional Integral Point of View, 2nd ed. Springer, New York.

McGucken, E. (2026a). “How the McGucken Principle and Equation — dx₄/dt = ic — Provides a Physical Mechanism for Special Relativity, the Principle of Least Action, Huygens’ Principle, the Schrödinger Equation, the Second Law of Thermodynamics, Quantum Nonlocality, Vacuum Energy, Dark Energy, and Dark Matter.” elliotmcgucken.substack.com, April 2026. https://elliotmcgucken.substack.com/p/how-the-mcgucken-principle-and-equation-9ca

McGucken, E. (2026b). “General Relativity and Quantum Mechanics Unified as Theorems of the McGucken Principle.” elliotmcguckenphysics.com, 5 May 2026. https://elliotmcguckenphysics.com/2026/05/05/general-relativity-and-quantum-mechanics-unified-as-theorems-of-the-mcgucken-principle-the-fourth-dimension-is-expanding-at-the-velocity-of-light-dx%E2%82%84-dt-ic-deriving-gr-qm-from-a-firs/

McGucken, E. (2026c). “The McGucken Space M_G: The Source Space that Generates Spacetime, Hilbert Space, and the Physical Arena Hierarchy.” elliotmcguckenphysics.com, 29 April 2026. https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-space-%E2%84%B3g-the-source-space-that-generates-spacetime-hilbert-space-and-the-physical-arena-hierarchy/

McGucken, E. (2026d). “The McGucken Operator D_M: The Source Operator that Co-Generates Space, Dynamics, and the Operator Hierarchy.” elliotmcguckenphysics.com, 29 April 2026. https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-operator-dm-the-source-operator-that-co-generates-space-dynamics-and-the-operator-hierarchy/

McGucken, E. (2025). “Light, Time, Dimension Theory: Five Foundational Papers (2008–2013) Exalting the Principle The Fourth Dimension is Expanding at the Rate of c.” elliotmcguckenphysics.com, 10 March 2025. https://elliotmcguckenphysics.com/2025/03/10/light-time-dimension-theory-dr-elliot-mcguckens-five-foundational-papers-2008-2013-exalting-the-principle-the-fourth-dimension-is-expanding-at-the-rate/

Renn, J., and Stachel, J. (2007). “Hilbert’s Foundation of Physics: From a Theory of Everything to a Constituent of General Relativity.” In The Genesis of General Relativity, Vol. 4, ed. J. Renn, Springer. https://www.bu.edu/cphs/files/2015/04/2007_Renn-Stachel.pdf

Stanford Encyclopedia of Philosophy. “Did the Incompleteness Theorems Refute Hilbert’s Program?” Accessed May 2026. https://plato.stanford.edu/entries/goedel/incompleteness-hilbert.html

McGucken, E. (2026e). “Thermodynamics Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of Thermodynamics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄.” elliotmcguckenphysics.com, 26 April 2026. The eighteen-theorem chain integrated as §8.6 and §9.5 of this paper. https://elliotmcguckenphysics.com/2026/04/26/thermodynamics-derived-from-the-mcgucken-principle-a-unique-simple-and-complete-derivation-of-thermodynamics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx/

Haar, A. (1933). “Der Massbegriff in der Theorie der kontinuierlichen Gruppen.” Annals of Mathematics, 34, 147–169. The unique-invariant-measure theorem invoked in Theorem 7 to fix the probability measure on ISO(3). https://doi.org/10.2307/1968346

Birkhoff, G. D. (1931). “Proof of the Ergodic Theorem.” Proceedings of the National Academy of Sciences, 17, 656–660. The classical ergodic theorem whose hypothesis Theorem 8 supplies geometrically. https://doi.org/10.1073/pnas.17.12.656

Boltzmann, L. (1872). “Weitere Studien über das Wärmegleichgewicht unter Gasmolekülen.” Sitzungsberichte der Akademie der Wissenschaften, Wien, 66, 275–370. The H-theorem; its tension with Loschmidt is resolved by the McGucken Duality (Theorem 12).

Loschmidt, J. (1876). “Über den Zustand des Wärmegleichgewichts eines Systems von Körpern mit Rücksicht auf die Schwerkraft.” Sitzungsberichte der Akademie der Wissenschaften, Wien, 73, 128–142. The reversibility paradox dissolved in §9.5.

Bekenstein, J. D. (1973). “Black Holes and Entropy.” Physical Review D, 7, 2333–2346. DOI: 10.1103/PhysRevD.7.2333. https://doi.org/10.1103/PhysRevD.7.2333

Hawking, S. W. (1975). “Particle Creation by Black Holes.” Communications in Mathematical Physics, 43, 199–220. DOI: 10.1007/BF02345020. https://doi.org/10.1007/BF02345020

Penrose, R. (1979). “Singularities and Time-Asymmetry.” In General Relativity: An Einstein Centenary Survey, ed. S. W. Hawking and W. Israel, Cambridge University Press, 581–638. Source of the 10^−10123 fine-tuning estimate dissolved by Theorem 13.

Deng, Y., Hani, Z., and Ma, X. (2025). “Hilbert’s Sixth Problem: Derivation of Fluid Equations via Boltzmann’s Kinetic Theory.” arXiv:2503.01800 [math.AP], 3 March 2025. Rigorous derivation of compressible Euler and incompressible Navier–Stokes–Fourier equations from hard-sphere Newton dynamics on 2D and 3D tori, by way of Boltzmann’s equation; extends Deng–Hani–Ma arXiv:2408.07818. Discussed in §4 and §8.6 of the present paper. https://arxiv.org/abs/2503.01800

Murtagh, J. (2025). “Lofty Math Problem Called Hilbert’s Sixth Closer to Being Solved.” Scientific American, April 2025. Popular-press account of the Deng–Hani–Ma 2025 result. https://www.scientificamerican.com/article/lofty-math-problem-called-hilberts-sixth-closer-to-being-solved/

Lanford, O. E. (1975). “Time Evolution of Large Classical Systems.” In Dynamical Systems, Theory and Applications, ed. J. Moser, Lecture Notes in Physics 38, Springer, Berlin, 1–111. The classical short-time Newton-to-Boltzmann result extended on long timescales by Deng–Hani–Ma 2025.

Bardos, C., Golse, F., and Levermore, C. D. (1991, 1993). “Fluid Dynamic Limits of Kinetic Equations I, II.” Journal of Statistical Physics, 63, 323–344; Communications on Pure and Applied Mathematics, 46, 667–753.

Saint-Raymond, L. (2009). Hydrodynamic Limits of the Boltzmann Equation. Lecture Notes in Mathematics 1971, Springer, Berlin.

Hilbert, D. (1918). “Axiomatisches Denken.” Mathematische Annalen, 78, 405–415. Address to the Swiss Mathematical Society, Zürich, 11 September 1917; published 1918. English translation: “Axiomatic Thought,” in W. Ewald (ed.), From Kant to Hilbert, Vol. 2 (Oxford, 1996), pp. 1105–1115. The locus classicus of Hilbert’s Fachwerk von Begriffen doctrine; quoted at length in §1. https://doi.org/10.1007/BF01457115

Hilbert, D., and Bernays, P. (1934, 1939). Grundlagen der Mathematik, Vols. I and II. Springer, Berlin. Two-volume exposition of Hilbert’s Beweistheorie after Gödel; Vol. II contains the Hilbert–Bernays derivability conditions discussed in §10.

Gödel, K. (1986). Collected Works, Volume I: Publications 1929–1936. Edited by S. Feferman, J. W. Dawson Jr., and S. C. Kleene. Oxford University Press, New York. Contains the 1963 supplemental note to Gödel 1931 quoted in §10 on the refutation of the Hilbert programme.

Detlefsen, M. (1986). Hilbert’s Program: An Essay on Mathematical Instrumentalism. Reidel, Dordrecht. Distinguishes the formal mathematical content of Gödel’s second theorem from the wider proto-philosophical claim about consistency statements; cited in §10 on intensional adequacy.

Zach, R. (2024). “Hilbert’s Program.” Stanford Encyclopedia of Philosophy. Standard reference for the Hilbert programme and its post-1931 history. https://plato.stanford.edu/entries/hilbert-program/

Gödel, K. (1949). “An Example of a New Type of Cosmological Solution of Einstein’s Field Equations of Gravitation.” Reviews of Modern Physics, 21, 447–450. The rotating universe with closed timelike curves; cited in §10 as evidence that Gödel did not regard physical foundations as impossible. https://doi.org/10.1103/RevModPhys.21.447

Glimm, J., and Jaffe, A. (1981). Quantum Physics: A Functional Integral Point of View. Springer, New York. Source of the Glimm–Jaffe statement quoted in §4 that the constructive programme aims to satisfy the axioms, not derive them.

Streater, R. F., and Wightman, A. S. (1964). PCT, Spin and Statistics, and All That. Benjamin, New York. Standard exposition of the Wightman axioms; the introduction is the source of the framing quoted in §4.

Einstein, A. (1921). Geometrie und Erfahrung. Address to the Prussian Academy of Sciences, Berlin, 27 January 1921. Source of the dictum on mathematical certainty and physical content quoted in §4.

Einstein, A. (1918). “Principles of Research [Motiv des Forschens].” Address to the Physical Society, Berlin, on Max Planck’s 60th birthday, 26 April 1918. Source of the dictum on intuition and universal laws quoted in §4.

Duncan, A., and Janssen, M. (2013). “(Never) Mind your p’s and q’s: Von Neumann versus Jordan on the Foundations of Quantum Theory.” European Physical Journal H, 38, 175–259. Historical analysis of von Neumann’s axiomatic completion of quantum mechanics referenced in §4. https://doi.org/10.1140/epjh/e2012-30024-5

Gentzen, G. (1936). “Die Widerspruchsfreiheit der reinen Zahlentheorie.” Mathematische Annalen, 112, 493–565. Consistency of arithmetic by transfinite induction up to ε₀; the principal post-Gödel extension of the Hilbert programme cited in §10. https://doi.org/10.1007/BF01565428

McGucken, E. (2026). “General Relativity Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of General Relativity as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic: A Formal Derivation from First Geometric Principle dx₄/dt = ic to the Einstein Field Equations and Their Canonical Solutions, with the Postulates of General Relativity Reduced to Theorems and the Equivalence Principle, Geodesic Hypothesis, Christoffel Connection, Stress-Energy Conservation, and No-Graviton Conclusion All Generated as Parallel Sibling Consequences of a Single Geometric Principle.” elliotmcguckenphysics.com, 26 April 2026. https://elliotmcguckenphysics.com/2026/04/26/general-relativity-derived-from-the-mcgucken-principle-a-unique-simple-and-complete-derivation-of-general-relativity-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension/

McGucken, E. (2026). “General Relativity and Quantum Mechanics Unified as Theorems of the McGucken Principle: The Fourth Dimension is Expanding at the Velocity of Light, dx₄/dt = ic — Deriving GR & QM from a First Geometric Principle.” elliotmcguckenphysics.com, 5 May 2026. https://elliotmcguckenphysics.com/2026/05/05/general-relativity-and-quantum-mechanics-unified-as-theorems-of-the-mcgucken-principle-the-fourth-dimension-is-expanding-at-the-velocity-of-light-dx%E2%82%84-dt-ic-deriving-gr-qm-from-a-firs/

McGucken, E. (2026). “Quantum Mechanics Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of Quantum Mechanics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic: A Formal Derivation from First Geometric Principle dx₄/dt = ic to the Schrödinger and Dirac Equations, the Born Rule, Quantum Nonlocality, and the Full Feynman-Diagram Apparatus, with the Postulates of Quantum Mechanics Reduced to Theorems and the Hamiltonian–Lagrangian, Heisenberg–Schrödinger, Wave–Particle, and Locality–Nonlocality Dualities Generated as Parallel Sibling Consequences of a Single Geometric Principle.” elliotmcguckenphysics.com, 26 April 2026. https://elliotmcguckenphysics.com/2026/04/26/quantum-mechanics-derived-from-the-mcgucken-principle-a-unique-simple-and-complete-derivation-of-quantum-mechanics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-d/

McGucken, E. (2026). “The McGucken Symmetry dx₄/dt = ic — The Father Symmetry of Physics — Completing Klein’s 1872 Erlangen Programme while Deriving Lorentz, Poincaré, Noether, Wigner, Gauge, Quantum-Unitary, CPT, Diffeomorphism, Supersymmetry, and the Standard String-Theoretic Dualities and Symmetries as Theorems of the McGucken Principle.” elliotmcguckenphysics.com, 28 April 2026. https://elliotmcguckenphysics.com/2026/04/28/the-mcgucken-symmetry-%F0%9D%90%9D%F0%9D%90%B1%F0%9D%9F%92-%F0%9D%90%9D%F0%9D%90%AD%F0%9D%90%A2%F0%9D%90%9C-the-father-symmetry-of-physics-completing-kleins-187/

McGucken, E. (2026). “The McGucken Sphere as Spacetime’s Foundational Atom: Deriving Arkani-Hamed’s Amplituhedron and Penrose’s Twistors as Theorems of the McGucken Principle dx₄/dt = ic.” elliotmcguckenphysics.com, 27 April 2026. https://elliotmcguckenphysics.com/2026/04/27/the-mcgucken-sphere-as-spacetimes-foundational-atom-deriving-arkani-hameds-amplituhedron-and-penroses-twistors-as-theorems-of-the-mcgucken-principle-dx4-dtic/

McGucken, E. (2026). “The Unique McGucken Lagrangian: All Four Sectors — Free-Particle Kinetic, Dirac Matter, Yang–Mills Gauge, Einstein–Hilbert Gravitational — Forced by the McGucken Principle dx₄/dt = ic.” elliotmcguckenphysics.com, 23 April 2026. https://elliotmcguckenphysics.com/2026/04/23/the-unique-mcgucken-lagrangian-all-four-sectors-free-particle-kinetic-dirac-matter-yang-mills-gauge-einstein-hilbert-gravitational-forced-by-the-mcgucken-principle-dx%E2%82%84-2/

McGucken, E. (2026). “Thermodynamics Derived from the McGucken Principle: A Unique, Simple, and Complete Derivation of Thermodynamics as a Chain of Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic.” elliotmcguckenphysics.com, 26 April 2026. https://elliotmcguckenphysics.com/2026/04/26/thermodynamics-derived-from-the-mcgucken-principle-a-unique-simple-and-complete-derivation-of-thermodynamics-as-a-chain-of-theorems-of-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx/

McGucken, E. (2026). “The McGucken Space and McGucken Operator Generated by dx₄/dt = ic: Simultaneous Space-Operator Generation and the Source Structure of All Mathematical Physics — A New Category Completes the Erlangen Programme.” elliotmcguckenphysics.com, 29 April 2026. The joint exposition of M_G and D_M referenced in the abstract and §2. https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-space-and-mcgucken-operator-generated-by-dx4-dtic-simultaneous-space-operator-generation-and-the-source-structure-of-all-mathematical-physics-a-new-category-completes-the/

McGucken, E. (2026). “The McGucken Space M_G: The Simplest, Most Complete, and Most Powerful Source Space in Physics — A Formal Theory of How dx₄/dt = ic Generates Spacetime, Metric Structure, Hilbert Space, Phase Space, Spinor Space, Gauge-Bundle Space, Fock Space, Operator Algebras, and More.” elliotmcguckenphysics.com, 29 April 2026. Formal exposition of M_G referenced in the abstract. https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-space-%E2%84%B3g-the-source-space-that-generates-spacetime-hilbert-space-and-the-physical-arena-hierarchy/

McGucken, E. (2026). “The McGucken Operator D_M: The Simplest, Most Complete, and Most Powerful Source Operator in Physics — A Formal Theory of How dx₄/dt = ic Co-Generates Space, Dynamics, Time Evolution, Wick Rotation, Lorentzian Wave Propagation, Schrödinger Evolution, Dirac Factorization, Gauge Covariance, Commutator Structure, and More.” elliotmcguckenphysics.com, 29 April 2026. Formal exposition of D_M referenced in the abstract. https://elliotmcguckenphysics.com/2026/04/29/the-mcgucken-operator-dm-the-source-operator-that-co-generates-space-dynamics-and-the-operator-hierarchy/

McGucken, E. (2026). “Novel Reciprocal Generation: The McGucken Category McG Built on dx₄/dt = ic — Three Theorems on the Source-Pair (M_G, D_M): Mutual Containment, Reciprocal Generation, and the Containment of Every Klein Pair.” elliotmcguckenphysics.com, 2 May 2026. Establishes the category McG and the three structural theorems cited in Section 6. https://elliotmcguckenphysics.com/2026/05/02/novel-reciprocal-generation-mcgucken-category-mcg-built-on-dx%E2%82%84-dt-ic-three-theorems-on-the-source-pair-%E2%84%B3_g-d_m-mutual-containment-reciprocal-generation-and-the-contai/

McGucken, E. (2026). “The Double Completion of Klein’s 1872 Erlangen Programme via the McGucken Principle dx₄/dt = ic: Two Structurally Independent Routes from dx₄/dt = ic to the Klein Pair (Iso(1,3), …).” elliotmcguckenphysics.com, 30 April 2026. Group-theoretic and category-theoretic routes from the source law to the Lorentz/Poincaré Klein pair. https://elliotmcguckenphysics.com/2026/04/30/the-double-completion-of-kleins-1872-erlangen-programme-via-the-mcgucken-principle-dx4-dtictwo-structurally-independent-routes-from-dx4-dtic-to-the-klein-pair-iso13/

McGucken, E. (2026). “The Double Completion of Felix Klein’s Erlangen Programme via the McGucken Principle in Both Group Theory and Category Theory: dx₄/dt = ic as the Source-Law of Mathematical Physics.” elliotmcguckenphysics.com, 30 April 2026. Companion paper expanding the double-completion result into a unified group- and category-theoretic statement. https://elliotmcguckenphysics.com/2026/04/30/the-double-completion-of-felix-kleins-erlangen-programme-via-the-mcgucken-principle-in-both-group-theory-and-category-theory-dx4-dtic-as-the-source-law-of-mathematical-physics-wi/