Zenodo-deposited research artifacts. Pulled live from the public records API; pre-rendered with the most recent snapshot.
Gödel’s 1949 rotating-universe solution demonstrates that Einstein’s field equations admit spacetimes with no global time function and no universal execution order for dynamical laws. Argues this exposes an unexamined assumption in fundamental physics — that laws enforce themselves instantaneously — and proposes Maxwell’s 1861 displacement current as the first known instance of finite-rate law-execution machinery.
First computational upper bound for the sublevel-set infimum of monic polynomials with all real roots in [−1,1]. Main result: inf ≤ 1.837 (N=200 configuration). v2 adds Thomson/Riesz energy mapping — the log-energy minimizer (Saff–Totik weighted potential theory) reproduces the extremal atom weight within 2.1%, demonstrating the atom+cloud architecture is structural, not numerical.
IEEE 1788 interval-arithmetic certified branch-and-bound verification of the EHP conjecture for monic polynomials of degrees 3 through 14. Includes preprint PDF, all result JSONs with SHA-256 checksums, and the closed-form arc-length formula L(zⁿ−1) = 2^(1/n) √π Γ(1/(2n)) / Γ(1/(2n)+1/2). Source code at github.com/MendozaLab/erdos-experiments.
A Lean 4 formalization of the two principal upper bounds for Sidon sets (B₂ sets), addressing Erdős Problem 30. 1131 lines of verified Lean 4 code, zero sorry stubs. Proves the Lindström bound (1969) and Balogh–Füredi–Roy bound (2023). Retained for archival continuity; cite the canonical record instead.
A direct architectural response to Tao et al. on the Erdős problem space. Three-layer answer: (1) IEEE 1788-certified interval arithmetic for the EHP lemniscate conjecture n=3–13; (2) the Erdős Atlas 3D morphism network; (3) 49 sorry-free Lean 4 proofs. Introduces the Squeeze Lemniscate framework and the ODGAF governance layer.