he beat me to it

Cosma Shalizi on Godel's Incompleteness Theorem

Notebooks
Gödel's Theorem
(Tue Aug 6 17:30:01 2002)
--------------------------------------------------------------------------------
A much-abused result in mathematical logic, supposed by many authors who don't understand it to support their own favored brand of rubbish, and even subjected to surprisingly rough handling by some who really should know better.

( Read more... )

yet another application of NuPRL

Using Web Access to Formal Mathematics to Support Instruction in Computational Discrete Mathematics
Robert L. Constable