4 ms·
Whether he actually proved it for the first time, I'm not sure. But proof and assumed common knowledge are very different things. A simple example in a differen
by andkenneth 8y ago
Whether he actually proved it for the first time, I'm not sure. But proof and assumed common knowledge are very different things. A simple example in a different domain, the full proof for 1+1=2 is several hundred pages and was not proved till the early 1900s, while that would have been simple common knowledge for millennia beforehand.
- treve 8y agoThere's not even a hard definition of what constitutes life. He may have proven something, but it's probably more nuanced than that.
- mhh__ 8y agoThe Principia is sort of a proof that 1 + 1 = 2, but it's not that simple, we could be perfectly rigorous without it. Principia Mathematica is more of an investigation into the logical basis of mathematics that "useful" proof.