Turing Completeness and Sid Meier's Civilization
Adrian de Wynter

TL;DR
This paper demonstrates that three popular Civilization video games are Turing complete by constructing universal Turing machines within their game mechanics, implying their computational universality and undecidability.
Contribution
It introduces the first constructions of universal Turing machines within complex strategy video games, showing their computational universality.
Findings
Each game contains a Turing complete machine.
The machines can simulate any computation within the game.
Games are undecidable under the assumptions made.
Abstract
We prove that three strategy video games from the Sid Meier's Civilization series: Sid Meier's Civilization: Beyond Earth, Sid Meier's Civilization V, and Sid Meier's Civilization VI, are Turing complete. We achieve this by building three universal Turing machines-one for each game-using only the elements present in the games, and using their internal rules and mechanics as the transition function. The existence of such machines imply that under the assumptions made, the games are undecidable. We show constructions of these machines within a running game session, and we provide a sample execution of an algorithm-the three-state Busy Beaver-with one of our machines.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsArtificial Intelligence in Games · Computability, Logic, AI Algorithms · Evolutionary Algorithms and Applications
