What is the difference between types and class in Principia Mathematica?

This page summarizes the projects mentioned and recommended in the original post on /r/math

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • formalising-mathematics

    Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

    • I don't want to distract from your journey into PM, but if this is the kind of thing you're into, I'd highly recommend checking out LEAN at some point in the future. It's a proof assistant language... in some ways you could call it (one of the many) modern efforts to continue what PM set out to do. If you're inclined, the natural number game is where to start, with this as a great followup. The standard reference here is what you'd get the most out of reading, but it'd be hard to follow without getting your hands dirty a little first.

  • 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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts