Hilbertova aritmetizace geometrie
Hilbertova aritmetizace geometrie
Tato práce se podrobně věnuje způsobu, jakým David Hilbert (1862–1943) pojal aritmetizaci geometrie v knize Grundlagen der Geometrie z roku 1899. Nejprve stručně představíme Hilbertovy předchůdce z téže doby, kteří buď po změnách v založení geometrie volali, nebo je již sami prostřednictvím axiomaticko-deduktivní metody zapracovali. Neopomeneme přitom, co dílu předcházelo …