Re:J.C. Bose: 60 GHz in the 1890s
by andkenneth on Sunday July 15, 2018 @09:42PM
(#17538177)
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.
[ Parent
| on HN ]
There's not even a hard definition of what constitutes life. He may have proven something, but it's probably more nuanced than that.
The 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.