📚 Foundations of The Arcade

Bibliography

Mathematics & Computability

Kurt GödelOn Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931)
Alan TuringOn Computable Numbers, with an Application to the Entscheidungsproblem (1936)
Martin Davis, Hilary Putnam, Julia RobinsonThe Decision Problem for Exponential Diophantine Equations (1961)
Yuri MatiyasevichEnumerable Sets Are Diophantine (1970)
Gregory ChaitinAlgorithmic Information Theory (1987)
Henry RiceClasses of Recursively Enumerable Sets and Their Decision Problems (1953)
Robert BergerThe Undecidability of the Domino Problem (1966)
Cristopher MooreUnpredictability and Undecidability in Dynamical Systems (1990)

Identity & Self

HeraclitusFragments (c. 500 BCE)
John LockeAn Essay Concerning Human Understanding (1689)
David HumeA Treatise of Human Nature (1739)
Jean-Paul SartreBeing and Nothingness (1943)
Simone de BeauvoirThe Ethics of Ambiguity (1947)
Emmanuel LevinasTotality and Infinity (1961)

Society & Systems

G.W.F. HegelPhenomenology of Spirit (1807)
Karl MarxCapital (1867)
Hannah ArendtEichmann in Jerusalem: A Report on the Banality of Evil (1963)
Michel FoucaultDiscipline and Punish (1975)
Ivan IllichTools for Conviviality (1973)
Bruno LatourReassembling the Social (2005)

Perception & Reality

PlatoRepublic (Allegory of the Cave) (c. 380 BCE)
Immanuel KantCritique of Pure Reason (1781)
Friedrich NietzscheBeyond Good and Evil (1886)
Maurice Merleau-PontyPhenomenology of Perception (1945)
Jean BaudrillardSimulacra and Simulation (1981)
Ludwig WittgensteinPhilosophical Investigations (1953)

Time & Impermanence

Augustine of HippoConfessions (Book XI) (c. 400)
Henri BergsonTime and Free Will (1889)
Martin HeideggerBeing and Time (1927)
Buddhist CanonAnicca (Impermanence) — Pali Canon (c. 3rd century BCE)
Jacques DerridaOf Grammatology (1967)
The Arcade does not claim invention of these traditions.
It curates and reframes them as a unified gallery of limits.
Lineage Timeline Ancestors About Gallery