Overblog Seguir este blog
Administration Create my blog

Presentación

  • : Matemalescopio
  • Matemalescopio
  • : Divulgación matemática, obsevatorio matemático, actualidad matemática, historia de las matemáticas. Las matemáticas son una ciencia en movimiento, queremos ayudar a seguirlas
  • Contacto

Perfil

  • Antonio Rosales Góngora.
  • Matemáticas,Bahía de Almería
  • Matemáticas,Bahía de Almería

Proyecto EULER

Pi Day Countdown

Al que le gustan las matemáticas las estudia

El que las comprende las aplica

El que las sabe las enseña

Y... ese

al que ni le gustan, ni las comprende, ni las sabe...

Ese dice como hay que aprenderlas,

como hay que aplicarlas

y como hay que enseñarlas. 

Traductor

 

Ideario

Así es, pues, la matemática; te recuerda la forma invisible del alma; da vida a sus propios descubrimientos; despierta la mente y purifica el intelecto; arroja luz sobre nuestras ideas intrínsecas y anula el olvido y la ignorancia que nos corresponde por el nacimiento (Proclo).”

 

Juro por Apolo délico y por Apolo pitio

Por Urania y todas las musas,

por Zeus, la Tierra y el Sol, por Afrodita, Hefesto y Dionisos,

y por todos los dioses y las diosas,

que nunca abandonaré las matemáticas

ni permitiré que la chispa que los dioses han prendido en mí se apague. 

Si no mantengo mi compromiso, que todos los dioses y diosas por los que he jurado se enfurezcan conmigo y muera de una muerte miserable;

y que si lo cumplo, me sean favorables.

5 mayo 2017 5 05 /05 /mayo /2017 06:03

La prueba de la completitud del cálculo de predicados afianzó a los matemáticos que trabajaban en el campo de los fundamentos en idea de que el programa de Hilbert sería viable. Sin embargo, un año después, en 1931, el propio Gödel echó por tierra todas esas esperanzas con la publicación de su escrito Sobre proposiciones indecidibles en los Principia Mathematica y sistemas afines. Este trabajo, uno de los más famosos de la historia de la matemática y seguramente el más controvertido (se han dado más de cien vanos intentos de refutación) pasó sin embargo inadvertido a la mayor parte de los matemáticos de su tiempo, desconocedores en su casi totalidad de las nuevas técnicas introducidas por los lógicos. Afortunadamente, Gödel tuvo ocasión de discutir sus hallazgos con Von Neumann y a través suyo en el mismo 1931 los nueveos resultados pasaron a ser conocidos en Princeton por Alonzo Church, Berkley Rosser y Stefan Klene, que tan gran papel habrían de jugar en el desarrollo posterior de la lógica matemática.El primer resultado negativo que se sigue del escrito de Gödel implicaba la imposibilidad de encontrar un sistema de axiomas del que pudiesen derivarse formalmente todas las proposiciones válidas de la teoría de números, base de gran parte de la matemática. Una consecuencia inmediata de la imposibilidad de axiomatizar completamente la aritmética era la no existencia de un algoritmo de decisión, ya que toda teoría decidible es axiomatizable. Gödel probó incluso el carácter esencialmente indecidible de cualquier teoría construida a partir de una aximática parcial de la aritmética, siempre que el sistema de axiomas cumpliese un mínimo de requisitos, sin los que infinitud de proposiciones aritméticas elementales no podrían ser demostradas. Por lo demás, todos estos resultados podían ser extendidos a la teoría formal de conjuntos.

Los comienzos de la lógica moderna

Primer gran teorema de Gödel: la completitud del cálculo de predicados

Con objeto de dar una idea, siquiera superficial, de la forma en que Gódel logró demostrar su famoso teorema, comenzaremos estableciendo la distinción básica que existe entre una teoría matemática formal y su metateoría.

Mientras una teoría -por ejemplo, la geometría euclídea, la aritmética, el análisis- tiene por objeto el estudio de las propiedades de los objetos que pretende describir -puntos, rectas, planos... en la geometría, los números naturales en la aritmética, los reales en el análisis-, la correspondiente metateoría tiene como objeto el estudio de las propiedades de la teoría en cuestión. Así, por ejemplo, la metaaritmética no versará sobre los números, sino sobre las propiedades de la teoría de números. Los teoremas de la metaaritmética serán, por tanto, proposiciones relativas a la consistencia, axiomatizabilidad, decibilidad, existencia de modelos,etcétera... de la teoría de números

La idea de partida de Gödel consiste en hacer corresponder a cada fórmula aritmética un número natural, para lo cual comienza asignando un número natural a cada símbolo del lenguaje en que la aritmética se describe. De esta forma, si por ejemplo, a los símbolos «x», «=» y «0» corresponden los números ocho, siete y uno, entonces Gödel asigna a la fórmula- «x = 0» el número 28 37. 51 (dos, tres, cinco son los tres primeros números primos).

