{"id":118220,"date":"2022-04-26T16:28:48","date_gmt":"2022-04-26T16:28:48","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/gnoseologia-e-historia-de-la-prueba-automatica-de-teoremas\/"},"modified":"2022-04-26T16:28:48","modified_gmt":"2022-04-26T16:28:48","slug":"gnoseologia-e-historia-de-la-prueba-automatica-de-teoremas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/historia\/gnoseologia-e-historia-de-la-prueba-automatica-de-teoremas\/","title":{"rendered":"Gnoseolog\u00eda e historia de la prueba automatica de teoremas."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Lopez Brugos Jos\u00e9 Antonio <\/strong><\/h2>\n<p>Cumpliendo en cierto modo el ideal de leitniz  se admite la importancia de la logica en la programacion y en la ia (sobre todo a fines de los 60 y primeros 70: control y verificacion de programas  sistemas pregunta-respuesta prolog  etc) aunque se discute su papel en la fase de procesamiento . Siguiendo las conexiones explicitas de los propios autores de la pat  junto con criterios como continuidad  eficacia y potencia teorica  he dispuesto formal y cronologicamente el material. De esta manera se constituye un campo de logica aplicada que permite ejercitar la gnoseolog\u00eda de esta ciencia  destacandose asi algunos nucleos de transcendencia gnoseologica  como la dialectica  procedimientos heuristicos\/algoritmicos logica pura\/aplicada  intuicionista\/formalista  etc donde las caracteristicas del procesamiento regulan tambien a los algoritmos. Presento ademas una bibliografia que considero muy completa.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Gnoseolog\u00eda e historia de la prueba automatica de teoremas.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Gnoseolog\u00eda e historia de la prueba automatica de teoremas. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Lopez Brugos Jos\u00e9 Antonio <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Oviedo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1984<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Alfonso Garc\u00eda Su\u00e1rez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Gustavo Bueno Martinez <\/li>\n<li>Rafael Beneyto Torres (vocal)<\/li>\n<li>Carlos Conde Sanchez (vocal)<\/li>\n<li>Alfonso Garc\u00eda Su\u00e1rez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Lopez Brugos Jos\u00e9 Antonio Cumpliendo en cierto modo el ideal de leitniz se admite la importancia de [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[104,5324,222,8846],"tags":[25388,8857,8931,30969,13571],"class_list":["post-118220","post","type-post","status-publish","format-standard","hentry","category-historia","category-historia-de-la-ciencia","category-historias-especializadas","category-oviedo","tag-alfonso-garcia-suarez","tag-carlos-conde-sanchez","tag-gustavo-bueno-Martinez","tag-lopez-brugos-jose-antonio","tag-rafael-beneyto-torres"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/118220","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=118220"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/118220\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=118220"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=118220"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=118220"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}