[LUG.ro Mix] Una teoría matemática sobre los límites del conocimiento humano..

Horacio horacio9573 en gmail.com
Jue Ene 14 11:43:18 ARST 2010


Muchos físicos todavía hablan de una "Teoría del todo", una manera
algo grandiosa de referirse a una teoría matemática que unifica las
fuerzas fundamentales de la naturaleza en una ecuación
(esperanzadamente simple). El debate cada vez más cáustico sobre la
teoría de cuerdas y sobre si puede unificar teorías tan aisladas como
la relatividad general y la mecánica cuántica ha sido el meollo de la
investigación en física fundamental durante décadas hasta ahora.
Bien, cancele la búsqueda de una teoría del todo. El físico David
Wolpert, en un artículo publicado en la prestigiosa Physica D (vol.
237 pp. 1257-1281, 2008), ha mostrado que -a lo sumo- podemos lograr
una teoría del casi todo. El trabajo de Wolpert es muy técnico, pero
sus implicancias son espectaculares. A diferencia de los límites
mencionados al conocimiento, que vienen desde las disciplinas
empíricas, Wolpert usó la lógica para demostrar su punto, siguiendo
los pasos del famoso teorema incompleto demostrado por Kurt Godel en
1931.
Básicamente, Wolpert -sobre un trabajo previo de Alan Turing-
formalizó una descripción de "máquinas de inferencia", es decir
máquinas capaces de llegar a inferencias sobre el mundo (los humanos
son un ejemplo de esas máquinas). Wolpert se concentró en lo que llamó
inferencia poderosa, la capacidad de una máquina de predecir la
totalidad de las conclusiones a que llegará otra máquina similar.
Wolpert entonces demostró lógicamente las dos conclusiones siguientes:
a) para cada máquina capaz de dirigir inferencias poderosas sobre la
totalidad de las leyes de la física habrá una segunda máquina que no
puede ser fuertemente inferida por la primera; b) considerando
cualquier par de esas máquinas, no pueden ser fuertemente inferidas
entre sí.

pero lo más interesante:

Una idea importante a considerar es que se puede deducir la
demostración de Wolpert de manera totalmente independiente de las
características computacionales de las máquinas, y de los detalles de
las particulares leyes de la física.

fuente: http://axxon.com.ar/not/190/c-1901124.htm


Más información sobre la lista de distribución Lugro-mix