SaaSHub helps you find the best software and product alternatives Learn more →
Principia Alternatives
Similar projects and alternatives to principia
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
cycle-cloud
Repository to allow collaboration between Cycle Labs Cloud community in support of the community.
-
Transformer-in-Transformer
An Implementation of Transformer in Transformer in TensorFlow for image classification, attention inside local patches (by Rishit-dagli)
-
-
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.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better principia alternative or higher similarity.
principia reviews and mentions
Posts with mentions or reviews of principia.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-21.
-
Principia Mathematica in modern notation.
You can check it out here: https://www.principiarewrite.com/
-
It took Russell and that other guy 360 pages to prove that 1+1=2. That's how rigorous math is.
It's crazy to think that we didn't really know for sure whether 1+1=2 until ~1910, yet it's true. That's when Bernard Russell (best known for Russell's teapot, exposing a logical fallacy in Christianity) and some other dude actually proved it from axioms. They laid out the foundation of 1+1 in a book called Principia Mathematica. They worked so rigorously that it took them 360 pages to even prove something as basic as 1+1=2 using the axiomatic method. If you want to use a modern tool like Coq to verify 1+1=2, then the best way of doing this is to formalize Principia Mathematica in Coq.
-
Which is the most abstract and bizzare book of mathematics you have ever came across?
There are people trying to make it more readable.
-
Ask HN: Would prog. language look like if that was designed by no-programmer
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/
-
Hacker News top posts: Dec 6, 2021
Whitehead and Russell’s Principia rewritten in Coq\ (44 comments)
- Whitehead and Russell’s Principia rewritten in Coq
- The Principia Rewrite: Whitehead and Russell’s Principia Rewritten in Coq
-
A note from our sponsor - SaaSHub
www.saashub.com | 23 Apr 2024
Stats
Basic principia repo stats
10
198
2.7
9 months ago
LogicalAtomist/principia is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of principia is TeX.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com