Re: [math-fun] psycho-history, etc

This may be a good time to put in another plug for something I've wished for for years.

I want every mathematical fact on Wikipedia to come complete with one or more proofs linked to it. Furthermore, as theorem-proving technology advances, I would like each proof to be machine-checkable.

Machines cannot check general mathematical proofs, due to Gödel's Incompleteness Theorem. Indeed, if they could, mathematicians would quickly be rendered obsolete, as a computer could soon perform a breadth-first search of proofs. Sincerely, Adam P. Goucher