Emil Post Tag System
emil post tag system
Axiomatization of the Computational Universe
Spectacular. First, read this
- The Empirical Metamathematics of Euclid and Beyond
- By Stephen Wolfram.
- https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/
then watch
Streamed live on Feb 16, 2021
Wolfram
- After 100 Years, Can We Finally Crack Post's Problem of Tag? A Story of Computational Irreducibility, and More
- By Stephen Wolfram.
- https://writings.stephenwolfram.com/2021/03/after-100-years-can-we-finally-crack-posts-problem-of-tag-a-story-of-computational-irreducibility-and-more/
The article looks at Emil Post's tag system, essentially concludes that it's like cellular automata or 3n+1 problem, and the view that most things are simply computation. (plus lots math nuggets and short bio of Emil)