21 votos

Hilbert, Gödel, y "Dios ecuaciones" - un siglo 19 lección para el siglo 21 los físicos?

Parece que hay un montón de respetarse los físicos que aparecen en el pop-sci programas (discovery channel, canal de la ciencia, etc.) en estos días la difusión del evangelio de "podemos saber, debemos saber."

Tres ejemplos, de forma rápida: 1) Muchos de los programas de la característica de Michio Kaku diciendo que él está en una búsqueda para encontrar una ecuación, "tal vez solo una pulgada de largo," que "describir el universo entero". 2) Max Tegmark ha salido con un nuevo libro en el que expresa la sensación visceral de que "nada está fuera de límites" para la ciencia. El subtítulo de este libro es de Mi Búsqueda de la Naturaleza Última de la Realidad. 3) En la serie a Través del agujero de Gusano se habla de una búsqueda de Dios "ecuación".

(Un buen contador-ejemplo sería el de Feynman, pero su auto-denominado "no-axiomático" o "Babilonia" enfoque no parece populares con los físicos de hoy).

Hay cualquier sentido entre los físicos que sería imposible de articular la "naturaleza última de la realidad" en las ecuaciones y la lógica formal? A mí me parece que los físicos están siguiendo los pasos de el siglo 19 matemáticos (dirigido por Hilbert), que eran similares en su búsqueda, que fue puesto a descansar por Gödel los teoremas de incompletitud en 1931. Es allí cualquier apreciación de cómo los Teoremas de Incompletitud se podría aplicar a la física?

Tiene cualquier progreso que ha hecho en Hilbert, la 6ª problema para el siglo 20? ¿No debería esto ser abordados antes de llegar todo se trató de un "Dios de la ecuación?"

14voto

Joakim Bodin Puntos 161

Primera relación: ¿hay alguna apreciación de cómo los Teoremas de Incompletitud se podría aplicar a la física?

Para poner esto en perspectiva, la imagen de Newton dijo: "Oh, se parece a mi $F = m a$ es casi una teoría del todo. Así que ahora yo podía saber todo acerca de la naturaleza, si sólo se garantiza que cada suficientemente fuerte coherente sistema formal está completa".

Y, a continuación, después de Lagrange: "Oh, se parece a mi $\delta L = 0$ es casi una teoría del todo. Así que ahora yo podía saber todo acerca de la naturaleza, si sólo se garantiza que cada suficientemente fuerte coherente sistema formal está completa".

Y, a continuación, después de Schrödinger: "Oh, se parece a mi $i \hbar \partial_t \psi = H \psi$ es casi una teoría del todo. Así que ahora yo podía saber todo acerca de la naturaleza, si sólo se garantiza que cada suficientemente fuerte coherente sistema formal está completa".

Y así sucesivamente.

El punto es, que lo que impidió que los físicos de hace 300 años, hace 200 años, hace 100 años a partir de, en principio, sabiendo todo acerca de la física nunca fue cualquier teorema de la incompletitud, pero siempre fueron dos cosas:

  1. ellos en realidad no tienen una teoría fundamental todavía;

  2. ni siquiera tuvieron la matemáticas pero a formular lo que más tarde se entiende que es la más fundamental de la teoría.

Gödel del teorema de la incompletitud es, como "$E = m c^2$" en la cultura pop: a la gente le gusta aludir a él con un vago sentimiento de profunda importancia, sin saber realmente lo que el impacto es. Gödel incompletenss es una declaración acerca de la relación entre metalenguaje y el "objeto" de lenguaje (metalenguaje que permite a uno saber que una declaración "es cierto", después de todo, aunque si no puede ser probada en el objeto idioma!). Para apreciar esta distinción uno tiene que ahondar un poco más en la lógica formal que me suelen ver a las personas hacer que se preguntan acerca de su pertinencia a la física.

Y por encima de la historia sugiere: en cualquier caso, es prematuro preocuparse de los detalles finos de la lógica formal mientras que el candidato de la formalización de la física que en realidad tenemos es claramente insuficiente, y en particular tanto como parece plausible que en 100 años ahora, la forma fundamental de la física se expresan en nuevas matemáticas en comparación con la que se presentan las herramientas de la física matemática aspecto tan anticuado como los de los 100 años de hacer a nosotros ahora. Sólo tiene que abrir un teórico de la física de libros de texto desde la vuelta del 19 al siglo 20 para ver que con nuestros conocimientos acerca de la física habría sido ridículo para la gente a preocuparse por el estado incompleto. Tenían que preocuparse por el aprendizaje de álgebra lineal y geometría diferencial.

Y esto nos lleva directamente a

segundo: Tiene ningún progreso ha hecho en Hilbert, la 6ª problema para el siglo 20?

