En aquellos años Kurt Gödel desarrolló el teoremadeincompletitud, en virtud del cual:
2
La mayor parte de los matemáticos profesionales ignoran el teoremadeincompletitud en su trabajo.
3
Hawking, sin embargo, utiliza el teoremadeincompletitud para demostrar que no puede existir una teoría del todo.
4
La posibilidad de tales explicaciones no se halla excluida ni afirmada por el teoremadeincompletitud de Gödel.
5
Como explicara en capítulos previos, el teoremadeincompletitud de Gódel puso fin a esta posición estrictamente formalista.
6
En 1931, el matemático Kurt Gödel demostró su famoso teoremadeincompletitud sobre la naturaleza de las matemáticas.
7
Incluso en presencia del teoremadeincompletitud, tenemos una teoría del todo (excepto la gravedad) perfectamente razonable.
8
El teoremadeincompletitud de Gödel es uno de los resultados más profundos y paradójicos de la lógica matemática.
9
La razón es que el teoremadeincompletitud empieza por analizar enunciados que se refieren a sí mismos; es decir, son autorreferenciales.
10
Al cabo de cinco años había adquirido la seguridad necesaria para anunciar una serie de cursos sobre el teoremadeincompletitud de Gödel.
11
En el fondo, lo que mostró Gödel en 1930 con su teoremadeincompletitud es que exactamente lo mismo ocurre en la matemática.
12
Ésta es, en esencia, la razón de los famosos límites al poder de la deducción lógica revelados en el teoremadeincompletitud de Gödel.
13
Había alcanzado ya gran experiencia estudiando la computabilidad teórica del teoremadeincompletitud de Gödel, que había sido la base de su tesis doctoral.
14
Como el principio de incertidumbre, el teoremadeincompletitud de Gödel puede representar una limitación fundamental de nuestra capacidad de comprender y predecir el universo.
15
Afirma que la clave para el teoremadeincompletitud de Gódel es que las matemáticas son autorreferenciales, y la física adolece también de esta enfermedad.
16
Hemos probado así la versión generalizada del primer TeoremadeIncompletitud de Gödel.