One binary operator eml(x,y)=exp(x)-ln(y) plus the constant 1 generates all elementary functions including sin, cos, sqrt, log, arithmetic operations, and constants e, pi, i.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
years
2026 3representative citing papers
Six Birds Theory defines agents as maintained theory objects with feasible policies that make counterfactual differences, operationalized via ledger feasibility, viability kernels, empowerment, and packaging maps, and tested in ring-world simulations showing distinct separations.
A reduced front-seed coherence package (WL, WR) plus one pentagon contraction recovers associator, pentagon, and bridge theorems, while explicit coordinatewise reify/reflect formulas are given for K-infinity, all Lean-4 formalized without axioms.
citing papers explorer
-
All elementary functions from a single binary operator
One binary operator eml(x,y)=exp(x)-ln(y) plus the constant 1 generates all elementary functions including sin, cos, sqrt, log, arithmetic operations, and constants e, pi, i.
-
To Throw a Stone with Six Birds: On Agents and Agenthood
Six Birds Theory defines agents as maintained theory objects with feasible policies that make counterfactual differences, operationalized via ledger feasibility, viability kernels, empowerment, and packaging maps, and tested in ring-world simulations showing distinct separations.
-
Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
A reduced front-seed coherence package (WL, WR) plus one pentagon contraction recovers associator, pentagon, and bridge theorems, while explicit coordinatewise reify/reflect formulas are given for K-infinity, all Lean-4 formalized without axioms.