Overblog
Seguir este blog Administration + Create my blog

Presentación

  • : 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

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.

28 abril 2022 4 28 /04 /abril /2022 07:24

EL TEOREMA DE INCOMPLETITUD DE GÖDEL (1931): En todo sistema formal hay resultados verdaderos que no se pueden demostrar dentro del sistema.

La paradoja de Russell

Intuitivamente un conjunto es una colección de objetos. Un conjunto puede ser o no un elemento de si mismo: el conjunto de los números naturales no es un número natural; el conjunto de los conjuntos infinitos es él mismo un conjunto infinito.

Sea X el conjunto de los conjuntos que no son elementos de si mismos. ¿Es X un elemento de X? Un momento de reflexión te convencerá de que cualquier respuesta lleva a una contradicción.

Esta paradoja, planteada por Bertrand Russell (1872-1970, matemático, filósofo, pacifista,Nobel de Literatura) en 1901 puso de manifiesto que la idea intuitiva de conjunto no bastaba. Las reglas [axiomas] para formar conjuntos debían precisarse dentro de un sistema formal.

Kurt Gödel nació en Brünn, Austria-Hungría (ahora Brno, República Checa) en1906 y falleció en Princeton, U. S. A, en 1978. Era Profesor en la  Universidad de Viena, pero una combinación de mala salud, haber sido tomado por judío (tras la ocupación de Austria por los Nazis) y el temor de ser reclutado por el ejercito alemán, le hicieron marchar a Estados Unidos. Allí fue miembro del Instituto de Estudios Avanzados de Princeton (1940-1953) e hizo gran amistad con Einstein, y luego Profesor de la Universidad de Princeton, donde su contrato especificaba que no tenía obligación de dar clase.

 

El sueño imposible

A principios del siglo XX el trabajo sistemático en los fundamentos de las Matemáticas había conseguido basarlas en sistemas formales sólidos que evitaban paradojas como la de Russell. En particular la Teoría de Conjuntos de Zermelo- Fraenkel [junto al Axioma de Elección] formalizaba las Matemáticas clásicas.

Muchos matemáticos pensaban que sobre estos firmes cimientos se podrían construir demostraciones de cualquier resultado matemático. Ya en 1900, en la famosa conferencia en que planteó sus 23 problemas, David Hilbert (1862-1943) 

dijo: “Oímos en nuestro interior la llamada perenne: he ahí el problema. Busca la solución. Puedes encontrarla por puro razonamiento, porque en matemáticas no hay ignorabimus”.

En 1930, agradeciendo un homenaje por su jubilación, Hilbert terminó su discurso diciendo: “Debemos saber. Sabremos.”

Pocos meses después Gödel destrozaba este sueño.

Compartir este post
Repost0

Artículos Recientes

  • Matemáticos del Día
    La historia del mundo es la suma de aquello que hubiera sido evitable B.Russell Matemáticos que han nacido o fallecido el día 2 de Febrero Matemáticos nacidos este día: 1522 : Ferrari 1765 : Osipovsky 1786 : Binet 1793 : Hopkins 1842 : Sokhotsky 1849...
  • Matemáticos del Día
    Si me siento infeliz, hago matemáticas para ser feliz. Si me siento feliz, hago matemáticas para seguir siendo feliz A.Renyi Matemáticos que han nacido o fallecido el día 1 de Febrero Matemáticos nacidos este día: 1840 : Whitworth 1888 : Hermann Kober...
  • Matemáticos del Día
    Ningún tema pierde tanto cuando se le divorcia de su historia como las matemáticas E.T.Bell Matemáticos que han nacido o fallecido el día 31 de Enero Matemáticos nacidos este día: 1715 : Giovanni Fagnano 1841 : Loyd 1886 : Watson 1896 : Janovskaja 1914...
  • Matemáticos del Día
    El ojo del matemático es un espejo místico, que no sólo refleja sino que también la absorbe . F.Googol Matemáticos que han nacido o fallecido el día 30 de Enero Matemáticos nacidos este día: 1619 : Ricci 1755 : Fuss 1805 : Sang 1865 : Landsberg 1870:...
  • Matemáticos del Día
    Pensar es moverse en el infinito. H.D.Lacordaire Matemáticos que han nacido o fallecido el día 29 de Enero Matemáticos nacidos este día: 1688 : Swedenborg 1761 : Mendoza y Ríos 1774: Olinthus Gregory 1810 : Kummer 1817 : Ferrel 1888 : Chapman 1928 : Joseph...
  • Matemáticos del Día
    No hay ciencia que hable de las armonías de la naturaleza con más claridad que las Matemáticas. P.Carus Matemáticos que han nacido o fallecido el día 28 de Enero Matemáticos nacidos este día: 1540 : van Ceulen 1608 : Borelli 1611 : Johannes Hevelius 1622...
  • Matemáticos del Día
    Los descubrimientos matemáticos, como las violetas en primavera en el bosque, tienen su temporada que ningún ser humano puede acelerar o retardar. J.Bolyai Matemáticos que han nacido o fallecido el día 27 de Enero Matemáticos nacidos este día: 1772 :...
  • Matemáticos del Día
    Con las teorías matemáticas ocurre como con el resto de las cosas: la belleza puede ser percibida, pero no explicada. A.Cayley Matemáticos que han nacido o fallecido el día 26 de Enero Matemáticos nacidos este día: 1799 : Clapeyron 1862 : Eliakim Moore...