Heurística, hipótesis y demostración en matemáticas

Abstract

Atocha Aliseda ofrece una visión sintética de los aportes de George Polya a la heurística de las matemáticas, a la resolución de problemas en el campo de la inteligencia artificial, al estudio de las lógicas no monótonas e, incluso, a los estudios en filosofía de la ciencia. El método de Polya consiste en entender el proceso de resolución de problemas mediante patrones de razonamiento plausible.