Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Principia
A work from the early 20th century, mathematics, logic.
I think some expert called Bertrand Russell's and A.N. Whitehead's "Principia Mathematica" initiative a "bizarre" piece of work, when seen from the perspective of a programming language designer.
I can't make a qualified statement about this, as I am neither a mathematician nor a language designer. And I cannot find the exact quote on the internet, sorry. Just saying.
In code? See for yourself :
https://www.principiarewrite.com/
Perhaps like Inform:
http://inform7.com/
Although I suppose in the age of GPT-3 that will probably take over.
I was a huge fan of xlispstat in the 1990s (which I've archived on Github at (https://github.com/jhbadger/xlispstat), but the simple fact is that the majority of the statistics community just didn't like Lisp-like languages, and not only xlispstat, but newer projects like Incanter (statistics for Clojure) have pretty much failed as well. R meets its need far better than a Scheme library that nobody would have used. It's yet another example of "worse is better".
Related posts
- It took Russell and that other guy 360 pages to prove that 1+1=2. That's how rigorous math is.
- Which is the most abstract and bizzare book of mathematics you have ever came across?
- Whitehead and Russell’s Principia rewritten in Coq
- Whitehead and Russell’s Principia rewritten in Coq
- Hacker News top posts: Dec 6, 2021