1 post(s) tagged with "math"

View All Tags

Critter World is Turing Complete - A Not-So-Rigorous Proof

August 27, 2018

Critter World is Cornell's CS 2112's Final Project. It is a simulated hexagon world where critters, controled by programs, can move, eat, mate, bud, attack, etc. The programming language is very primitive and not Turing complete, but it's still useful and expressive enough to cleverly control one step of a critter move. You can see the spec publicly here.