Olaf Witkowski approaches mathematics through layered realities, embodied agents, and the game of Go, asking whether mathematical truth is discovered, invented, or dependent on the substrate through which it is experienced. He explores interfaces designed to preserve distributed knowledge, then asks how artificial-life systems and nonhuman intelligences might change our picture of mathematics, knowledge, and a possible universal language.