Jorge Armando González García

Simultaneous identities of the golden ratio and Euler's identity, formally verified in Lean 4 over the known Mersenne prime exponents

We present a sustained study of a single object followed across representations, where the content lives in the equivalences between them. We prove and formally verify in Lean 4 that the golden ratio φ=(1+√5)/2 satisfies simultaneously twelve identities across five canonical stru...

The Crystalline Worldsheet: A String Theoretical framework based on φ and π for the de Sitter observer problem

We propose that the obstruction to holography in de Sitter space is epistemological—a matter of representation—rather than ontological. We trace it to the non-paradoxical self-reference of binary language, in the precise sense of the Lawvere fixed-point theorem and the Yanofsky d...