Terror Island
"some photos of chess pieces don't want to buy groceries?"
about the cast main forum search &c.
Strip #147 — Monday, May 21, 2007
it's hard to appreciate this comic strip without seeing it
first current
Notes, Thoughts, &c.

Ben's Notes

Here's something cool I found out about on Wikipedia. Goodstein's theorem, which is that every Goodstein sequence converges to 0, has a pretty simple proof using infinite ordinals, but it can be shown to be unprovable within Peano arithmetic. It's a really natural-looking theorem as examples of undecidability go, and the proof using ordinals is easy to follow. The proof that it's unprovable in PA is trickier, unfortunately.

Lewis's Notes

If you link us from your comic or website, please let me know, so I can give you a shout out, or link back, or what have you. If you read us, and don't link to us from your comic or website, now would be a good time to consider changing that.

The unity sound a lot like Vicki from "Small Wonder" in my head, but I'm not sure if that's even remotely canonical, so don't start writing fanfic with that presupposition.

Valid XHTML 1.1! Valid
CSS! rss search

© 2008 Ben Heaton & Lewis Powell, All Rights Reserved