4 ms·
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.um
by mbrutsch 13y ago
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?page=root;rgn=full+text;size=100;view=pdf http://quod.lib.umich.edu/u/umhistmath/aat3201.0001.001/401?...
- rntz 13y agoWhitehead & 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.)