Registry · Definition II.D34 established formalized

II.D34 — Archimedean Bridge

The map connecting the ultrametric profinite structure of tau^3 to Archimedean real-valued measurements, via iota_tau = 2/(pi + e). Bridges finite-stage computation to real analysis.

Book II Part 5 Ch. 28

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookII.Transcendentals.IotaTauConfirmed

Symbol: iota_arithmetic_check