Su escritura demuestra algunos de los pop-matemáticas-esque conceptos erróneos en torno a Gödel los Teoremas de Incompletitud. La analogía entre las matemáticas y la física es impreciso, porque la física es específico para el contingente reglas de gobierno de nuestro universo, mientras que la matemática es trascendente en la que se ve hacia verdades que deben tener en cada mundo posible, es decir, son lógicamente necesarias. Si me dibujar una curva en un pedazo de papel y pedirle que modelo es, sólo porque usted sólo encontrará capaces de aproximación de la curva no cambia la realidad de que no hay verdad de los hechos acerca de las curvas, en general, que puede ser investigado y descubierto. Sólo porque usted no sabe todo sobre el usuario "anon" en Matemáticas.SE no significa que usted es incapaz de saber cosas sobre los seres humanos en general. Sólo porque no podemos, sin embargo, para ciertos concretar la forma exacta del universo no significa que no pueda deducir la lógica del espacio y del tiempo y de la combinación en absoluto.
La clave para entender esto es: Gödel no demostrar ninguna de las matemáticas fue incorrecta o inexacta en cualquier forma. No estoy seguro de cómo se llegó a esa interpretación. Los teoremas muestran que, en una palabra, que formal de la teoría matemática con un conjunto de axiomas (a partir de la hipótesis) y un conjunto de reglas de inferencia (maneras de deducir cosas), que es capaz de expresar la aritmética básica, sólo es auto-consistente si es incompleta (existe una verdadera proposición de que la teoría es capaz de expresar, pero no demuestra, y si es incapaz de probar su propia consistencia.
La consistencia de las matemáticas no es realmente un problema; podemos estar seguros de que todos nuestros teoremas exactamente igual que podemos tener confianza en todos nuestros axiomas tomado como un todo. La única cuestión polémica soy consciente de que es el Axioma de Elección, pero es instructivo saber que todavía tenemos que alguna vez genera una contradicción o falsedad de cualquier clase de nuestro estándar de axiomas. Así que ¿por qué no hacer de las matemáticas, como una sociedad (dejo a un lado razones personales por las matemáticas, ya que es esencialmente otra discusión completo), si dispone de una virgen, 100% perfecto historial de conseguir todo a la derecha? Si con absoluta certeza que es el estándar para el valor de la actividad humana como tácitamente postulan, a continuación, que hacen a las matemáticas, literalmente, el más respetable esfuerzo de los seres humanos han logrado jamás.
La incompletitud de las matemáticas es, igualmente, no es realmente un problema; todas las ideas que hemos descubierto hasta ahora que son indecidible, están muy alejadas de la realidad y de nuestra vida que son efectivamente insignificante o sin sentido para nosotros, o están todavía muy lejos, pero capaz de ser demostrada dentro de un sistema más fuerte. La incompletitud quiere decir que nunca se tienen todas las de verdad, pero en teoría también permite la posibilidad de que cada verdad tiene el potencial de ser encontrado por nosotros en cada vez más fuerte de los sistemas de matemáticas. (Digo en teoría porque, técnicamente, el cerebro humano es finito por lo que hay un físico automática límite a lo que podemos saber.) En una manera, en lugar de ser inquietante, la imperfección debe ser tranquilizador y dar nuevo vigor a los matemáticos, porque significa que la aventura es de nunca acabar.
