Did Bertrand Russell’s more rigorous ‘bottom up’ reconstruction of basic arithmetic lead to any significant novel results?

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

Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • SaaSHub - Software Alternatives and Reviews
  • lean4

    Lean 4 programming language and theorem prover

    I know that Lean draws heavily on type theory (which is apparently PM did too) to verify algorithms and various branches of math; I think that this is what Whitehead and Russell wanted to do, but they were stuck with pen and paper.

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