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

Autores
Legris, Javier
Año de publicación
1996
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.
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.
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/2931
Acceder
id RDUUNC_95bdae7df7296e67cb8d7dee8b06d513
oai_identifier_str oai:rdu.unc.edu.ar:11086/2931
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción naturalLegris, 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.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.Universidad Nacional de Córdoba1996-11info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://hdl.handle.net/11086/2931spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:32:17Zoai:rdu.unc.edu.ar:11086/2931Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:32:18.023Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
title Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
spellingShingle Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
Legris, Javier
Epistemología
Historia de la ciencia
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
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.
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.
description Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
publishDate 1996
dc.date.none.fl_str_mv 1996-11
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/2931
url http://hdl.handle.net/11086/2931
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_ 1842349634661384192
score 13.13397

Publicaciones similares