La irreductibilidad computacional es una de las principales ideas propuestas por Stephen Wolfram en su libro A New Kind of Science .
Wolfram denomina la incapacidad para atajar un programa (por ejemplo, un sistema ), o describir su comportamiento de una manera simple, "irreductibilidad computacional". El mundo de los programas simples contiene una gran diversidad de comportamientos , pero, debido a la indecidibilidad , es imposible predecir lo que harán antes de ejecutarlos esencialmente. La idea demuestra que hay casos en los que las predicciones de la teoría no son efectivamente posibles. Wolfram afirma que varios fenómenos son normalmente irreductibles desde el punto de vista computacional.
La irreductibilidad computacional explica las limitaciones observadas de la ciencia convencional existente. En casos de irreductibilidad computacional, solo se pueden utilizar la observación y la experimentación. La irreductibilidad computacional también puede proporcionar una resolución con base científica para el libre albedrío .
Israel y Goldenfeld encontraron que algunos sistemas menos complejos se comportaban de manera simple y predecible (por lo tanto, permitían aproximaciones ). Sin embargo, los sistemas más complejos seguían siendo computacionalmente irreductibles e impredecibles. Se desconocen qué condiciones permitirían describir fenómenos complejos de manera simple y predecible.
Marius Krumm y Markus P Muller (físico) vinculan la irreductibilidad computacional al Compatibilismo . [1] Refinan conceptos a través del requisito intermedio de un nuevo concepto llamado fuente computacional que exige una representación esencialmente completa y casi exacta de las características asociadas con el problema o proceso representado, y un cálculo completo sin atajos. El enfoque simplifica la conceptualización del problema a través de Sin atajosmetáfora. Esto puede ser análogo al proceso de cocción, donde se requieren todos los ingredientes de una receta, así como seguir el "programa de cocción" para obtener el producto final deseado. Esto es paralelo a los problemas de las profundas distinciones entre similitud e identidad.