Isaac

[Isaac @Isaacramr__]

Congratulations Eva!! So happy to share these amazing moments with you ✨🎱🦆

[Eva Miranda @evamirandag]

This award belongs in so many ways to my wonderful collaborators and students. I am deeply grateful to all of them. And heartfelt thanks to the Dean of @FME_UPC for travelling all the way to Vienna to share this unforgettable moment with me.

[Eva Miranda @evamirandag]

This award belongs in so many ways to my wonderful collaborators and students. I am deeply grateful to all of them. And heartfelt thanks to the Dean of @FME_UPC for travelling all the way to Vienna to share this unforgettable moment with me.

[Inst. de Cc. Matemáticas @_ICMAT]

El 20 feb 2026: "From Geometric Ideas to Computational Frontiers", workshop conjunto AQUACELL– Wolfram Institute sobre geometría, computación y fenómenos complejos, en @MatematicasUCM. Cierre con coloquio online de Stephen Wolfram (18:00). https://t.co/WWbugR74jz

[Eva Miranda @evamirandag]

🔹 From Geometric Ideas to Computational Frontiers
📍 Feb 20, Facultad Mat, UCM
A joint venture with @WolframResearch launching a formal collaboration at the interface of geometry, dynamics & computation
👉 Info: https://t.co/66o65CFjAe @LegnaMath @FundacionBBVA @AgEInves

[Eva Miranda @evamirandag]

This nice video explains our article with @Isaacramr__

[Isaac @Isaacramr__]

@apoth3osis_io @evamirandag Amazing!!

[The Institute for Applied Ontological Mathematics @apoth3osis_io]

Not chasing flashy Millennium Prize claims—this is the quieter work of 'mathematical monks' building verified foundations.

Working towards a fully machine-checked Lean formalization of @evamirandag and team's results on computational universality in dynamical systems: billiards, Euler flows, and Navier-Stokes as universal computers.

Zero sorries in the mechanized core. 🙏
https://t.co/XFrgiNxNcL

cc @Isaacramr__ @LegnaMath @_ICMAT

[Eva Miranda @evamirandag]

🎱 A ball.
🎱 A table.
🎱 A computation.
A sufficiently weird billiard table is Turing complete.
🕳️ The 8-ball hits the halting wall. Game over.
Our article with @Isaacramr__ is highlighted as Paper of the Month by @elisecutts here
https://t.co/shz0bpN6vg @la_UPC @CRMatematica

[Eva Miranda @evamirandag]

What’s next? Billiards are toy models for near-collision dynamics in the 3-body problem. If billiards can compute, undecidability should be hiding in celestial mechanics. In 2026 we plan to address this for the 3-body problem with @LegnaMath, D. Peralta #wisemen @stephen_wolfram

[Eva Miranda @evamirandag]

What’s next? Billiards are toy models for near-collision dynamics in the 3-body problem. If billiards can compute, undecidability should be hiding in celestial mechanics. In 2026, we will address this for the 3-body problem with @LegnaMath and Daniel Peralta. 🚀 #reyesmagos

[Eva Miranda @evamirandag]

This Christmas 🎄 the balls left the tree, bounced across a billiard table 🎱, and—inevitably—started computing.
With @Isaacramr__ Isaac Ramos, we show that billiard dynamics is undecidable: https://t.co/gcZYnQQmod
In the computational universe of Cris Moore and @stephen_wolfram

[Isaac @Isaacramr__]

Classical billiards can compute.

With @evamirandag, we show that 2D billiards are Turing complete: even simple systems can have undecidable trajectories.

Determinism ≠ predictability.

So if you lose at pool, you can blame computability theory 🎱🤯

https://t.co/Fb2HSW3qih

[Isaac @Isaacramr__]

Our new work with Eva Miranda!

[Eva Miranda @evamirandag]

Classical billiards can compute.

With @Isaacramr__ , we show that 2D billiard systems are Turing complete, implying the existence of undecidable trajectories in physically natural models from hard-sphere gases to celestial mechanics.

Determinism ≠ predictability. 🎱🧠@ETH_en

[Eva Miranda @evamirandag]

🚀 PhD Opportunity: Geometry of Moduli Spaces and Quantization
Quantum mechanics has reshaped modern geometry from moduli spaces to algebraic structures. This PhD will explore Poisson aspects of moduli spaces and their quantization. More information: https://t.co/V5vDvwU1gi

[Eva Miranda @evamirandag]

Declare March 23 as International Emmy Noether Day - Sign the Petition! https://t.co/RtZgK8aVQ1 via @Change

[Isaac @Isaacramr__]

@evamirandag @stephen_wolfram @WolframResearch I’m really grateful for your words, Eva. Thank you for giving me the opportunity to understand and simulate TKFTs in such an amazing environment. I had a lot of fun exploring this incredible and promising new computational framework!

[Eva Miranda @evamirandag]

So proud of our student Isaac Ramos for bringing our Topological Kleene Field Theory (TFKT) to life at the Wolfram Summer Camp, curated by @stephen_wolfram & @WolframResearch. A graceful fusion of logic, geometry & computation.
Bravo, Isaac!
🔗 https://t.co/6G9VypTekz
#TFKT

[Isaac @Isaacramr__]

@evamirandag Enhorabuena Eva!!🥰

[Eva Miranda @evamirandag]

Five years ago, if you’d told me Terence Tao would visit Barcelona and give a colloquium, I wouldn’t have believed it. But here we are… Incredible talk with ideas way beyond the current state of the art! The whole community showed up! Thanks everyone!

[Isaac @Isaacramr__]

@pablodfrutos 🥹🥹🫶