Numberphile Video about Langton's Ant and Sabine Hossenfelder on Wolfram's Theory of Everything

I remember there was once some heated discussion on the Foundations of Mathematics list concerning a prize Steven Wolfram had awarded to Alex Smith for proving that a particular one-dimensional cellular automaton was Turing complete. The discussion was centered on the question of whether an infinite starting pattern was allowable, because that is what is needed to be able to simulate a Turing machine's infinite tape on any cellular automata. But I only just now heard that in 2000 A. Gajardo, A. Moreira and E. Goles of the Universty of Chile's Department for Mathematical Engineering had shown that Langton's Ant can do the same thing. See their paper Complexity of Langton’s ant Langton's Ant is a rule that applies to just one point at a time on an infinite two-dimensional grid.



Subscribe to Numberphile and Numberphile2.

Sabine on Wolfram's Theory of Everything

... and some possible experimental observations ...


Here's her earlier video:


Subscribe to Sabine Hossenfelder.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023