pith. sign in
module module high

IndisputableMonolith.Relativity.ILG.Substrate

show as:
view Lean formalization →

The Relativity.ILG.Substrate module defines the quantum substrate for the ILG framework by adopting the Recognition Science Hilbert space. Researchers integrating quantum observables with relativistic geometry in the Recognition Science setting would cite it. It is a definition module with no proofs.

claimThe ILG quantum substrate is constructed from the RS Hilbert space and the associated observable algebra, with geometry and field types re-exported for ILG use.

background

This module sits in the Recognition Science bridge from quantum mechanics to relativity. It imports the HilbertSpace module, which supplies the Hilbert space for the Recognition Science QM bridge, and the Observables module, which supplies the observable algebra. The Action module re-exports geometry and field types for ILG use. The local theoretical setting is the quantum substrate for ILG that adopts the RS Hilbert space definition.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the quantum substrate definitions that support the ILG framework and its connection to relativistic structures in Recognition Science. It feeds the integration of the QM bridge with ILG action and geometry.

scope and limits

depends on (3)

Lean names referenced from this declaration's body.

declarations in this module (3)