Referencia de la teoría del Big Bang a la lógica Formal

Question

En el segundo episodio de "El Junior Profesor de la Solución" de la temporada 8 de the Big Bang Theory, existe un breve momento donde Sheldon Cooper hace referencia a uno de sus tablas con lo que por un breve momento se veía como una serie de declaraciones en algún sistema formal que ha operadores modales y cuantificación. Pero también existe un "ess", la frase en una de las cadenas de símbolos. Además, no podía decirle lo que las reglas del sistema que habría de referencia o lo que los axiomas eran.

¿La Teoría del Big Bang referencia a un sistema formal o simplemente escribir los símbolos que se parecía a un sistema formal para un ojo no entrenado (mi conjetura es que la tarde)?

Answer 1

Este es Gödel de la prueba ontológica, lo cual se explica en la Wikipedia (ver el enlace).

Me parece que esta es una increíble huevo de pascua, ya que la prueba es algo que Sheldon dice que él no entiende. Y Sheldon ha expresado más de una vez que él no cree en la existencia de dios.

(Originalmente pensé que esto sería algo referente a los muchos mundos de la interpretación de la mecánica cuántica, la cual se llevó un par de escenas antes de que este se presentó. Pero en la re-examen de la captura de pantalla, no parecía que de esa manera nunca más.)