The Vault of the Future personal blog
Gödel, Turing and Cantor: The Math
This is mathematical section of the parent essay Gödel Incompleteness for Startups Gödel Numbering A formal system is just a collection of axioms and rules. Just like we did before we can record ax…
- Points
- 132
- HN comments
- 25
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsScience & Space2013
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 8, 2013 | Gödel, Turing and Cantor: The Math by jamesmiller5 | 132 | 25 |
