Lenguaje ordinario y formalización en la temprana concepción axiomática de Hilbert

El objetivo de este trabajo es analizar el modo en que Hilbert concibe la relación entre la utilización del lenguaje ordinario y su concepción formal del método axiomático. Se intenta mostrar que la decisión de Hilbert de optar por el lenguaje ordinario no se explica exclusivamente en virtud de cier...

Descripción completa

Detalles Bibliográficos
Autor: Giovannini, Eduardo Nicolás
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2016
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:español
OAI Identifier:oai:ri.conicet.gov.ar:11336/39715
Acceso en línea:http://hdl.handle.net/11336/39715
Access Level:acceso abierto
Palabra clave:Hilbert
Método axiomático
Lenguaje ordinario
Formalización
https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
Descripción
Sumario:El objetivo de este trabajo es analizar el modo en que Hilbert concibe la relación entre la utilización del lenguaje ordinario y su concepción formal del método axiomático. Se intenta mostrar que la decisión de Hilbert de optar por el lenguaje ordinario no se explica exclusivamente en virtud de ciertas limitaciones conceptuales propias de aquella etapa inicial, por ejemplo, la carencia de un sistema deductivo formal explícitamente formulado que sirva de base para sus teorías axiomáticas. Por el contrario, se argumenta que esta preferencia de Hilbert obedece a su manera de concebir, en esta etapa temprana, la naturaleza y función del nuevo método axiomático, en particular en su aplicación a la geometría.