El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Saved in:
| Main Author: | |
|---|---|
| Format: | conferenceObject biblioteca |
| Language: | spa |
| Published: |
Universidad Nacional de Córdoba
1997-11
|
| Subjects: | Epistemología, Historia de la ciencia, |
| Online Access: | http://hdl.handle.net/11086/4277 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
dig-unc-ar-11086-4277 |
|---|---|
| record_format |
koha |
| spelling |
dig-unc-ar-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 |
UNC AR |
| collection |
DSpace |
| country |
Argentina |
| countrycode |
AR |
| component |
Bibliográfico |
| access |
En linea |
| databasecode |
dig-unc-ar |
| tag |
biblioteca |
| region |
America del Sur |
| libraryname |
Biblioteca 'Ing. Agrónomo Moisés Farber' de la Facultad de Ciencias Agropecuarias |
| language |
spa |
| topic |
Epistemología Historia de la ciencia Epistemología Historia de la ciencia |
| spellingShingle |
Epistemología Historia de la ciencia Epistemología Historia de la ciencia Legris, Javier El sueño de Leibniz. Sobre deducción automática y razonadores artificiales |
| description |
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina. |
| format |
conferenceObject |
| topic_facet |
Epistemología Historia de la ciencia |
| 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 |
1997-11 |
| url |
http://hdl.handle.net/11086/4277 |
| work_keys_str_mv |
AT legrisjavier elsuenodeleibnizsobrededuccionautomaticayrazonadoresartificiales |
| _version_ |
1787224763510292480 |