http://www.miskatonic.org/godel.html. The text box from Rudy Rucker’s Inf inity
and the Mind contains Gödel’s argument in computer-program form.
- See http:// www .cs .auckland .ac .nz/ CDMTCS/ chaitin/ georgia .html. This site ac-
tually has an article that appeared relating Gödel’s theorem and information
theory. It’s pretty close to readable if you’re comfortable with mathematical nota-
tion.
- See http:// en .wikipedia .org/ wiki/ Elk _Cloner.
- Science 3 17 (July 13, 2007): pp. 210–11.
- S e e h t t p : / / w w w - g r o u p s. d c s. s t - a n d. a c. u k / ~ h i s t o r y / B i o g r a p h i e s / N o v i k o v. h t m l.
- See http://members.tripod.com/~dogschool/. Here’s a sh ort course in group
theory with good graphics that will get you through the group theory that under-
lies the Rubik’s Cube. The explanation for the reason this site has the whimsical
title “The Dog School of Mathematics” can be found by going to the home page.
- See http://en.wikipedia.org/ wiki/Collatz_conjecture. This site has a lot of stuff,
much of which can be read with only a high-school background—but not all
of it.
- See http://en.wikipedia.org/ wiki/ Paul_Erdos. This site gives you a nice picture
of Erdos’s life as well as his accomplishments.
- See http://en .wik ipedia.org/ wiki/Goodstein%27s_theorem. The opening para-
graph calls attention to the fact that Goodstein’s theorem is a nonartificial exam-
ple of an undecidable proposition. The mathematics is a little hard to read for the
neophyte, but the persistent may be able to handle it.
Even Logic Has Limits 131