|
|
1a94fc0720
|
Add EML universality proof — verify arXiv:2603.21852v2
Proof that eml(x,y) = exp(x) - ln(y) with constant 1 generates all
elementary functions. Both Python and uncommonlisp implementations.
Chain: e → exp → ln → 0 → subtraction → negatives → complex plane
(via ln(negative) = ln(|neg|) + iπ) → π, i, sin, cos, all arithmetic.
Python: 17 checks, 0.03s. uncommonlisp: 14 checks, 111s.
All checks pass at 1e-10 tolerance.
|
2026-04-13 19:43:18 -04:00 |
|
