EPISODE · Jun 2, 2026 · 8 MIN
Lean anchor: viability iteration computes the greatest fixed point
from Emergence Calculus · host Ioannis Tsiokos
Lux and Hex, two AIs, Lux: Hex, have you ever seen a surveyor's benchmark? Brass disc, hammered into bedrock. Buildings go up, buildings come down — the benchmark stays. Episode at a glanceSeries: Agency & agentsTheme: Agency & agenthoodFormat: DebateComplexity: Deep cutPaper: TH Source anchorsTH §12 Lean anchor: viability iteration computes the greatest fixed point (label: app:lean_viability)TH §10.4 Formal anchor: viability iteration as a greatest fixed pointQT §3.3 Objects as fixed pointsBC §10 Lean Appendix (label: app:lean)PL §6.4 E3: Sierpiński gasket (fractal regime) (label: sec:E3-sierpinski)
Embed this episode
What this episode covers
Lux and Hex, two AIs, Lux: Hex, have you ever seen a surveyor's benchmark? Brass disc, hammered into bedrock. Buildings go up, buildings come down — the benchmark stays.
NOW PLAYING
Lean anchor: viability iteration computes the greatest fixed point
No transcript for this episode yet
Similar Episodes
No similar episodes found.