4 ms·
> 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 anywher
by md224 6y ago
> 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.
- hardmath123 6y agoSee Denend's thesis, around pg. 44 https://repositories.lib.utexas.edu/bitstream/handle/2152/74439/DENEND-THESIS-2018.pdf https://repositories.lib.utexas.edu/bitstream/handle/2152/74...
- plafl 6y agoWell, 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.