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)

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 d...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Legris, Javier
Formato: conferenceObject
Lenguaje:Español
Publicado: Alberto Moreno 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-R14111086-4284
record_format dspace
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 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.
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 Alberto Moreno
publishDate 2016
url http://hdl.handle.net/11086/4284
work_keys_str_mv AT legrisjavier demostracionesdeconsistenciayderivabilidadformala60anosdelasinvestigacionessobreladeduccionlogicadeggentzen
bdutipo_str Repositorios
_version_ 1764820396524175363

Ejemplares similares