You're viewing a comment by roundsquare and its responses.
You're viewing a comment by roundsquare and its responses.
I am being sponsored by Syntress! They bought me an amazing dedicated server to run catonmat on. If you're looking web services, I highly recommend the Syntress guys!
I love to read science books. They make my day and I get ideas for awesome blog posts, such as Busy Beaver, On Functors, Recursive Regular Expressions and many others.
Take a look at my
Amazon wish list, if you're curious about what I have planned reading next, and want to surprise me. :)
If you are interested in advertising on catonmat.net, contact me.
Free tools for coding on Vietstarsoft.com.
Programming homework help.


@Alok
From a purely logical perspective, there maybe some circularity here. I prefer not to think of these as proofs but more as ways to understand and remember the proofs. In addition, getting used to looking at these may help come up with new proofs.
Reply To This Comment