Recension av Lundapåg
En blandning av logisk och ologisk geometri
12 oktober 2017
Kurt Gödel bevisade att en axiomatisering av dagens matematik inte kan vara både fullständig och konsistent och detta gäller även för dagens geometri. I modern geometri väljer man fullständighet framför konsistens.
En euklidisk punkt är en atom en minsta odelbar enhet, men i Hilberts geometri så är en punkt endast ett Dedekindsnitt. Detta gör Euklides och Hiberts geometrier i grunden fullständigt olika geometrier.
"Inledande geometri för högskolestudier" skiljer inte på de båda teorierna utan försöker ta vara på det bästa av båda.