The questions in this museum are not new. Thinkers from Plato to Gödel have explored their foundations across millennia.
What follows is an honest map of who came before — the intellectual lineage behind each wing.
The Rondanini Arcade does not claim originality over these questions. Thinkers from Plato to Gödel have explored their foundations. What is new here is the curation: presenting mathematical, human, societal, perceptual, and temporal limits together as a single experiential gallery. These are not arguments to win, but boundaries to visit.
🌀
Mathematical Limits
Undecidability, incompleteness, uncomputability
Kurt Gödel
Incompleteness theorems — truth beyond proof (1931)
Alan Turing
The halting problem — limits of computation (1936)
David Hilbert
Formalism and its collapse — the 10th problem (1900)
Yuri Matiyasevich
DPRM theorem — Diophantine undecidability (1970)
Gregory Chaitin
Algorithmic randomness — incompressible truth
Henry Rice
Rice's theorem — no universal property checker (1953)
Rondanini contribution: Unifying these into named experiential exhibits instead of abstract theorems. They proved limits. We made them navigable.
🌿
Human Limits
Identity, meaning, selfhood, consciousness
Heraclitus
Everything flows — identity as constant change (c. 500 BCE)
John Locke
Memory-based personal identity (1689)
David Hume
The self as a bundle of perceptions (1739)
Jean-Paul Sartre
Existential freedom, regret, radical choice
Simone de Beauvoir
Becoming vs being — identity as project
Martin Heidegger
Being-in-time — existence as temporal
Emmanuel Levinas
The impossibility of fully knowing the Other
Rondanini contribution: Framing these not as theories but as unsolvable experiential systems with plaques. They wrote essays. We built a gallery.