Comment I wonder... (Score 1) 133
If all the theorems/lemmas/etc used in the ultimate proof were each given an even share of the $1M, and we followed things back recursively, how much money would each person get.
[FORTRAN] will persist for some time -- probably for at least the next decade. -- T. Cheatham