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.
Article by the same author back in 1993, "The Death of Proof"
https://www.scientificamerican.com/article/the-death-of-proo...
Some key quotes for the tldr crowd:
> Anthony Bordg, a mathematician at the University of Cambridge, worries that his field could face a “replication crisis” like that plaguing scientific research.
> Researchers at Microsoft have already invented an “[interactive theorem prover](https://leanprover.github.io/)” called Lean that can check proofs and even propose improvements—much as word-processing programs check our prose for errors and finish sentences for us.
> Advances in computer-aided mathematics ... raise a profound question: what is the _purpose_ of mathematics? ... worries that tools such as Lean will encourage a “stunted vision” of mathematics as an economic commodity or product rather than “a way of being human.”