Lawrence C. Paulson personal blog
What do we mean by "the foundations of mathematics"?
The phrase “foundations of mathematics” is bandied about frequently these days, but it’s clear that there is widespread confusion about what it means. Some say that a proof assistant must be based on a foundation of mathematics, and therefore that the foundations of mathematics refers to some sort of formal system…
- Points
- 139
- HN comments
- 139
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsLife, Learning & Writing2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 1, 2023 | What do we mean by "the foundations of mathematics"? by JoelMcCracken | 139 | 139 |
