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: | , |
---|---|
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 |