Eficiencia y confiabilidad en la lógica del descubrimiento científico

Laburpena

La Tesis trata sobre la lógica del descubrimiento científico, esto es, sobre la metodología de la ciencia aplicada a los casos de identificación de hipótesis y teorías científicas. Más específicamente, la Tesis indaga sobre las relaciones entre las propiedades de confiabilidad y de eficiencia de los métodos de descubrimiento, tales como han sido caracterizadas en Teoría Formal del Aprendizaje y en Teoría de la Complejidad Computacional, respectivamente.El trabajo presenta caracterizaciones formales de confiabilidad aplicables a problemas y métodos de evaluación y de descubrimiento. Partiendo de la distinción entre problemas empíricos y formales, se desarrolla una noción propia de paradigma, y una metodología de caracterización de confiabilidad apta para ser aplicada a ambos tipos de problemas. Esto permite caracterizar formalmente los diferentes niveles y sentidos de confiabilidad que poseen diferentes clases de métodos eficientes.Estas caracterizaciones se expresan de dos maneras: utilizando nociones intuitivas, desarrolladas en Teoría Formal del Aprendizaje (basadas en la convergencia con certeza, en el límite, y gradual); y ubicando en la Jerarquía Aritmética de Kleene-Mostowski las caracterizaciones de confiabilidad para diferentes clases de eficiencia consideradas en Teoría de la Complejidad Computacional.La contribución más original de la Tesis está dada por la demostración formal de los distintos niveles de confiabilidad que pueden poseer diferentes clases de métodos formales de identificación. Estas caracterizaciones permiten extraer una conclusión más general: en muchos casos, sólo es posible conseguir eficiencia en la indagación científica al coste de la confiabilidad de los métodos empleados.