En filosofía , la incognoscibilidad es la posibilidad de un conocimiento inherentemente inaccesible . Aborda la epistemología de aquello que no podemos conocer. Algunos conceptos relacionados incluyen el problema de la detención , los límites del conocimiento, las incógnitas desconocidas y la teoría del caos .
Nicholas Rescher ofrece la beca enfocada más reciente para esta área en Incognoscibilidad: una investigación sobre los límites del conocimiento , [1] donde ofreció tres categorías de alto nivel, incognoscibilidad lógica, incognoscibilidad conceptual e incognoscibilidad en principio.
La especulación sobre lo que se puede conocer y lo que no se puede conocer ha sido parte de la tradición filosófica desde los inicios de la filosofía. En particular, la Teoría de los Atributos de Baruch Spinoza [2] sostiene que la mente finita de un ser humano no puede comprender la sustancia infinita; en consecuencia, la sustancia infinita, tal como es en sí misma, es en principio incognoscible para la mente finita.
Immanuel Kant centró la atención en la teoría de la incognoscibilidad con su uso del concepto de noúmeno . Postuló que, si bien podemos saber que el noumenal existe, en sí mismo no es sensible y, por lo tanto, debe permanecer incognoscible.
La investigación moderna abarca problemas y cuestiones indecidibles, como el problema de la detención, que por su propia naturaleza no pueden tener respuesta. Esta área de estudio tiene una historia larga y algo difusa, ya que el desafío surge en muchas áreas de las investigaciones académicas y prácticas.
Rescher organiza la incognoscibilidad en tres categorías principales:
La incognoscibilidad en principio también puede deberse a la necesidad de más energía y materia de la que está disponible en el universo para responder una pregunta, o a razones fundamentales asociadas con la naturaleza cuántica de la materia. En la física de la relatividad especial y general , el cono de luz marca el límite de los eventos físicamente cognoscibles. [3] [4]
El problema de la detención –es decir, el problema de determinar si los programas de computadora arbitrarios alguna vez terminarán de ejecutarse– es un ejemplo destacado de una incognoscibilidad asociada con el campo matemático establecido de la teoría de la computabilidad . En 1936, Alan Turing demostró que el problema de la detención es indecidible. Esto significa que no existe ningún algoritmo que pueda tomar como entrada un programa y determinar si se detendrá. En 1970, Yuri Matiyasevich demostró que el problema diofántico (estrechamente relacionado con el décimo problema de Hilbert ) también es indecidible reduciéndolo al problema de la detención. [5] Esto significa que no existe ningún algoritmo que pueda tomar como entrada una ecuación diofántica y determinar siempre si tiene solución en números enteros.
La indecidibilidad del problema de la detención y del problema diofántico tiene varias implicaciones para las matemáticas y la informática. Por ejemplo, significa que no existe un algoritmo general para demostrar que un enunciado matemático determinado es verdadero o falso. También significa que no existe un algoritmo general para encontrar soluciones a las ecuaciones diofánticas.
En principio, muchos problemas pueden reducirse al problema de la detención. Vea la lista de problemas indecidibles .
Los teoremas de incompletitud de Gödel demuestran la incognoscibilidad implícita en principio de los métodos para demostrar la coherencia y la integridad de los sistemas matemáticos fundamentales.
Hay varias graduaciones de incognoscibilidad asociadas con los marcos de discusión. Por ejemplo:
El tratamiento del conocimiento ha sido amplio y diverso. La propia Wikipedia es una iniciativa para capturar y registrar conocimientos utilizando herramientas tecnológicas contemporáneas. Los intentos anteriores de capturar y registrar el conocimiento incluyeron la redacción de tratados profundos sobre temas específicos, así como el uso de enciclopedias para organizar y resumir campos enteros o incluso la totalidad del conocimiento humano.
Un tema asociado que surge con frecuencia es el de los límites del conocimiento.
Ejemplos de discusiones académicas que involucran límites de conocimiento incluyen:
Gregory Chaitin analiza la incognoscibilidad en muchas de sus obras.
El debate popular sobre la incognoscibilidad creció con el uso de la frase Hay incógnitas desconocidas por parte del Secretario de Defensa de los Estados Unidos, Donald Rumsfeld, en una conferencia de prensa el 12 de febrero de 2002. Además de las incógnitas desconocidas, existen las incógnitas conocidas y las incógnitas conocidas. Estas etiquetas de categorías aparecieron en la discusión sobre la identificación de sustancias químicas. [10] [11] [12]
La teoría del caos es una teoría de la dinámica que sostiene que, para sistemas suficientemente complejos, incluso si conocemos bastante bien las condiciones iniciales, los errores de medición y las limitaciones computacionales hacen imposible una predicción completamente correcta a largo plazo, garantizando así la incognoscibilidad final de los comportamientos de los sistemas físicos.