Conceptio › Archive › PhilArchive
PhilArchive open access

Discovery of the Complex Field by Graduated Observation of Plane Rotation

Brown, Michael R.
PhilArchive · Papers
Open Source ↗
philosophy
The complex numbers are derived from a single geometric primitive: rigid rotation of the Euclidean plane about a fixed point. The derivation proceeds through a graduated sequence of observer capability levels, each corresponding to a specific physical operation (observation, length comparison, compass-and-straightedge construction, angle comparison, free locomotion). At each level, new algebraic structure becomes visible. The principal result is a necessity theorem: the complex field is the unique topological field whose additive group is a connected, simply connected, locally compact, Hausdorff, two-dimensional topological group, and whose multiplicative group contains a compact connected subgroup acting by isometric rotations and a commuting scaling subgroup. One explicit axiom supplements the primitive: Dedekind completeness of the plane. The graduated observer framework identifies completeness as a boundary condition - a property that no observer capability level can verify in full, and that must therefore be adopted rather than derived. Algebraic closure follows from a winding-number argument exploiting the plane's topology. The derivation inverts the standard construction order: the real numbers are found within the complex field (as the non-rotating similarities) rather than the complex field being constructed from the reals.
Conceptio Open Archive

Analyze & explore related research in Conceptio

Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.

This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗

Related documents

Record · ID 81726
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive