|
|||||
|
|
FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM |
|
| Authors: | Plato JAN VON |
| Affiliation: | (1) Department of Philosophy, University of Helsinki, Helsinki, Finland |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |