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

Mostrar todas las versiones(2)

Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.

Guardado en:
Detalles Bibliográficos
Autor principal: Legris, Javier
Formato: conferenceObject
Lenguaje:Español
Publicado: Universidad Nacional de Córdoba 2016
Materias:
Epistemología
Historia de la ciencia
Acceso en línea:http://hdl.handle.net/11086/4284
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-4284
record_format dspace
spelling I10-R141-11086-42842023-10-31T15:46:48Z 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 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. 2016-11-07T17:49:56Z 2016-11-07T17:49:56Z 1995-09 conferenceObject http://hdl.handle.net/11086/4284 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ Universidad Nacional de Córdoba
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Epistemología
Historia de la ciencia
spellingShingle Epistemología
Historia de la ciencia
Legris, Javier
Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
topic_facet Epistemología
Historia de la ciencia
description Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
format conferenceObject
author Legris, Javier
author_facet Legris, Javier
author_sort Legris, Javier
title Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
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
publisher Universidad Nacional de Córdoba
publishDate 2016
url http://hdl.handle.net/11086/4284
work_keys_str_mv AT legrisjavier demostracionesdeconsistenciayderivabilidadformala60anosdelasinvestigacionessobreladeduccionlogicadeggentzen
_version_ 1806948494960754688

Ejemplares similares