Lawrence C. Paulson personal blog
Formalising a new proof that the square root of two is irrational
Recently, somebody shared on Twitter a new proof of the irrationality of √2. Its claimed advantage is that “it requires no knowledge of mathematics above the definition of what it means for a number to be irrational, and can be written almost in one line.” These claims are dubious: the usual proof, which I’ve…
- Points
- 103
- HN comments
- 86
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 19, 2023 | Formalising a new proof that the square root of two is irrational by ColinWright | 103 | 86 |
