Resumen de Sobre el pensamiento delDr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme

José Ángel Rojas Romero

• español

  Además de un recorrido por el pensamiento filosófico de Claudio Gutiérrez, el presente artículo se presenta una aplicación de un algoritmo para prueba automática de teoremas que fue realizada como parte del curso Lógica y Cibernética, impartido por Claudio Gutiérrez en 1971 y cuyo propósito de aplicación era probar el teorema denominado Holiday Venture. Gutiérrez, en Un algoritmo de inteligencia artificial describe el mencionado algoritmo con tres variantes, pero una de esas variantes, llamada de Orientación Empírica, no fue implementada en un programa. En el presente artículo se muestra la aplicación de dicha variante.

• English

  In addition to an overview of Claudio Gutiérrez’s philosophical thought, this article presents an application of an algorithm for automatic theorem proof that was carried out as part of the Logic and Cybernetics course, taught by Claudio Gutiérrez in 1971 and whose purpose of application was to prove the theorem called Holiday Venture. Gutiérrez, in An Artificial Intelligence Algorithm, describes the aforementioned algorithm with three variants, but one of those variants, called Empirical Orientation, was not implemented in a program. This article shows the application of this variant.