5 ms·
Geometry, for example.
by davrosthedalek 9y ago
Geometry, for example.
- Bromskloss 9y agoHow does one write down those axioms?
- roywiggins 9y agoWell there's Euclid's, but the famous modern one is Hilbert's. https://en.m.wikipedia.org/wiki/Hilbert%27s_axioms?wprov=sfla1 https://en.m.wikipedia.org/wiki/Hilbert%27s_axioms?wprov=sfl...
- yorwba 9y agoIf your axioms of Geometry allow statements about the length of line segments, it's probably possible to implement integer arithmetic.
- roywiggins 9y agoEudidean geometry is decidable. https://math.stackexchange.com/questions/90393/why-euclidean-geometry-cannot-be-proved-incomplete-by-gödels-incompleteness-the https://math.stackexchange.com/questions/90393/why-euclidean...