Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen

Autores
Legris, Javier
Año de publicación
1995
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
El aporte de Gentzen en esta obra puede resumirse en los dos resultados siguientes. En primer lugar, las inferencias deductivas son analizadas en un conjunto de inferencias básicas, justificables por el significado mismo otorgado a las constantes lógicas. En segundo lugar, se establece que toda demostración en la lógica de primer orden puede reformularse en una forma normal. El primer resultado se dio a través de su sistema de Deducción Natural; el segundo resultado, expresado en el Hauptsatz o teorema fundamental surge a partir de su sistema de secuentes. En lo que sigue se expondrá brevemente la génesis, algo idealizada, de ambos resultados, haciendo un análisis interpretativo de las motivaciones y la línea de pensamiento que guiaron a su autor en la elaboración de los mismos.
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Materia
Epistemología
Historia de la ciencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/4284
Acceder
id RDUUNC_5076ede72bbb7827fd4e44816bd54e73
oai_identifier_str oai:rdu.unc.edu.ar:11086/4284
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. GentzenLegris, JavierEpistemologíaHistoria de la cienciaFil: Legris, Javier. Universidad de Buenos Aires; Argentina.Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.El aporte de Gentzen en esta obra puede resumirse en los dos resultados siguientes. En primer lugar, las inferencias deductivas son analizadas en un conjunto de inferencias básicas, justificables por el significado mismo otorgado a las constantes lógicas. En segundo lugar, se establece que toda demostración en la lógica de primer orden puede reformularse en una forma normal. El primer resultado se dio a través de su sistema de Deducción Natural; el segundo resultado, expresado en el Hauptsatz o teorema fundamental surge a partir de su sistema de secuentes. En lo que sigue se expondrá brevemente la génesis, algo idealizada, de ambos resultados, haciendo un análisis interpretativo de las motivaciones y la línea de pensamiento que guiaron a su autor en la elaboración de los mismos.Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Universidad Nacional de Córdoba1995-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://hdl.handle.net/11086/4284spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:31:47Zoai:rdu.unc.edu.ar:11086/4284Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:31:47.665Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
title Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
spellingShingle Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
Legris, Javier
Epistemología
Historia de la ciencia
title_short Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
title_full Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
title_fullStr Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
title_full_unstemmed Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
title_sort Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
dc.creator.none.fl_str_mv Legris, Javier
author Legris, Javier
author_facet Legris, Javier
author_role author
dc.subject.none.fl_str_mv Epistemología
Historia de la ciencia
topic Epistemología
Historia de la ciencia
dc.description.none.fl_txt_mv Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
El aporte de Gentzen en esta obra puede resumirse en los dos resultados siguientes. En primer lugar, las inferencias deductivas son analizadas en un conjunto de inferencias básicas, justificables por el significado mismo otorgado a las constantes lógicas. En segundo lugar, se establece que toda demostración en la lógica de primer orden puede reformularse en una forma normal. El primer resultado se dio a través de su sistema de Deducción Natural; el segundo resultado, expresado en el Hauptsatz o teorema fundamental surge a partir de su sistema de secuentes. En lo que sigue se expondrá brevemente la génesis, algo idealizada, de ambos resultados, haciendo un análisis interpretativo de las motivaciones y la línea de pensamiento que guiaron a su autor en la elaboración de los mismos.
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
description Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
publishDate 1995
dc.date.none.fl_str_mv 1995-09
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/4284
url http://hdl.handle.net/11086/4284
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Córdoba
publisher.none.fl_str_mv Universidad Nacional de Córdoba
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1842349622519922689
score 13.13397

Publicaciones similares