Hacker News new | past | comments | ask | show | jobs | submit login

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




Yes, 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


No problem, the image at the beginning of chapter 10 is one of my favorite GEB gems: http://i.imgur.com/NahfzTp.jpg




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: