3 ms·
That's what I thought when I read his comment. Hofstadter emphasizes how unmanageable such a system becomes quite quickly. For example, here's what a proof tha
by rickhanlonii 13y ago
That's what I thought when I read his comment. Hofstadter emphasizes how unmanageable such a system becomes quite quickly.
For example, here's what a proof that addition is commutative looks like in TNT: http://imgur.com/a/O63Ij http://imgur.com/a/O63Ij
- raverbashing 13y agoYes, I was thinking of it when I wrote the comment, there's also an arithmetic with P an M symbols - for plus and minus (but I can't find it on google, it's been a while, sorry) Thanks for sharing this snipped, one of the several fun things in GEB
- rickhanlonii 13y agoNo problem, the image at the beginning of chapter 10 is one of my favorite GEB gems: http://i.imgur.com/NahfzTp.jpg http://i.imgur.com/NahfzTp.jpg