La constitución del programa de Hilbert

Fil: Fernández de Castro, Max. Universidad Autónoma Metropolitana. Departamento de Filosofía; México.

Saved in:
Main Authors: Fernández de Castro, Max, Torres Falcón, Yolanda
Format: info:eu-repo/semantics/article
Language:spa
Published: Universidad Nacional de Quilmes 2020
Subjects:
Online Access:http://ridaa.unq.edu.ar/handle/20.500.11807/2396
Tags: Add Tag
No Tags, Be the first to tag this record!
id ir-20.500.11807-2396
recordtype dspace
spelling ir-20.500.11807-23962020-12-22T15:49:36Z La constitución del programa de Hilbert The constitution of Hilbert’s program Fernández de Castro, Max Torres Falcón, Yolanda Hilbert, David, 1862-1943 Bernays, Paul, 1888-1977 Logicismo Método axiomático Finitismo Logicism Axiomatic method Finitism Fil: Fernández de Castro, Max. Universidad Autónoma Metropolitana. Departamento de Filosofía; México. Fil: Torres Falcón, Yolanda. Universidad Autónoma Metropolitana. Departamento de Filosofía; México. En las páginas que siguen pretendemos dar una visión panorámica y esquemática de la evolución del programa formalista que resulta de los estudios recientes de notas de curso hasta hace poco inéditas. Analizaremos primeramente ciertos elementos del programa (la preferencia por el método axiomático, el estructuralismo y el logicismo). En segundo lugar observaremos cómo, una vez el programa establecido en 1920 (aunque con cierta vaguedad), diversos finitismos con una base común fueron ensayados por Hilbert y Bernays hasta 1931, en una tentativa por definir con precisión su programa y llevarlo a buen término. El resultado es el de un complejo programa de investigación en continua evolución. In the pages that follow, it is our intention to present a panoramic and schematic view of the evolution of the formalist program, which derives from recent studies of lecture n otes that were unknown until very recently. Firstly, we analyze certain elements of the program (the preference for the axiomatic method, as well as structuralism and logicism). Secondly, we observe how, once the program was established in 1920 (albeit somewhat vaguely), in the period up to 1931, different types of finitism with a common basis were tried out by Hilbert and Bernays, in an effort to define their program precisely and bring it successfully to fruition. The result is a complex research program in constant evolution. 2020-04-01 info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://ridaa.unq.edu.ar/handle/20.500.11807/2396 spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ application/pdf Universidad Nacional de Quilmes Universidad Nacional de Tres de Febrero Metatheoria 1853-2322 (impresa) 1853-2330 (en línea)
institution RIDAA UNQ
collection DSpace
language spa
topic Hilbert, David, 1862-1943
Bernays, Paul, 1888-1977
Logicismo
Método axiomático
Finitismo
Logicism
Axiomatic method
Finitism
spellingShingle Hilbert, David, 1862-1943
Bernays, Paul, 1888-1977
Logicismo
Método axiomático
Finitismo
Logicism
Axiomatic method
Finitism
Fernández de Castro, Max
Torres Falcón, Yolanda
La constitución del programa de Hilbert
description Fil: Fernández de Castro, Max. Universidad Autónoma Metropolitana. Departamento de Filosofía; México.
format info:eu-repo/semantics/article
author Fernández de Castro, Max
Torres Falcón, Yolanda
author_facet Fernández de Castro, Max
Torres Falcón, Yolanda
author_sort Fernández de Castro, Max
title La constitución del programa de Hilbert
title_short La constitución del programa de Hilbert
title_full La constitución del programa de Hilbert
title_fullStr La constitución del programa de Hilbert
title_full_unstemmed La constitución del programa de Hilbert
title_sort la constitución del programa de hilbert
publisher Universidad Nacional de Quilmes
publishDate 2020
url http://ridaa.unq.edu.ar/handle/20.500.11807/2396
_version_ 1796766208508297216
score 10.277026