Recientemente había estado dando algunas charlas que se inició con la consideración de esta cuestión, véanse los enlaces en mi sitio en el Sintético de la teoría cuántica de campos.

Una respuesta es que ha habido un progreso considerable (véase la tabla a la derecha en el comienzo de las diapositivas o también en esta charla se nota). Muchos de los aspectos básicos de la física moderna tiene un muy limpio formulación matemática. Por ejemplo teoría de gauge es firmely capturado por la diferencia de cohomology y Chern-Weil teoría, local TQFT por mayor categoría monoidal teoría, y así sucesivamente.

Pero dos cosas son notables: en primer lugar, la matemática de la que se formaliza aspectos de la moderna física fundamental consiste en las joyas de la corona de la matemática moderna, algo tan profundo que podría estar pasando, pero, en segundo lugar, estas ideas siguen siendo fragmentarias. Hay un campo de las matemáticas aquí, otro allí. Uno podría tener la idea de que de alguna manera todo esto quiere poner juntos en una coherente formal de la historia, sólo que tal vez la clase de matemáticas utilizados en estos días no es suficiente para hacerlo.

Este es un punto de vista que, más o menos implícitamente, ha impulsado el trabajo de vida de William Lawvere. Él es famoso entre los matemáticos puros como el fundador de la lógica categórica, de topos de la teoría de la lógica formal, estructural de los fundamentos de las matemáticas. Lo que es por alguna extraña razón, casi desconocido, sin embargo, es que todo este trabajo suyo ha sido inspirado por el deseo de producir un trabajo formal bases para la física. (Ver en el nLab en William Lawvere -- Motivación de los fundamentos de la física).

Creo que cualquiera que esté genuinamente interesado en el formal fundamentos matemáticos de la phyiscs y preguntas en cuanto a si una fundamental formalización es posible y, lo que es más importante, si puede ser útil, debe tratar de aprender acerca de lo que Lawvere tiene que decir.

Por supuesto, la lectura de Lawvere no es fácil. (Al igual que la lectura de un moderno conferencia sobre QFT no iba a ser fácil para un físico formulario del siglo 19 había sido catapultado a nuestra edad...) eso es lo Que pasa cuando usted cava profundamente en los cimientos, si usted está realmente avanzando, entonces usted no será capaz de volver y explicar en cinco minutos en el Dicovery Channel. (Como en Feynman: Si yo podría decir que en cinco minutos lo que la experiencia del Nobel, luego de que no la tengas).

Usted podría empezar con la nota en la nLab: "Más toposes de las leyes de movimiento" para tener una idea de lo que Lawverian fundamentos de la física.

Un poco más tarde este mes voy a dar varias charlas sobre este tema de formalmente la fundación de la física moderna (local de Lagrange calibre de la teoría cuántica de campos) en fundamental de las matemáticas en una forma útil. El notas este se titula Homotopy de tipo semántica para la cuantización.

9voto

mcFreid Puntos 2346

Yo sólo puedo hablar desde mi experiencia personal (que parece bastante justo, ya que esta pregunta es subjetiva). La mayoría de los físicos conozco, incluyéndome a mí, son mucho más humilde de lo que la física sabe y sabrá en el futuro con respecto a la "celebridad de los físicos", mencionó.

Es bastante fácil ver la historia del campo en el que siempre pensamos que se acerquen a explicar todo, algo nuevo se observa o alguna pequeña incoherencia resulta para abrir toda una nueva rama de la física. A partir de estas experiencias, parece muy dudoso para mí que íbamos a ser cerca de empujar la capacidad de una teoría para el punto en el que tiene que preocuparse acerca de Goedel de Teoremas (que es preocuparse de la integridad - después de todo, lo que fácilmente podría ser el caso de que la verdad de las declaraciones que nuestra teoría no puede predecir no son relevantes para nuestro universo, es decir, experimentos). Además, aún tengo que escuchar una buena definición de lo que entendemos por "una teoría". Después de todo, QFT es mucho más que un marco y el Modelo Estándar es sólo una de las muchas aplicaciones posibles de ese marco. Encajamos el Modelo Estándar que se adapte a nuestros observado universo. Entonces, ¿qué es exactamente lo que los físicos significa entonces por un "dios de la ecuación"? Qué significan un marco desde el que varias ecuaciones pueden surgir?

Supongo que estoy responder a las preguntas con preguntas, pero es solo para hacer el punto de que estas "teorías oníricas", puede ser idealizada hasta el punto de mito.

A mí me parece que en el futuro lo más probable es que ocurra es de algún framework o lenguaje que puede ser utilizado para describir la gravedad y la energía oscura, además de las otras fuerzas. Este marco se aplica a algunas Modelo Estándar de la versión 2, que incorpora la materia oscura y la otra observó la materia. Eso no significa que una ecuación. Sólo significa una sola manera de pensar acerca de las cosas. Es probable que llevar a muchas ecuaciones con un buen número de supuestos que se supone sólo porque se dan predecir con precisión el experimento.

5voto

Xiao-Gang Wen Puntos 6448

La pregunta Es hay algún sentido entre los físicos que sería imposible de articular la "naturaleza última de la realidad" en las ecuaciones y la lógica formal? es acerca de una creencia (como una fe de una religión) que la mayoría de los físicos pueden o no pueden tener. Igual que los físicos tienen diferentes formas de fe, creo que los físicos tienen distintas creencias sobre este tema. Por lo tanto es difícil contestar que sí o que no, ya que los físicos no tienen una opinión común.

Sin embargo, creo que muchos físicos compartir la opinión de Dao-De-Jing 道德经 sobre un tema relacionado con:

Hace 2500 años, Dao-De-Jing 道德经 expresó el punto de vista siguiente: (Traducción en español)

El Dao que puede ser declarado no puede ser el eterno Dao.

El Nombre que se puede dar, no puede ser el eterno Nombre.

El sin nombre, el no-ser es el origen del universo;

El nombre es la madre de todos los observados cosas.

Dentro de los no-ser, nos gusta el misterio del universo.

Entre ser, podemos observar la riqueza del mundo.

El no-ser y el ser son dos aspectos de un mismo misterio.

Desde el no-ser al ser y del ser al no-ser es la puerta de entrada a toda comprensión.


Aquí DAO ~ "naturaleza última de la realidad". Así que el punto de vista es que "la naturaleza última de la realidad" que existe. Pero cualquier (o actual) descripción concreta de la "naturaleza última de la realidad" en términos de ecuaciones y la lógica formal no es una descripción fiel de la "naturaleza última de la realidad".

Los físicos han estado tratando de aproximadamente el enfoque de la "naturaleza última de la realidad" (o DAO). Mi intento es una unificación de (quantum) de la información y de la materia: http://blog.sciencenet.cn/blog-1116346-736093.html

"Matrix" es una historia de dos mundos: Un mundo material y virtual mundial de la información (dentro de los equipos). El verdadero mundo de la materia está formada por partículas elementales. La información virtual, el mundo está formado por bits. (Mi punto de vista) de hecho, el verdadero mundo material no es real, el virtual mundo de la información es más real. El mundo material y el mundo de la información es en realidad el mismo mundo. Para ser más precisos, nuestro mundo es un mundo de información cuántica mundo:

  • Espacio = una colección de muchos qubits.
  • Vacío = el estado del suelo de los qubits.
  • Las partículas elementales = excitaciones colectivas de los qubits.

En otras palabras, toda la materia está formada por las excitaciones de los qubits.

Vivimos dentro de una computadora cuántica.

"realidad última" = qubits, "Dios de la ecuación" = Shreodinger ecuación

-- esto es UN aproximado de acercamiento a la "naturaleza última de la realidad" (o DAO).

2voto

Fernando Briano Puntos 3704

La historia de la física muestra que cada generación de físicos, teórico y experimental sesgada, cree que en algún punto de que han encontrado el santo grial o están muy cerca de encontrar. Sin duda esto era cierto en el siglo xix, cuando las matemáticas reinó y teorías eran tan completas y hermosas que pensaban que todo lo que quedaba era de las aplicaciones conocidas teorías . Que es un tipo de arrogancia.

Lo que ha cambiado el juego fue más nuevos y mejores experimentos que se presentaron inconsistencias en las predicciones de la Teoría Del Todo (TOE) .

Es justo suponer que el objetivo siempre será un DEDO del pie, y la hipótesis de que los nuevos y mejores datos experimentales se abrirá de nuevo y de nuevo el alcance de lo que el DEDO se describe. Porque hay que decir: en los límites de la experimentación de los dominios de sus aplicaciones, las nuevas teorías y mayores teorías de la mezcla, generalmente de mayor edad se muestran a emerger a partir de los más recientes ( como por ejemplo la termodinámica a partir de la mecánica estadística ). No hay coherencia en nuestras teorías.

Ahora, como para Gödel y su teorema, que yo recuerdo de mi curso de matemáticas en el formulario de "el conjunto de todos los conjuntos abiertos" , como se aplica a un DEDO del pie no es incompatible con el anterior punto de vista. Lo que puede suceder sin embargo, vamos a llegar a los límites de nuestra posible experimental de las verificaciones y la apertura va a ser un punto discutible, que va hacia la metafísica.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X