Completitud y continuidad en Fundamentos de la geometría de Hilbert: acerca del Vollständigkeitsaxiom

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ó originalmente la 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 understood by Hilbert in this initial stage.