Re:0^0
by mbrutsch on Thursday April 03, 2014 @12:49AM
(#7521020)
It took Alfred Whitehead and Bertrand Russell 379 pages to prove that it "logically follows", and that was before they even defined addition! http://quod.lib.umich.edu/u/umhistmath/aat3201.0001.001/401?...
[ Parent
| on HN ]
Whitehead & Russell didn't have the proof machinery we have today; they were inventing the wheel, and they did it badly. (Which is not to insult their achievement. Note that I say inventing the wheel, not reinventing it.)