Encyclopedia/All topics/Relativity

Relativity

Articles 1–15 of 15. Alphabetical by title.

• Relativity Calculus Derivatives

  The module builds the calculus of spacetime, showing how derivatives behave along the four coordinate directions and what they reveal about radial functions.

• Relativity Compact Black Hole Entropy

  The entropy of a black hole is proportional to the area of its event horizon, a fact the framework derives from a limit on how much information a surface can hold.

• Relativity Cosmology Frwcomponents Probe

  Before deriving the expansion of the universe, the framework's library checks that its basic geometric tools can even compute the necessary derivatives.

• Relativity Cosmology Frwfriedmann

  The Friedmann equations describe how the universe expands or contracts over time, and a machine-checked library now derives them from Einstein's equations.

• Relativity Dynamics Recognition Sheaf

  A sheaf is a way to stitch local data into a global whole; here it models a field whose local pieces are locked to a single equilibrium value.

• Relativity Fields

  A field is a quantity spread through space and time; Recognition Science organizes its field definitions into one module.

• Relativity Grlimit Parameters

  A small set of numbers controls whether a physical theory can be treated with perturbation theory, and a machine-checked proof now shows two such numbers are small.

• Relativity Ilg Action

  The ILG action is a single number that combines Einstein's gravity with a scalar field, and the module proves it reduces to standard general relativity when the field vanishes

• Relativity Ilg Cosmology Derived

  The cosmology-derived module is currently disabled in the framework's library, with its contents commented out pending restoration.

• Relativity Ilg Frw

  A machine-checked library treats the expansion of the universe as a calibration step, kept as an explicit assumption until a full derivation exists.

• Relativity Ilg Params

  A tiny data structure holds two numbers, and its only job is to keep downstream calculations honest.

• Relativity Ilg Ppn

  A framework-internal module defines the standard post-Newtonian parameters and proves they match general relativity's leading-order values.

• Relativity Ilg Ppnderive

  A tiny formal module checks that two toy formulas for gravity's post-Newtonian parameters match the framework's linearized model, replacing an empty placeholder with a ve

• Relativity Ilg Ppnderived

  The ILG PPN-derived module is a placeholder in the Recognition Science library, currently disabled to reduce scope for the current milestone.

• Relativity Information Conservation

  The black hole information paradox asks whether information can be destroyed; this framework says no, because its fundamental ledger never erases entries.