Iterando el procedimiento, Gödel hace corresponder también un número natural a toda sucesión infinita de fórmulas. De esta manera, ciertos predicados metamatemáticos tales como «ser una fórmula», «ser una demostración», «ser demostrable», etcétera, dan lugar a predicados numéricos. Así, por ejemplo, «ser una fórmula» da lugar al predicado que verifican aquellos números naturales que son el número de una fórmula. Por otra parte, ciertos predicados numéricos elementales -llamados técnicamente recursivos- pueden ser definidos mediante una fórmula aritmética. Así, por ejemplo, el predicado «ser igual o menor que» viene definido por la fórmula (Ez) (x + z = y). De esta forma, proposiciones metaaritméticas de carácter elemental entran en correspondencia con fórmulas aritméticas. Y la clave de la famosa prueba de Gödel estriba en haber encontrado una fórmula metamatemática de que ella misma era indemostrable. Entonces, siguiendo los argumentos de la paradoja de Richard, Gödel prueba que ni esa fórmula ni su negación pueden ser un teorema, a menos que el sistema sea inconsistente (W-consistente, en términos técnicos más precisos). La prueba, sencilla, parte de una hipótesis metamatemática, de ella infiere que tiene que verificarse un cierto teorema aritmético, que a su vez implica la validez de una proposición metamatemática..., hasta lograr probar que la fórmula autorreferente no podría ser demostrada ni refutada.

Consecuencias

Una consecuencia del teorema de incompletitud, basada en que el razonamiento metamatemático que conduce a la demostración de la proposición «si la aritmética es consistente, entonces la fármula que expresa su propia indemostrabilidad no puede ser probada» utiliza únicamente reglas de deducción que son válidas dentro de la aritmética, es la imposibilidad de dar una prueba de la consistencia de la aritmética que sea reproducible dentro del formalismo aritmético. Lamentablemente, este genial teorema ha sido frecuentemente mal interpretado, habiéndose extrapolado sus consecuencias al terreno de la filosofía e incluso al de la mente humana.

Un riguroso análisis del teorema de Gödel lleva, sin embargo, a la conclusión de que su validez sólo es aplicable a sistemas formales que verifiquen prescripciones muy estrictas, algunas de carácter muy técnico, que impiden extender su validez fuera del campo de las matemáticas.

Repost 0
Published by Antonio Rosales Góngora. - en Tema del día
Comenta este artículo

Artículos Recientes

  • Matemáticos del día
    Quien piensa poco se equivoca mucho L. da Vinci Matemáticos que han nacido o fallecido el día 20 de Julio Matemáticos nacidos este día: 1789 : Bordoni1876 : Blumenthal1879 : Bilimovic1929 : Kennedy Matemáticos fallecidos este día: 1751 : Robins1819 :...
  • Matemáticos del día
    ¿El aleteo de una mariposa en Brasil ha ocasionado un tornado en Texas? E.N.Lorenz Matemáticos que han nacido o fallecido el día 18 de Julio Matemáticos nacidos este día: 1013 : Hermann de Reichenau1635 : Hooke1689 : Samuel Molyneux1768 : Argand1813 :...
  • Matemáticos del día
    El azar es la medida de nuestra inteligencia H.Poincaré Matemáticos que han nacido o fallecido el día 17 de Julio Matemáticos nacidos este día: 1831 : Mannheim1837 : Lexis1863 : Richmond1868 : Comrie1894 : Weaver1894 : Lemaitre1909 : Geoffrey Walker1913...
  • Muere Maryam Mirzakhani, la primera mujer en ganar una medalla Fields de Matemáticas
    Todo en ella fue prematuro. Su genio, su reconocimiento, su muerte. Maryam Mirzakhani, unas de las grandes mentes de la matemática contemporánea, falleció este sábado de cáncer. Con solo 40 años, la iraní era la única mujer que había logrado la Medalla...
  • Matemáticos del día
    La Matemática es la más simple, la más perfecta y la más antigua de las ciencias J.Hadamard Matemáticos que han nacido o fallecido el día 16 de Julio Matemáticos nacidos este día: 1678 : Hermann1819 : Aronhold 1902 : Calugareanu1903 : Flügge-Lotz Matemáticos...
  • Matemáticos del día
    Todo debe hacerse en la forma más sencilla posible, pero no en la más fácil A.Einstein Matemáticos que han nacido o fallecido el día 15 de Julio Matemáticos nacidos este día: 1865 : Wirtinger1898 : Mary Taylor1906 : Yushkevich1908 : Zygalski1909 : Cochran1923...
  • Matemáticos del día
    Dios semeja un hábil geómetra Sir Thomas Browne Matemáticos que han nacido o fallecido el día 14 de Julio Matemáticos nacidos este día: 1905 : Laurence Young1937 : David Hayes1952 : Cafaro Matemáticos fallecidos este día: 1800 : Mascheroni1827 : Fresnel...
  • Matemáticos del día
    Dios semeja un hábil geómetra Sir Thomas Browne Matemáticos que han nacido o fallecido el día 13 de Julio Matemáticos nacidos este día: 1527 : Dee1741 : Hindenburg1904 : Foster Matemáticos fallecidos este día: 1807 : Johann(III) Bernoulli1941 : Privalov2016...