¿Llegará la ciencia al punto en que se obtenga todo el conocimiento posible de la cosmología, la física atómica, las ciencias de la vida y otras áreas?

¿Qué hace una máquina de Wolpert? responde a la pregunta casi exactamente.

Desde dentro de cualquier universo posible, ningún intelecto puede saberlo todo “Específicamente, durante los últimos dos años, él [David Wolpert] ha estado refinando una prueba de que no importa qué leyes de la física gobiernen un universo, inevitablemente hay hechos sobre el universo. que sus habitantes no pueden aprender por experimento o predecir con un cálculo. [0708.1362] Límites físicos de inferencia

Philippe M. Binder, físico de la Universidad de Hawaii en Hilo, sugiere que la teoría implica que los investigadores que buscan leyes unificadas no pueden esperar nada mejor que una “teoría de casi todo”. La prueba de Wolpert es paralela a la prueba de Kurt Godel para demostrar formalmente lo que mucha gente han asumido (o inferido) sobre bases intuitivas, es decir, tratadas como un sistema de lógica formal, las leyes fundamentales de la física no pueden explicar cada hecho de la realidad.

La prueba de Godel ha sido objeto de interminables intentos de explicarla o simplificarla. En su esencia, muestra de manera formal que una declaración: “Esta declaración no es cierta” puede manipularse para mostrar que “no todas las declaraciones verdaderas pueden probarse”. La conferencia de Scott Aaronson en Gödel, Turing y Friends va razonablemente lejos para mostrar cómo se puede probar esto. En el proceso de su explicación, también explica la Máquina de Turing. Dado que las máquinas de Turing son universales, la máquina de Wolpert solo puede ser una versión especializada para formar inferencias.

Escrito 28 de marzo de 2014 • Ver votos a favor