| Full text | |
| Author(s): |
Giorgio Venturi
[1]
Total Authors: 1
|
| Affiliation: | [1] University of Campinas. Department of Philosophy - Brasil
Total Affiliations: 1
|
| Document type: | Journal article |
| Source: | Manuscrito; v. 40, n. 2, p. 5-17, 2017-06-00. |
| Abstract | |
ABSTRACT We present and discuss a change in the introduction of Hilbert’s Grundlagen der Geometrie between the first and the subsequent editions: the disappearance of the reference to the independence of the axioms. We briefly outline the theoretical relevance of the notion of independence in Hilbert’s work and we suggest that a possible reason for this disappearance is the discovery that Hilbert’s axioms were not, in fact, independent. In the end we show how this change gives textual evidence for the connection between the notions of independence and simplicity. (AU) | |
| FAPESP's process: | 14/25342-4 - A logical analysis of the notion of consistency in set theoretical practice |
| Grantee: | Giorgio Venturi |
| Support Opportunities: | Scholarships abroad - Research Internship - Post-doctor |
| FAPESP's process: | 13/25095-4 - Set theory and its interal logic |
| Grantee: | Giorgio Venturi |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |