Tesis doctoral de Lopez Brugos José Antonio
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ía 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.
Datos académicos de la tesis doctoral «Gnoseología e historia de la prueba automatica de teoremas.«
- Título de la tesis: Gnoseología e historia de la prueba automatica de teoremas.
- Autor: Lopez Brugos José Antonio
- Universidad: Oviedo
- Fecha de lectura de la tesis: 01/01/1984
Dirección y tribunal
- Director de la tesis
- Alfonso García Suárez
- Tribunal
- Presidente del tribunal: Gustavo Bueno Martinez
- Rafael Beneyto Torres (vocal)
- Carlos Conde Sanchez (vocal)
- Alfonso García Suárez (vocal)