El sueño de Leibniz. Sobre deducción automática y razonadores artificiales

Mostrar todas las versiones(2)

En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el papel que la deducción automática tiene en el desarrollo actual de la...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Legris, Javier
Formato: conferenceObject
Lenguaje:Español
Publicado: José Ahumada 2016
Materias:
Epistemología
Historia de la ciencia
Acceso en línea:http://hdl.handle.net/11086/4277
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-4277
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
El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
topic_facet Epistemología
Historia de la ciencia
description En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el papel que la deducción automática tiene en el desarrollo actual de la lógica matemática y, en segundo lugar, la importancia que tiene en la justificación filosófica de la inferencia deductiva. La investigación sobre la deducción automática aporta fundamentaciones "constructivas" de la lógica y un análisis de la inferencia lógica como un mecanismo para obtener conocimiento.
format conferenceObject
author Legris, Javier
author_facet Legris, Javier
author_sort Legris, Javier
title El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_short El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_full El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_fullStr El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_full_unstemmed El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
title_sort el sueño de leibniz. sobre deducción automática y razonadores artificiales
publisher José Ahumada
publishDate 2016
url http://hdl.handle.net/11086/4277
work_keys_str_mv AT legrisjavier elsuenodeleibnizsobrededuccionautomaticayrazonadoresartificiales
bdutipo_str Repositorios
_version_ 1764820396521029635

Ejemplares similares