Kevin Buzzard personal blog
Division by zero in type theory: a FAQ
How can a theorem prover use the convention that 1/0=0 and still be consistent?
- Points
- 120
- HN comments
- 82
- Submissions
- 1
- Cited by
- 12 commenters
Math & AlgorithmsSoftware Engineering2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 6, 2020 | Division by zero in type theory: a FAQ by EvgeniyZh | 120 | 82 |
Cited in comments
Linked from 14 Hacker News comments by 12 different people, from Nov 2022 to Oct 2026.
Most recent:
- howling · Oct 3, 2026
- gugagore · Aug 2, 2026
- unexpectedtrap · Apr 13, 2026
- zodiac · Dec 27, 2025
- danabramov · Dec 27, 2025
