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. Is there any way to notify Wikipedia that a statement is a mathematical fact, so that Wikipedia will ask you to link to a proof? Mathematics -- unlike any other field -- has a built-in capability for eliminating B.S. In mathematics we don't survey the experts to determine if something is true; we _prove_ it true. Proof in hand, we no longer need the experts. In mathematics, a long & successful career won't insulate you from people checking your proofs -- on the contrary, your proofs are even more likely to be swiftly challenged. At 10:13 PM 9/25/2011, Simon Plouffe wrote:
Can a machine do mathematics and inference if it has millions of mathematical identities translatable into maple or mathematica ??? a kind of omega machine (after wolfram alpha, n'th version)...