Resumen
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.
Comentarios
![Creative Commons License](http://i.creativecommons.org/l/by-nc-nd/3.0/88x31.png)
Esta obra está bajo una licencia internacional Creative Commons Reconocimiento-NoComercial-SinObraDerivada 3.0.
Derechos de autor 2024 Revista de Filosofía de la Universidad de Costa Rica