Dzieło · Filozofia analityczna
Grundlagen der Geometrie (Podstawy geometrii)
Aksjomatyczna konstrukcja geometrii euklidesowej z pięciu grup aksjomatów dla niezdefiniowanych „punktów”, „prostych” i „płaszczyzn”; niesprzeczności i niezależności aksjomatów dowodzi się za pomocą modeli. Frege zarzucał, że aksjomaty muszą być prawdziwe o danych przedmiotach.
Wprowadzenie
Hilbert published “Grundlagen der Geometrie” in 1899 in the Festschrift for the unveiling of the Gauss–Weber monument in Göttingen; the book went through many revised editions. It builds Euclidean geometry on five groups of axioms – of incidence, order, congruence, parallels and continuity – for three systems of undefined things called points, lines and planes, whose properties are fixed by the axioms alone. Hilbert proved the consistency of the axioms relative to arithmetic by a model in numbers and their independence by models in which one axiom fails, and showed which theorems depend on which axioms. As a motto he chose Kant’s sentence that all human knowledge begins with intuitions, proceeds to concepts and ends with ideas. Frege objected in letters (1899–1900) and two articles that axioms must be true statements about given objects; Hilbert replied that consistency suffices. The book made the abstract axiomatic method a model for mathematics.
Więcej dzieł: David Hilbert
Źródła: Wikidata
Stan na listopad 2026 · Ulepsz tę stronę · Jak powstaje Agora