Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural

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/2931
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-2931
record_format dspace
spelling I10-R141-11086-29312023-11-08T06:25:03Z Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural 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. La aparición del sistema de Deducción Natural a comienzos de la década del 1930 es un hecho en la historia de la lógica moderna que vale la pena destacar En efecto, la Deducción Natural trajo consigo una nueva concepción de la lógica, la cual parte de la idea de reconstruir de manera aproximada lo que se considera el razonamiento intuitivo (al menos en matemática), y la interpretación dada al sistema originó un 'programa semántico, que más tarde constituirá una alternativa a la semántica de la teoría de modelos. Fil: Legris, Javier. Universidad de Buenos Aires; Argentina. Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. 2016-08-05T18:03:29Z 2016-08-05T18:03:29Z 1996-11 conferenceObject http://hdl.handle.net/11086/2931 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
Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
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 Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
title_short Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
title_full Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
title_fullStr Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
title_full_unstemmed Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
title_sort entre finitismo e intuicionismo: observaciones sobre los orígenes de la deducción natural
publisher Universidad Nacional de Córdoba
publishDate 2016
url http://hdl.handle.net/11086/2931
work_keys_str_mv AT legrisjavier entrefinitismoeintuicionismoobservacionessobrelosorigenesdeladeduccionnatural
_version_ 1806948768459784192

Ejemplares similares