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

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/4277
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-4277
record_format dspace
spelling I10-R141-11086-42772023-11-14T16:17:44Z El sueño de Leibniz. Sobre deducción automática y razonadores artificiales 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. 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. Fil: Legris, Javier. Universidad de Buenos Aires; Argentina. Fil: Legris, Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. 2016-11-07T17:32:13Z 2016-11-07T17:32:13Z 1997-11 conferenceObject 978-950-33-0179-1 http://hdl.handle.net/11086/4277 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
El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
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 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 Universidad Nacional de Córdoba
publishDate 2016
url http://hdl.handle.net/11086/4277
work_keys_str_mv AT legrisjavier elsuenodeleibnizsobrededuccionautomaticayrazonadoresartificiales
_version_ 1806949877076197376

Ejemplares similares