(idea) by s_alanet Sat Nov 13 1999 at 14:35:28
The TNT system is a complete formal system for dealing with number theory. It was used in GEB by Douglas Hoefstadter to help explain Gödel's Theorem, among other things.

See "ASCII TNT System" in TNT for the version of it I came up with for use outside of the book.

del.icio.us Facebook Digg StumbleUpon Reddit (I like it!)
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.