Hacker News Reader

> Aaronson came up with a rewriting system with seven symbols and 11 rules that was analogous to the Collatz procedure.

Has Aaronson written about this anywhere? I'm curious what system he came up with & how it maps onto Collatz.

See Denend's thesis, around pg. 44

https://repositories.lib.utexas.edu/bitstream/handle/2152/74...

Well, thank you. Actually it's possible to follow even for someone without CS education like me. I have skimmed over it and actually it seems that although they are confident that the string rewriting system is equivalent to the conjecture it has not been proven yet. Anyway it's very interesting, I will try to read it in depth.

Reply on news.ycombinator.com