Chemistry Solvent Viscosity From Phi Ladder

Solvent viscosity and the phi ladder

Viscosity measures how a fluid resists flow. Water pours easily; honey pours slowly. In everyday units, the dynamic viscosity of water at room temperature is about 1 millipascal-second (mPa·s), benzene is about 0.65 mPa·s, and ethylene glycol, a common antifreeze, is about 16 mPa·s. The ratio of ethylene glycol to water is therefore roughly 16, which is close to the sixth power of the golden ratio φ ≈ 1.618: φ^6 ≈ 17.9. This numerical near-coincidence is the seed of an idea: that solvent viscosities might fall on a ladder of powers of φ, measured in mPa·s.

The golden ratio itself is the positive solution of r² = r + 1, about 1.618. It appears throughout classical mathematics: in the proportions of a regular pentagon, in the Fibonacci sequence, and in continued fractions. The proposed viscosity ladder is a separate, empirical suggestion, not a classical result. The observed values are close to φ^6 for ethylene glycol, but water at φ^0 = 1 and benzene at about φ^−1 ≈ 0.618 are only rough matches. No measured solvent viscosity has yet been shown to sit exactly on a φ-power ladder.

In Recognition Science, the framework models a ledger, a discrete record of recognition events, and a cost, a forced penalty for each recognition. The framework's core theorem proves that any cost function satisfying five plain conditions must equal J(x) = (x + 1/x)/2 − 1. The framework's library, a machine-checked collection of formal theorems, then derives the golden ratio φ as the unique self-similar scaling of that cost. The viscosity module attempts to apply this structure to chemistry by defining a cost on the ratio of two masses, m and e, as J(m/e).

What the module actually proves is much narrower than the viscosity idea. The machine-checked theorems show that this cost vanishes when m = e, that it is nonnegative for positive inputs, and that φ − 3/2 is positive. These are general facts about the cost function, true for any positive numbers m and e. The module does not define what m and e mean for a solvent, so it proves nothing specific about benzene, water, or ethylene glycol. The viscosity ladder remains a research note, a direction the idea was meant to go, not a result.

The lesson is a sharp one: a formal proof is only as strong as its definitions. The framework's library can certify that J(m/e) behaves well, but until someone defines m and e in terms of molecular properties or measured viscosities, the proof says nothing about real fluids. The near-coincidence with φ^6 is a prompt for further work, not a derivation. The honest status is that the viscosity ladder is an open target, awaiting a definition that connects the cost function to actual solvent physics.

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]

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

noncomputable def cert : SolvViscCert where
  cost_at_eq := domainCost_at_eq
  cost_nonneg := domainCost_nonneg
  threshold_pos := canonicalThreshold_pos

What this page does not claim

No measured solvent viscosity has been shown to sit exactly on a φ-power ladder. The viscosity module does not prove the φ-ladder for any real solvent. This is not a derivation of viscosity from first principles.

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/Chemistry/SolventViscosityFromPhiLadder.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: