APUNTES:

Wigner, E. 1959. The Unreasonable Effectiveness of Mathematics in the Natural Sciences.

Communications on pure and applied mathematics, Vol. XIII. Pp: 1-14.

[p. 2]
COMO PARTE DE LA INTRODUCCIN
El texto tiene dos puntos:
(i) Que los conceptos matemticos se presentan en conexiones totalmente
inesperadas. Adems, a menudo, ofrecen una descripcin inesperadamente
aproximada y exacta del fenmeno en estas conexiones.
(ii) Slo porque de esta circunstancia, y porque no entendemos las razones de su
utilidad, no podemos saber si una teora formulada en trminos de conceptos
matemticos es nicamente apropiada.

Mi principal objetivo es iluminarla desde varios lados. El primero punto es que la enorme
utilidad de las matemticas en la ciencia natural es algo que colinda sobre el misterio y
que no hay explicacin racional para esto. Segundo, es slo esta utilidad asombrosa de
los conceptos matemticos que alzan la pregunta de la singularidad de nuestras teoras
fsicas. De acuerdo a establecer el primer punto, que las matemticas juegan un
importante rol irrazonable en fsica, ser til decir unas pocas palabras sobre la pregunta
(1.1.) qu es la matemtica?, entonces, (1.2.) qu es la fsica?, entonces, (1.3.)
cmo las matemticas entran en las teoras fsicas, y, por ltimo, (1.4.) por qu el xito de
las matemticas en su rol en fsica parece tan desconcertante. Mucho menos ser dicho
sobre el segundo punto: (2) la singularidad de las teoras fsicas. Una respuesta apropiada
para esta cuestin requerira elaborar trabajo experimental y terico el cual no ha sido
comprometido hasta la fecha.

1.1. Qu es la matemtica?
1.1. INCLUIRLA EN LA PARTE QUE HABLO DE LAS MATEMTICAS (SECCIN 3,
AXIOMATIZACIN]
El principal nfasis est sobre la invencin de conceptos. La matemtica pronto se
agotara de teoremas interesantes si esta tuviera que ser formulada en trminos de los
conceptos los cuales ya aparecen en los axiomas. Adems, si es incuestionablemente
verdadero que los conceptos de la matemtica elemental y particularmente la geometra
elemental fueron formulados para describir entidades las cuales son sugeridas
directamente por el mundo actual, lo mismo no ser visto para ser verdad de los conceptos
ms avanzados, en particular los conceptos los cuales juegan tal un rol importante en
fsica.
[p. 3]
La mayora de los conceptos matemticos ms avanzados fueron trazados que ellos son
temas (subjects) aptos sobre los cuales los matemticos pueden demostrar su ingenuidad
y el sentido de la belleza formal. De hecho, la definicin de estos conceptos, con una
realizacin que consideraciones interesantes e ingeniosas podra ser aplicada a ellos, es
la primera demostracin de la ingeniosidad de los matemticos quienes las definen. Lo
profundo del pensamiento el cual entra la formacin de los conceptos matemticos es
ms tarde justificado por la habilidad con la cual estos conceptos son usados. Los
grandes matemticos por completo, al menos implacablemente, explotan el dominio del
razonamiento aceptable y rodean los no permisible. Que su osada no les conduce dentro
de una montaa de contradicciones es un milagro en s mismo. El principal punto al cual
habr de ser recordado ms tarde es que los matemticos podran formular slo un
puado de teoremas interesantes sin definiendo conceptos ms all de estos contenidos
en los axiomas y que los conceptos fuera de estos contenidos en los axiomas son
definidos con una visin de permitiendo operaciones lgicas ingeniosas las cuales apelan
a nuestro sentido esttico tanto para operaciones y tambin en sus resultados de mayor
generalidad y simplicidad.

Seguramente, nada en nuestra experiencia sugiere la introduccin de estas cantidades.

Los matemticos no estn dispuestos a abandonar su inters en estos logros ms all de
su genio.

1.2. Qu es la fsica?
1.2. INCLUIRLA EN LA SECCIN 1
Los fsicos estn interesados en el descubrimiento de leyes de la naturaleza inmanente.
De acuerdo a entender esta afirmacin, es necesario analizar el concepto de ley de la
naturaleza.
[p. 4]
El mundo alrededor de nosotros es de complejidad desconcertante y el hecho ms obvio
es que no podemos predecir el futuro. Es, como Schrdinger ha observado, un milagro
que a pesar de la complejidad desconcertante del mundo, ciertas regularidades en los
eventos podran ser descubierto. Las leyes de la naturaleza estn concernidas con tales
regularidades. La regularidad de Galileo es un prototipo de una gran clase de regularidad.
Es sorprendente por tres razones:

(i) Es sorprendente que es verdad no slo en Pisa, y en la poca de Galileo, es

verdad en cada lugar de la Tierra, fue siempre verdadera y ser siempre
verdadera. Esta propiedad de la regularidad es una reconocida propiedad de
invariancia y sin principio de invariancia similar a estos implicados en la
generalizacin precedida de la observacin de Galileo, la fsica no sera
posible.
(ii) La regularidad la cual estamos discutiendo es independiente de las muchas
condiciones las cuales podran tener un efecto sobre esta . Hay, obviamente,
innumerables otras condiciones las cuales son todas inmateriales desde el
punto de vista de la validez de la regularidad de Galileo. La irrelevancia de las
muchas circunstancias las cuales podran jugar un rol en el fenmeno
observado ha sido tambin llamada una invariancia. Sin embargo, esta
invariancia es de un carcter diferente que la precedente, ya que no puede ser
formulada como un principio general. La exploracin de las condiciones las
cuales hacen, y las cuales no hacen, influencian un fenmeno es parte de la
exploracin experimental temprana de un campo. Es la habilidad y la
ingenuidad del experimentador las cuales muestran su fenmeno el cual
depende sobre un conjunto relativamente angosto de condiciones
relativamente fcilmente realizable y reproducible. En el presente caso, la
restriccin de Galileo de su observacin a los cuerpos relativamente pesados
fue el paso ms importante en esta consideracin. De nuevo, es verdad que, si
no hubo fenmenos los cuales fueran independientes del todo, pero un
conjunto manejablemente pequeo de condiciones, la fsica sera imposible.
[p. 5]
(iii) La ley de la naturaleza est contenida en la afirmacin de que a lo largo del
tiempo el cual toma para un objeto pesado caer desde una altura dada es
independiente del tamao, material y forma de cuerpo el cual se arroja. En el
marco de trabajo de la segunda ley de Newton, esta cantidad para la
afirmacin que la fuerza gravitacional la cual acta sobre la cada de los
 cuerpos es proporcional a su masa, pero independiente de su tamao, material
y forma del cuerpo que cae.
El presente escritor tiene la ocasin, algn tiempo atrs, de llamar la atencin a la
sucesin de capas de leyes de la naturaleza, cada capa contiene leyes ms generales y
ms abarcadoras que una previa y su descubrimiento constituye una penetracin
profunda dentro de la estructura del universo que las capas reconocieron antes. Sin
embargo, el punto el cual es ms significativo en el presente contexto es que todas estas
leyes de la naturaleza contienen, incluso en sus consecuencias remotas, slo una
pequea parte de nuestro conocimiento del mundo inmanente. Todas las leyes de la
naturaleza son afirmaciones condicionales lo cual permite una prediccin de algn evento
futuro sobre la base del conocimiento presente, excepto que algunos aspectos del estado
presente del mundo, en prctica la apabullante mayora de los deterministas del estado
presente del mundo, son irrelevantes desde el punto de vista de la prediccin. La
irrelevancia es entendida en el sentido del segundo punto en la discusin del teorema de
Galileo.

Como se considera el estado presente del mundo, las leyes de la naturaleza son
completamente silenciosas. Es en consonancia con esto, primero, que las leyes de la
naturaleza pueden ser usadas para predecir eventos futuros slo bajo circunstancias
excepcionales -cuando todos los determinantes relevantes del estado presente del mundo
son conocidos. Est tambin en consonancia con esto que la construccin de mquinas,
el funcionamiento de las cuales l puede anticipar, constituye el logro ms espectacular
del fsico. En estas mquinas, el fsico crea una situacin en la cual todas las coordinadas
relevantes son conocidas que el comportamiento de la mquina puede ser predicho.

[p. 6]

El principal propsito de la discusin precedente es sealar que las leyes de la naturaleza

son todas afirmaciones condicionales y ellas reflejan slo a una muy pequea parte de
nuestro conocimiento del mundo. As, la mecnica clsica, la cual es el mejor prototipo
conocido de una teora fsica, da la segunda derivada de las coordenadas posicionales de
todos los cuerpos, sobre la base del conocimiento de las posiciones, etc., de estos
cuerpos. No da ninguna informacin sobre la existencia, la posicin presente o las
velocidades de estos cuerpos. Que las afirmaciones condicionales son probablemente
leyes lo cual nos habilita slo a ubicar apuestas inteligentes sobre propiedades futuras del
mundo inmanente, basado sobre el conocimiento del estado presente. Ellos no nos
permiten hacer afirmaciones categricas, incluso ninguna afirmacin condicional
categrica sobre el estado presente del mundo.

1.3. El rol de las matemticas en las teoras fsicas

1.3 INCLUIRLA EN LA SECCIN 2
Naturalmente, usamos las matemticas en fsica cada da para evaluar el resultado de las
leyes de la naturaleza, para aplicar las afirmaciones condicionales para las condiciones
particulares las cuales suceden para prevalecer o suceder a nuestro inters. En orden que
esto es posible, las leyes de la naturaleza deben ya ser formuladas en lenguaje
matemtico. La matemtica, o, ms bien, la matemtica aplicada, no es mucho el maestro
de la situacin en esta funcin: es sirviendo meramente como una herramienta.

La matemtica juega, sin embargo, tambin un rol ms soberano en fsica. Esta era ya
aplicada en la afirmacin, hecha cuando discutiendo el rol de la matemtica aplicada, que
las leyes de la naturaleza deben ser ya formuladas en el lenguaje de las matemticas
para ser un objeto por el uso de la matemtica aplicada. En orden a mostrar la
importancia la cual los conceptos matemticos poseen en la formulacin de las leyes de la
fsica, recordemos, como un ejemplo, los axiomas de la mecnica cuntica como
formulada, explcitamente,
[p. 7]
para los grandes matemticos, von Neumann, o, implcitamente, por el gran fsico,
Dirac. Hay dos conceptos bsicos en la mecnica cuntica: estados y observables. Los
estados son vectores en el espacio de Hilbert, lo observable operadores self-adjoint (auto-
limitado) en estos vectores. Los posibles valores de las observaciones son el valor
caracterstico de los operadores.

Es verdad, por supuesto, que los fsicos escogen ciertos conceptos matemticos para la
formulacin de leyes de la naturaleza, y seguramente slo una fraccin de todos los
conceptos matemticos es usada en fsica. Es verdad tambin que los conceptos los
cuales fueron escogidos no fueron seleccionados arbitrariamente desde una lista de
trminos matemticos, pero fueron desarrollados, en mucho si no la mayora de los casos,
independientemente por los fsicos y reconocidos entonces como habiendo sido
concebido antes por el matemtico. Como vimos antes, los conceptos de las matemticas
no son escogidos por su simplicidad conceptual -incluso secuencias de pares de nmeros
son lejos de ser los conceptos ms simples-, pero para su disposicin a la manipulacin
inteligente y notable, argumentos brillantes. Seguramente para la mente no preocupada,
los nmeros complejos estn lejos de los naturales o simples y ellos no pueden ser
sugeridos por las observaciones fsicas. Adems, el uso de nmeros complejos es en este
caso no un truco de clculo de la matemtica aplicada, sino viene cerca a ser una
necesidad en la formulacin de las leyes de la mecnica cuntica. Finalmente, ahora
comienza a parecer que no slo nmero sino as-llamado funciones analticas son
destinadas a jugar un rol decisivo en la formulacin de la teora cuntica.

La observacin la cual viene ms prxima a una explicacin para los conceptos

matemticos saliendo de la nada en fsica la cual s es la afirmacin de Einstein que las
nicas teoras fsicas las cuales estamos dispuestos a aceptar son las hermosas. Pararse
a discutir que los conceptos de la matemtica, los cuales invitan al ejercicio de as mucho
ingenio, tienen la cualidad de belleza. Sin embargo, la observacin de Einstein puede
mejor explicar las propiedades de las teoras las cuales estamos dispuestos a creer y
tener ninguna referencia a la exactitud intrnseca de la teora.

[p. 8]
1.4. Es el xito de las teoras fsicas verdaderamente sorprendente?
INCLUIRLA O EN SECCIN 2 O EN LA 3, NO LO TENGO CLARO TODAVA
Como un resultado, cuando l encuentra una conexin entre dos cantidades las cuales se
parecen una conexin bien conocida de las matemticas, l saltar a la conclusin que la
conexin es esa discutida en matemticas simplemente porque l no sabe de cualquier
otra conexin similar. Sin embargo, es importante sealar que la formulacin matemtica
de la experiencia a menudo cruda de los fsicos deja en un nmero sorprendente de
casos para una descripcin sorprendentemente exacta de una larga clase de fenmenos.
Muestra que es, en un sentido muy real, el lenguaje correcto.

El primer ejemplo es anotado a menudo uno del movimiento planetario. Las leyes de los
cuerpos cayendo viene a ser ms bien establecida como un resultado de experimentos
llevados a cabo principalmente en Italia. Estos experimentos podran no ser muy exactos
en el sentido en el cual entendemos la exactitud hoy en da particularmente, porque del
efecto de la resistencia del aire y particularmente porque de la imposibilidad, en esa
poca, de medir intervalos cortos de tiempo. Fue Newton quien entonces llev la ley de
los objetos cayendo libremente con el movimiento de la luna, notando que la parbola de
la trayectoria de la piedra lanzada sobre la tierra, y el crculo del camino de la luna en el
cielo, son casos particulares del mismo objeto matemtico de una elipse y postulada la ley
universal de la gravitacin, sobre la base de una nica, y en esa poca muy aproximada,
coincidencia numrica. Empricamente, fue basada sobre observaciones muy escasas. El
lenguaje matemtico en el cual fue formulado contena el concepto de una segunda
derivada y estas de nosotros quienes han intentado trazar un circulo oscilando a una
curva conocida que la segunda derivada no es un concepto muy inmediato. La ley de
gravitacin la cual Newton estableci a regaadientes y la cual l podra verificar con una
exactitud de sobre el 4% ha probado ser exacta menor que una diez mil de por ciento y
lleg a ser tan aproximadamente asociada con la idea de una exactitud absoluta que slo
recientemente los fsicos llegaron a ser de nuevo lo suficientemente audaces para
investigar dentro de la limitacin de su exactitud.

[p. 9]
Recapitulemos nuestra tesis sobre este ejemplo: primero, la ley, particularmente desde
una segunda derivada aparece en esta, es simple slo para los matemticos, a ningn
sentido comn o a estudiantes de primer ao de mentes no matemticas; segundo, es
una ley condicional de alcance muy limitado. Explica nada sobre la tierra la cual atrae las
rocas de Galileo, o sobre la forma circular de la rbita lunar, o sobre los planetas del sol.
La explicacin de estas condiciones iniciales es dejada para los gelogos y los
astrnomos, y ellos tienen un tiempo duro con ellos.

El segundo ejemplo es que, de ordinario, la mecnica cuntica elemental. Esto origin

cuando Max Born notific que algunas reglas de computacin, dadas por Heisenberg,
eran formalmente idnticas con las reglas de la computacin con matrices, establecida
antes por los matemticos. Born, Jordan y Heisenberg entonces propusieron reemplazar
por matrices la posicin y momentum variables de las ecuaciones de la mecnica clsica.
Ellos aplicaron las reglas de la mecnica matricial a unos pocos problemas altamente
idealizados y los resultados fueron bastante satisfactorios. Sin embargo, haba, en esa
poca, ninguna evidencia racional que su mecnica matricial proveera correctas bajo
condiciones ms realistas. Como un asunto de hecho, la primera aplicacin de su
mecnica a un problema realista, el del tomo de hidrogeno, fue dado varios meses
despus, por Pauli. Esta aplicacin dio resultados de acuerdo con la experiencia. Esto fue
satisfactorio, pero todava comprensible, porque las reglas de Heisenberg de clculo
fueron abstradas desde problemas los cuales incluan la antigua teora del tomo de
hidrogeno. El milagro ocurri slo cuando la mecnica matricial, o una teora
matemticamente equivalente, fue aplicada a problemas por lo cual las reglas calculadas
de Heisenberg fueron significativas. Las reglas de Heisenberg presupusieron que las
ecuaciones clsicas del movimiento tienen soluciones con ciertas propiedades peridicas;
y las ecuaciones del movimiento de los dos electrones del tomo de helio, o de incluso el
gran nmero de electrones de tomos pesados, simplemente no tienen estas
propiedades, as que las reglas de Heisenberg no pueden ser aplicadas a estos casos.
Sin embargo, los clculos de niveles de energa ms bajos de helio, como llevados a cabo
unos pocos meses atrs por Kinoshita en Cornell y por Bazley en el departamento de
Standards, estaban de acuerdo con los datos experimentales sin la exactitud de las
observaciones, lo cual es una parte en diez millones. Seguramente es estos casos
obtenemos algo fuera de las ecuaciones que no pusimos.

[p. 10]
En otras palabras, Jordan sinti que habramos sido, al menos temporalmente, incapaces
de tener un desacuerdo imprevisto ocurrido en la teora del tomo de helio. Esto era, en
ese tiempo, desarrollado por Kellner y por Hilleraas. El formalismo matemtico era tan
claro e inmutable as que, tena el milagro de helio el cual era mencionado antes no
ocurriendo, una verdadera crisis se habra alzado. Seguramente, la fsica habra derrotado
esa crisis en una forma u otra. Es verdad, por otro lado, que la fsica como bien sabemos
hoy en da no sera posible sin un recurrente constante de milagros que han ocurrido en el
curso del desarrollo de la mecnica cuntica elemental. De hecho, el nmero de milagros
anlogos est limitado, en nuestra visin, slo por nuestra disposicin a ir despus ms
unas similares. La mecnica cuntica tiene, sin embargo, muchos xitos casi igualmente
notables los cuales nos dan la firme conviccin que es, lo que llamamos, correcto.

El ltimo ejemplo es que, de la electrodinmica cuntica, o la teora del desplazamiento

de Lamb. Lo que sea que la teora de Newton de la gravitacin an tiene conexiones
obvias con la experiencia, experiencia que entra en la formulacin de la mecnica
matricial slo en la forma refinada o sublimada de las descripciones de Heisenberg. La
teora cuntica del desplazamiento de Lamb, como concebida por Bethe y establecida por
Schwinger, es una teora puramente matemtica y la nica contribucin directa de
experimentos fue mostrar la existencia de un efecto medible. El acuerdo con los clculos
es mejor que una parte en un mil.

Los tres ejemplos precedentes, deberan ilustrar la propiedad y la exactitud de la

formulacin matemtica de las leyes de la naturaleza en trminos de conceptos escogidos
por su manipulabilidad, las leyes de la naturaleza ser de exactitud casi fantstica, pero
de alcance estrictamente limitado. Propongo referir a la observacin con estos ejemplos
ilustrar como las leyes empricas de la epistemologa. Junto con las leyes de invariancia
de las teoras fsicas, es una fundamentacin indispensable de estas teoras. Sin las leyes
de la invariancia la teora fsica podra haber sido no fundada de hecho.

[p. 11]

2. La singularidad de las teoras fsicas

Es absurdo creer que la existencia de expresiones matemticas simples de la segunda

derivada de la posicin es auto-evidente, cuando ninguna expresin similar para la
posicin misma o para la velocidad existen. Es, por lo tanto, sorprendente cmo de
inmediato el regalo maravilloso en la ley emprica de la epistemologa fuera tomado por
garantizada.

Cada ley emprica tiene la calidad disquieting que uno no sabe sus limitaciones. Hemos
visto que hay regularidades en los eventos en el mundo alrededor nuestro los cual puede
ser formulado en trminos de conceptos matemticos con una exactitud sorprendente.
Hay, en la otra mano, aspectos del mundo lo cual no creemos en la existencia de alguna
regularidad exacta. Llamamos a estas condiciones iniciales. Debemos perder inters en la
verdad ltima, que es en una imagen la cual es una fusin consistente dentro de una
unidad nica de imgenes pequeas, formadas sobre varios aspecto de la naturaleza.