Physics Gas Viscosity From Phi Ladder

Gas viscosity and the golden-ratio step

Gas viscosity measures how much internal friction a gas offers to flow. In the classical kinetic theory of gases, viscosity η is proportional to the square root of temperature T, so η ∝ T^(1/2). The reason is that hotter molecules move faster and carry momentum across a shearing layer more effectively. This square-root law is a standard result of 19th-century kinetic theory, associated with James Clerk Maxwell's 1860 work on transport properties.

Now take a specific temperature step: multiply T by the golden ratio φ, approximately 1.618. The square-root law predicts that viscosity rises by √φ, about 1.272. So if a gas has viscosity η₀ at a reference temperature T_ref, then at temperature φ × T_ref the viscosity is about 1.272 η₀. This is a simple, testable consequence of kinetic theory, independent of any larger framework.

In Recognition Science, this temperature step is not arbitrary. The framework's central forcing chain derives the golden ratio as the unique self-similar scaling of its recognition cost function, and the framework models physical quantities as living on a ladder of φ-powers. The module under discussion, GasViscosityFromPhiLadder, was planned to connect that ladder to gas viscosity by defining a cost function on the ratio of two temperatures. The intended claim was that each φ-step in temperature increases viscosity by √φ.

The machine-checked library of formal theorems proves something narrower. It defines domainCost(m, e) = Jcost(m / e), where Jcost is the framework's foundational cost function, and proves three general facts: the cost vanishes when the two inputs are equal, the cost is nonnegative for positive inputs, and the constant φ − 3/2 is positive. These are true theorems, but they are about the cost function itself, not about gas viscosity. The module proves nothing specific to viscosity, because the definition of domainCost never mentions viscosity, temperature, or the square-root law. The viscosity content exists only as a research note in the docstring, not as a formal result.

What the module does establish, in plain language, is that the framework's cost function has the basic regularity properties one would want from any measure of mismatch: it is zero at agreement, never negative, and has a positive threshold constant. The planned physical application, the φ-step viscosity scaling, remains a hypothesis. To make it a theorem, one would need a formal definition of m and e in terms of actual gas temperature and viscosity, and a proof that the square-root law follows from the framework's axioms. That step is not present in the Lean code.

theorem domainCost_at_eq (r : ℝ) (h : r ≠ 0) : domainCost r r = 0 := by
  unfold domainCost; rw [div_self h]; exact Jcost_unit0

def domainCost (m e : ℝ) : ℝ := Jcost (m / e)

theorem domainCost_at_eq (r : ℝ) (h : r ≠ 0) : domainCost r r = 0 := by
  unfold domainCost; rw [div_self h]; exact Jcost_unit0

theorem domainCost_nonneg (m e : ℝ) (hm : 0 < m) (he : 0 < e) : 0 ≤ domainCost m e := by
  unfold domainCost; exact Jcost_nonneg (div_pos hm he)

theorem canonicalThreshold_pos : 0 < canonicalThreshold := by
  unfold canonicalThreshold; linarith [phi_gt_onePointFive]

What this page does not claim

The module proves the gas viscosity scaling law; it proves only general cost-function facts. The golden ratio is derived from gas physics; it comes from the framework's cost forcing chain. The viscosity prediction is a measured result; it is a planned hypothesis without a formal proof.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Physics/GasViscosityFromPhiLadder.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: