Lawrence C. Paulson personal blog
Set theory with types
It is known that mathematics is heavily reliant on set theory, but no one can agree on what set theory is. Many people today understand that we have a choice between set theory and type theory , but they don’t know what type theory is either. Many think that type theory refers to some sort of dependent type theory, as…
- Points
- 125
- HN comments
- 19
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsProgramming Languages2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 22, 2025 | Set theory with types by baruchel | 125 | 19 |
