Tag: Lean4

All the articles with the tag "Lean4".

• Simultaneous Identities of the Golden Ratio and Euler's Identity

  29 Jul, 2026

  Formal verification in Lean 4 that the golden ratio φ satisfies twelve identities across five canonical structures, specialised to the 52 known Mersenne prime exponents.

• The Crystalline Worldsheet

  13 Jul, 2026

  A string theoretical framework based on φ and π for the de Sitter observer problem.

• Odd Zeta Values from the PCF Torus

  18 Apr, 2026

  Demonstrating that the odd values ζ(2k+1) are structurally determined by the golden ratio φ and π.

• The Hilbert-Pólya Operator and the Primitive Structure of the Complex Plane

  18 Apr, 2026

  Construction of a Hermitian operator H_PCF whose spectrum approximates the non-trivial zeros of the Riemann ζ function.