Lógica matemática e inteligencia artificial

Esta obra pretende llenar un cierto vacío en la bibliografía en español sobre nuevos temas. Por ello, en primer lugar, hemos tratado de ciertos grandes lógicos, que no son los más mencionados; entre ellos, Bolzano, Brentano, Twardowski, Lesniewski, la Escuela de Lvov-Varsovia (ELV), en su contraste con el mucho más `mediático´ Círculo de Viena (el Wiener Kreis). Seguir con la búsqueda de sus antecesores, como Leibniz o los mencionados Bolzano y Brentano; de sus discípulos, Husserl y Twardowski, dando lugar este a tan brillante grupo, con Lukasiewicz, Tarski, Banach. Para luego referirnos a Peirce, a Hilbert, o a Zermelo. También otros fundamentales, como Russell, Whitehead y Wittgenstein. Sin dejar por ello a Brouwer o su discípulo, Heyting. Así como Church, Kleene o Zadeh. Esperamos completar algo más esa línea del tiempo, muchas veces fragmentaria e incompleta, y que es tan interesante. Se abordan, asimismo, las mutuas relaciones entre Lógica, Análisis e Inteligencia Artificial, materias que por su importancia y actualidad reclaman la atención de todo el público inteligente. El Profesor Doctor Ángel Garrido Bullón pertenece al Departamento de Matemáticas Fundamentales de la Facultad de Ciencias de la UNED. Ha publicado hasta ahora cerca de trescientos artículos y catorce libros. Su tesis doctoral, “Filosofía y Matemáticas de la Vaguedad e Incertidumbre”, obtuvo la calificación de Sobresaliente Cum Laude por Unanimidad. Posteriormente, se le ha concedido por la misma el Premio Extraordinario de Doctorado. Participa en grupos de investigación avanzada y en Redes de Innovación Docente, dirigiendo Cursos de Formación Permanente sobre Lógica, Cursos de Verano de la UNED; asimismo, es Invited Speaker, Chairman, etc., de numerosos congresos internacionales.