论文信息 - FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

Three things are presented: How Hilbert changed the original construction postulates of his geometry into existential axioms; In what sense he formalized geometry; How elementary geometry is formalized to present day's standards.

Jan von Plato

[1] Aarne Ranta. Syntactic Categories in the Language of Mathematics , 1994, TYPES.

[2] E. Kruppa. Anschauliche Geometrie , 1934 .

[3] David Hilbert,et al. Grundlagen der Geometrie , 2022 .

[4] Bengt Nordström,et al. The ALF Proof Editor and Its Proof Engine , 1994, TYPES.

[5] David Hilbert,et al. Über die Entstehung von David Hilberts "Grundlagen der Geometrie" , 1986 .

[6] Aarne Ranta. Type-Theoretical Grammar , 1995 .

[7] L. Kronecker,et al. Ueber den Zahlbegriff. , 1887 .

[8] Hermann Weyl,et al. David Hilbert and his mathematical work , 1944 .

[9] J. Plato. The Axioms of Constructive Geometry , 1995, Ann. Pure Appl. Log..