"El Mapa y el Territorio: Sobre la Aplicabilidad de Argumentos Gödelianos a las Teorías Físicas".
¿Vivimos en una simulación? En febrero de 2025, un artículo de Faizal et al. afirmó haber respondido esta pregunta usando los teoremas de incompletitud de Gödel: según los autores, una "Teoría del Todo" algorítmica es imposible, se requiere "comprensión no-algorítmica" para entender el universo, y por tanto nuestro universo definitivamente NO es una simulación. El paper recibió amplia cobertura mediática con titulares como "Científicos demuestran que no vivimos en una simulación". Sin embargo, este argumento repite errores que físicos distinguidos—desde Stanley Jaki hasta Stephen Hawking—han cometido durante 60 años, y que lógicos y filósofos han refutado cada vez. En esta charla examinaremos por qué los teoremas de Gödel no aplican directamente a las teorías físicas, qué significa realmente la indecidibilidad en física (incluyendo el problema de la brecha espectral), y por qué el argumento Lucas-Penrose sobre "comprensión no-algorítmica" fue refutado hace décadas. La charla está diseñada para físicos sin antecedentes en lógica matemática o teoría de la computación. Explicaremos desde cero qué demostró Gödel, qué es el problema de la parada de Turing, y qué lecciones aprendió la ciencia de la computación que la física aún no ha asimilado. Concluiremos proponiendo que las conexiones genuinas entre computación y física están en la complejidad computacional—no en la incompletitud—y que preguntas como "¿es P igual a NP?" son más relevantes para la física que los teoremas de Gödel. El mapa puede ser incompleto. El territorio permanece entero.
────────────────────────────────────────────────────────────────────────────────
SEMBLANZA El Dr. Edgar Chávez es Investigador Titular en el Departamento de Ciencias de la Computación del CICESE. Obtuvo su Doctorado en Ciencias en el CIMAT. Su
investigación se centra en algoritmos de búsqueda en espacios métricos, estructuras de datos sucintas y análisis de grandes volúmenes de datos. Es miembro del Sistema Nacional de Investigadores.
_________________________________________________________________________________________________________________________
https://us02web.zoom.us/j/97747200810?pwd=mxfGxjrNCoaUORhr2QIyfqY6iQDPvq.1
ID de reunión: 977 4720 0810
Clave de acceso: 526026
Lugar: Aula A, Departamento de Óptica - https://us02web.zoom.us/j/97747200810?pwd=mxfGxjrNCoaUORhr2QIyfqY6iQDPvq.1
Fecha: 17-04-2026
Hora: 01:00 pm
