La constitución del programa de Hilbert

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

Detalles Bibliográficos
Autores: Fernández de Castro, Max, Torres Falcón, Yolanda
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2020
País:Argentina
Institución:Universidad Nacional de Quilmes
Repositorio:RIDAA (UNQ)
Idioma:español
OAI Identifier:oai:ridaa.unq.edu.ar:20.500.11807/2396
Acceso en línea:http://ridaa.unq.edu.ar/handle/20.500.11807/2396
Access Level:acceso abierto
Palabra clave:Hilbert, David, 1862-1943
Bernays, Paul, 1888-1977
Logicismo
Método axiomático
Finitismo
Logicism
Axiomatic method
Finitism
id AR_a79181bec29603b99d3264dd6700d4b9
oai_identifier_str oai:ridaa.unq.edu.ar:20.500.11807/2396
network_acronym_str AR
network_name_str Argentina
repository_id_str
spelling La constitución del programa de HilbertThe constitution of Hilbert’s programFernández de Castro, MaxTorres Falcón, YolandaHilbert, David, 1862-1943Bernays, Paul, 1888-1977LogicismoMétodo axiomáticoFinitismoLogicismAxiomatic methodFinitismFil: 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.Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero2020-04-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfhttp://ridaa.unq.edu.ar/handle/20.500.11807/2396Metatheoria1853-2322 (impresa)1853-2330 (en línea)reponame:RIDAA (UNQ)instname:Universidad Nacional de Quilmesinstacron:UNQspainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/2024-05-10T10:40:06Zoai:ridaa.unq.edu.ar:20.500.11807/2396Institucionalhttp://ridaa.unq.edu.ar/Universidad públicaNo correspondehttp://ridaa.unq.edu.ar/oai/snrdalejandro@unq.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:41082024-05-10 10:40:06.977RIDAA (UNQ) - Universidad Nacional de Quilmesfalse
dc.title.none.fl_str_mv La constitución del programa de Hilbert
The constitution of Hilbert’s program
title La constitución del programa de Hilbert
spellingShingle La constitución del programa de Hilbert
Fernández de Castro, Max
Hilbert, David, 1862-1943
Bernays, Paul, 1888-1977
Logicismo
Método axiomático
Finitismo
Logicism
Axiomatic method
Finitism
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
dc.creator.none.fl_str_mv Fernández de Castro, Max
Torres Falcón, Yolanda
author Fernández de Castro, Max
author_facet Fernández de Castro, Max
Torres Falcón, Yolanda
author_role author
author2 Torres Falcón, Yolanda
author2_role author
dc.subject.none.fl_str_mv Hilbert, David, 1862-1943
Bernays, Paul, 1888-1977
Logicismo
Método axiomático
Finitismo
Logicism
Axiomatic method
Finitism
topic Hilbert, David, 1862-1943
Bernays, Paul, 1888-1977
Logicismo
Método axiomático
Finitismo
Logicism
Axiomatic method
Finitism
description Fil: Fernández de Castro, Max. Universidad Autónoma Metropolitana. Departamento de Filosofía; México.
publishDate 2020
dc.date.none.fl_str_mv 2020-04-01
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://ridaa.unq.edu.ar/handle/20.500.11807/2396
url http://ridaa.unq.edu.ar/handle/20.500.11807/2396
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Quilmes
Universidad Nacional de Tres de Febrero
publisher.none.fl_str_mv Universidad Nacional de Quilmes
Universidad Nacional de Tres de Febrero
dc.source.none.fl_str_mv Metatheoria
1853-2322 (impresa)
1853-2330 (en línea)
reponame:RIDAA (UNQ)
instname:Universidad Nacional de Quilmes
instacron:UNQ
instname_str Universidad Nacional de Quilmes
instacron_str UNQ
institution UNQ
reponame_str RIDAA (UNQ)
collection RIDAA (UNQ)
repository.name.fl_str_mv RIDAA (UNQ) - Universidad Nacional de Quilmes
repository.mail.fl_str_mv alejandro@unq.edu.ar
_version_ 1799196525543292928
score 15,811543

Similares en LA Referencia