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.
I am not a mathematician. But long term I think the #1 most important project is something like mathlib:
https://leanprover-community.github.io/
I think it is the future of mathematics. Yes I know that 99% of mathematicians will disagree. That's not unusual for a fundamental changes to how people think. And yes I know it will take a very long time for this change to manifest itself. That is also not unusual for a fundamental changes to how people think. But don't underestimate the exponential power of real formal mathematics. What mathematicians are currently calling "formal" proofs aren't. They are just informal proofs with lots of details. Again, 99% of mathematicians will strongly disagree. However eventually we will see math journals dedicated to formally proven mathematics. And those proof will start to be regarded above and beyond the current informal proofs. It will take a long time. But IMHO it is inevitable.
Related posts
- An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
- Towards a new SymPy: part 2 – Polynomials
- It's not mathematics that you need to contribute to (2010)
- Did studying proof based math topics e.g. analysis make you a better programmer?
- Which proof assistant is the best to formalize real analysis/probability/statistics?