Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
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 q...
Guardado en:
Autor principal: | |
---|---|
Formato: | conferenceObject |
Lenguaje: | Español |
Publicado: |
Marisa Velasco
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/2931 |
Aporte de: |
id |
I10-R14111086-2931 |
---|---|
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 Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural |
topic_facet |
Epistemología Historia de la ciencia |
description |
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. |
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 |
Marisa Velasco |
publishDate |
2016 |
url |
http://hdl.handle.net/11086/2931 |
work_keys_str_mv |
AT legrisjavier entrefinitismoeintuicionismoobservacionessobrelosorigenesdeladeduccionnatural |
bdutipo_str |
Repositorios |
_version_ |
1764820395711528960 |