¿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.
- ¿Cómo podemos decir que un elemento es un metal o un no metal?
- ¿Cómo exactamente las explosiones destruyen cosas?
- ¿Por qué la luz viaja tan rápido?
- ¿Qué está haciendo la ciencia para encontrar una manera rentable de desalinizar el agua del océano para ayudar con la sequía?
- ¿Por qué es tan importante una teoría de la física si puede demostrarse que es incorrecta?
Escrito 28 de marzo de 2014 • Ver votos a favor