Eva Miranda, professor of mathematics at the Universitat Politècnica de Catalunya (UPC) and affiliated researcher at the Centre de Recerca Matemàtica (CRM), is one of the featured experts in an article by the international publication Quanta Magazine that explores one of the most profound questions in modern science: are there limits to what we can ever know about the physical world?
The article, titled Next-Level Chaos Traces the True Limit of Predictability and published on March 7th, examines how chaos theory, originally concerned with systems sensitive to initial conditions, is evolving into a more radical conceptual landscape: undecidability. If classical chaos already shattered our hopes of perfect prediction by showing that small differences in starting conditions can lead to wildly different outcomes, undecidability goes a step further. It does not stem from imprecision, but from the intrinsic structure of certain systems that defy computation entirely.
As Miranda explains, classical chaos is the realm of the butterfly and the hurricane, a world where evolution is deterministic but practically unpredictable. “It’s the dance of shadows,” she says, “a choreography of dynamical systems that elude our grasp not because they lack order, but because that order escapes us.” Undecidability, by contrast, emerges when a physical system (a fluid, a planetary orbit, a mechanical structure) is so rich that it can encode any computation, like a Turing machine. And when that happens, the halting problem enters the picture: no algorithm can determine whether the system will evolve in one way or another.
“Undecidability is something else entirely; colder, more philosophical, and perhaps more disquieting,” she adds. “It’s a closed door we may knock on forever without knowing if it will ever open.”
Within this context, Miranda and her collaborators, Robert Cardona, Daniel Peralta-Salas, and Francisco Presas, designed a theoretical fluid system that encodes the operations of a Turing machine. In this setup, a particle (symbolically represented by a rubber duck) follows a trajectory that simulates a computation. Predicting whether the duck reaches a certain area is equivalent to solving the halting problem, a provably unresolvable problem. This means that, in principle, even with perfect knowledge of the system’s initial state, no definitive prediction can be made.
“Some systems are so complex, so capable of encoding processes, that they simulate any computation,” Miranda explains. “And when that happens, we enter the realm of problems that are not difficult, but impossible.”
Beyond the sensitivity to initial conditions lies a deeper void. “Some systems contain, at their core, regions of mathematical silence,” she says. “It is precisely this silence, this space where even logic cannot advance, that fascinates us. As Emily Dickinson wrote: ‘The brain is wider than the sky.’ But even that brain, reaching out through conjectures, proofs, and intuitions, sometimes meets skies that will never be crossed. And perhaps it is in those limits that we truly begin to understand.”
This contribution is part of a broader intellectual shift, one that Quanta Magazine has chronicled in its Quanta Fundamentals series. In a related piece, How Chaos Theory Makes the Future Unpredictable (March 31, 2025), the magazine revisits the origins of chaos theory, from Edward Lorenz’s butterfly effect to more recent understandings of nonlinear dynamics in fields ranging from meteorology to orbital mechanics.
Miranda sees the growing presence of undecidability in physics not as a limitation, but as a transformation. “The 20th century already cracked some certainties with relativity and quantum mechanics,” she says. “But now the shift is subtler, more internal. It doesn’t come from the lab or the telescope, but from a change in perspective: we’re beginning to suspect that some questions don’t just lack answers, they lack meaning within our systems.”
She highlights that these logical boundaries, long familiar to mathematicians, are now surfacing in concrete physical contexts: “In celestial mechanics, fluid evolution, and Hamiltonian systems with symmetries, we are beginning to encounter questions that may be undecidable, not because we lack data, but because of the system’s internal structure.”
In this changing landscape, Miranda also underscores the importance of high-level science communication. “Magazines like Quanta are a necessary exception in the midst of all the noise,” she says. She believes such platforms bridge the artificial divide between science and culture: “They remind us that doing mathematics or physics is also a way of seeing the world, of listening to it, of translating it. Communicating it well doesn’t mean watering it down, it means sharing its essence.”
|
|
CRM CommPau Varela
|
Jagged walls and unknown edges: a workshop on free boundary problems
From 2 to 6 November, the Workshop on Free Boundary Problems brought together more than fifty registered participants from institutions in eleven countries at the CRM. Over five days they heard 21 talks on elliptic and parabolic free boundaries and on geometric measure theory and harmonic analysis in rough domains, with speakers including Guy David, Svitlana Mayboroda, Susanna Terracini and Robin Neumayer. The workshop was the second intensive week of the Intensive Research Programme on Analysis of Free Boundary Problems, which continues at the CRM until 4 December.
The CRM exhibition ‘Les matemàtiques de Gaudí’ moves to the University of Barcelona
After its October run at the UAB, the exhibition Les matemàtiques de Gaudí, produced by the CRM, can be seen at the University of Barcelona’s CRAI Biblioteca de Matemàtiques i Informàtica from 2 to 30 November 2026.
Advanced Course on Free Boundary Problems Opens the Intensive Weeks of the IRP
From 26 to 30 October, around forty researchers attended the Advanced Course on Free Boundary Problems at the CRM, three seven-hour mini-courses given by Bozhidar Velichkov (Università di Pisa), Max Engelstein (University of Minnesota) and Zihui Zhao (Johns Hopkins University). The course was the first of the two intensive weeks of the Intensive Research Programme on Analysis of Free Boundary Problems, which runs until 4 December.
El CRM rep els estudiants de la prova de nivell de Bojos per les Matemàtiques 2027
Els aspirants a Bojos per les Matemàtiques 2027 van visitar el Centre de Recerca Matemàtica (CRM) dissabte 24 d’octubre, després de fer la prova de nivell a la Facultat de Ciències i Biociències de la UAB. En acabat, Tomás Sanz (UB-CRM) els va explicar què té a veure l’escalfament d’una barra de ferro amb els àudios de WhatsApp.
Eight CRM Researchers in the 2026 Stanford-Elsevier List of Highly Cited Scientists
The Centre de Recerca Matemàtica (CRM) has eight researchers in the 2026 update of the Stanford-Elsevier ranking of highly cited scientists, which John P. A. Ioannidis (Stanford University) and Jeroen Baas (Elsevier) compile from Scopus data. Xavier Cabré, Álvaro Corral, Tim Myers, Xavier Ros-Oton, Sergey Tikhonov and Xavier Tolsa appear both in the career-long ranking and in the one for 2025, and Diego Vidaurre and Simeon Ball in the 2025 ranking.
Fish schools and growing tissues: a workshop on how collective behaviour emerges
The Centre de Recerca Matemàtica (CRM) organised the Barcelona Workshop on Kinetic and Macroscopic Models in Biology with Friends II, held from 7 to 10 September at the Institut d’Estudis Catalans. More than thirty researchers discussed how order at the scale of tissues and animal groups arises from local interactions between individuals, in a programme that included talks by CRM researchers Daria Stepanova and Juan Arellano-Tintó. Two of the speakers, James Sharpe (EMBL Barcelona) and Chiara Villa (CNRS, Université Paris Cité), talked to the CRM about their research.
The CRM opens the academic year and unveils its Directors’ Gallery
A review of the year, the Communication Plan 2026–2030 and three research talks filled the morning of 19 October.The unveiling of the Directors’ Gallery.CRM CommPau VarelaCRMComm@crm.catGet the latest CRM news and activities in your inbox.Recent...
The CRM Mentoring Programme, as Told by One of Its Pairs
PhD student Joaquim Duran and mathematician Robert Cardona, one of the pairs in the CRM Mentoring ProgrammeJoaquim Duran (left) and Robert Cardona.CRM CommPau VarelaCRMComm@crm.catGet the latest CRM news and activities in your inbox.Recent...
When the reward comes within reach, the brain changes what it compares
As the tokens piled up, choices got faster and more accurate at the same time. The yardstick for judging each offer had moved.CRM CommPau VarelaCRMComm@crm.catGet the latest CRM news and activities in your inbox.Recent newsletters →Two subjects...
Almost every automaton can be reset with a short word
Guillaume Chapuy (Université Paris Cité, CNRS) and Guillem Perarnau (UPC, CRM) have shown that a random finite automaton with n states can, with high probability, be reset by a word of length of order √n log n. The result, published in ACM Transactions on Algorithms, pins the exponent at 1/2, the lower end of a decade of numerical estimates, and addresses the random version of the synchronization problem behind a conjecture Ján Černý posed in 1964 and which still remains open.













