Comment by __MatrixMan__
3 days ago
Right, you need to be able to construct numbers for Gödel's proof to apply.
Hilbert's incidence geometry, for instance, is consistent and complete. It's just rather small.
3 days ago
Right, you need to be able to construct numbers for Gödel's proof to apply.
Hilbert's incidence geometry, for instance, is consistent and complete. It's just rather small.
No comments yet
Contribute on Hacker News ↗