Completitud y continuidad en Fundamentos de la geometría de Hilbert (Completeness and Continuity in Hilbert’s Foundations of Geometry)

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (1):139-163 (2013)
  Copy   BIBTEX

Abstract

El artículo documenta y analiza las vicisitudes en torno a la incorporación de Hilbert de su famoso axioma de completitud, en el sistema axiomático para la geometría euclídea. Esta tarea es emprendida sobre la base del material que aportan sus notas manuscritas para clases, correspondientes al período 1894–1905. Se argumenta que este análisis histórico y conceptual no sólo permite ganar claridad respecto de cómo Hilbert concibió originalmentela naturaleza y función del axioma de completitud en su versión geométrica, sino que además permite disipar equívocos en cuanto a la relación de este axioma con la propiedad metalógica de completitud de un sistema axiomático, tal como fue concebida por Hilbert en esta etapa inicial.The paper reports and analyzes the vicissitudes around Hilbert’s inclusion of his famous axiom of completeness, into his axiomatic system for Euclidean geometry. This task is undertaken on the basis of his unpublished notes for lecture courses, corresponding to the period 1894–1905. It is argued that this historical and conceptual analysis not only sheds new light on how Hilbert conceived originally the nature of his geometrical axiom of completeness, but also it allows to clarify some misunderstandings regarding this axiom and the metalogical property of completeness of an axiomatic system, as it was understoodby Hilbert in this initial stage.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hilbert and the emergence of modern mathematical logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.
On Hilbert's Axiomatics of Propositional Logic.V. Michele Abrusci - 2014 - Perspectives on Science 22 (1):115-132.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
The pragmatism of Hilbert's programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.

Analytics

Added to PP
2013-06-12

Downloads
79 (#207,331)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references