I'm also available for patents and trust funds too
3,812 karma · joined September 15, 2021
I'm also available for patents and trust funds too
"Math is something humans invented"
Majority of mathematicians are platonists and believe arithmetic was existed and was discovered and was not "invented".
"There is no logic per se"
There is logic to it! Most logicians are mathematicians at heart. See Russel, Godel, Hilbert, etc
"no beauty of Mathematical Logic"
Mathematicians do focus on beauty. Entire books have been written on this. G.H. Hardy in A Mathematician's Apology even said math MUST be beautfiul
"Proofs are religious things"
What are you going on about...
https://arstechnica.com/information-technology/2026/03/feder...
It sounds interesting and a step forward (never heard of library Os itll now), but why won't this run into hundreds of the same security bugs that plague Windows if it's not spec'd and verified?
And ones that have all the indicators of compromise of Russia, Iran, DPRK, PRC, etc
If this is not a failure of Mayor of London Sadiq Khan, then who? Where I grew up, new bridges were paid for by tolls until the building cost was paid then taxes covered occasional maintenance.
For a while... Eventually, you can expect that functions will be streamlined, compacted, and impacted
Whoever wrote that is making stuff up now, even worse than Sam Altman asking for trillions of dollars to build data centers
https://www.wsj.com/tech/ai/sam-altman-seeks-trillions-of-do...