El rol de las reglas heurísticas en los problemas intratables

Abstract

Cómo es sabido, existe una amplia tradición de investigación que intenta caracterizar a la actividad científica como una actividad de planteamiento y de resolución de problemas. Tomando este enfoque general, lo que hago aquí son algunas reflexiones sobre el concepto mismo de problema científico, bajo la suposición de que nos encontramos con uno de esos conceptos de considerable vaguedad intrínseca, e intento acercar a la filosofía de la ciencia una línea de investigación que está aportando en mi opinión elementos de interés para una mejor elucidación del mismo. Me refiero al área de la complejidad computacional, aunque en realidad podríamos pensarla como un emergente de una trama de relaciones entre varias disciplinas: la lógica matemática, la teoría de autómatas, las teorías de lenguajes formales, y varias ramas de las ciencias de la computación, especialmente la teoría abstracta de la computabilidad. Por razones de espacio y también de eventual impacto sobre la filosofía de la ciencia, he recortado el análisis de esta temática a los llamados problemas intratables, ya que los mismos brindan sugerencias interesantes para un proyecto de taxonomía de problemas, a la vez que generan interesantes desafíos a la epistemología. El concepto de regla heurística subyace con diferentes grados de generalidad a todo el trabajo.