P. 1
MatemÁticos Del Siglo XIX y Su Impacto en Los Fundamentos de Las MatemÁticas

MatemÁticos Del Siglo XIX y Su Impacto en Los Fundamentos de Las MatemÁticas

4.0

|Views: 2.958|Likes:
Publicado porzwcfox4868
Breve descripción de los hechos y personajes que marcaron hito en la historia de las Matemáticas en lo que se conoce como 'crisis de los fundamentos' y que llevaron a una nueva y revolucionaria era de rigor en las Matemáticas que persiste aún hoy en día.
Breve descripción de los hechos y personajes que marcaron hito en la historia de las Matemáticas en lo que se conoce como 'crisis de los fundamentos' y que llevaron a una nueva y revolucionaria era de rigor en las Matemáticas que persiste aún hoy en día.

More info:

Published by: zwcfox4868 on Feb 20, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC or read online from Scribd
See more
See less

02/24/2013

MATEMÁTICOS DEL SIGLO XIX Y SU IMPACTO EN LOS FUNDAMENTOS DE LAS MATEMÁTICAS

La teoría de Lobatchewsky era incomprensible para sus contemporáneos, pues parecía contradecir un axioma cuya necesidad está basada tan sólo sobre un prejuicio santificado por millares de años.1
Nikolas Ivanovitch Lobatchewsky nació en Makarief, Rusia en noviembre de 1793. Ingresó al Instituto a los 8 años y a los 14 ya estaba preparado para ingresar a la Universidad de Kazan, donde pasaría los siguientes 40 años. Fue encargado de los cursos de Matemáticas, Física y Astronomía, del museo y de la Biblioteca de la Universidad. Después de años de trabajo, finalmente en 1827 fue nombrado rector. El punto central de su obra fue la Geometría. El incómodo quinto Postulado de la obra de Euclides no fue atacado directamente por Lobatchewsky, sino se trabajó desde una proposición equivalente, la del ángulo recto. La importancia de la proposición del ángulo recto radica en que, de poder demostrarse, sería suficiente para probar el quinto Postulado. Los dos modos distintos en que se podría resolver esta proposición, lleva a los dos trabajos sobre Geometría no Euclidiana: El de Lobatchewsky y el de Riemann. Nikolas encontró que el quinto postulado no era necesario para una Geometría consecuente y basó su sistema diciendo que por un punto exterior a una recta no pasa una sola paralela sino dos. Ésto marcó todo un hito en la historia de las Matemáticas de la época, pues se estaba probando por primera vez la vulnerabilidad de los axiomas euclidianos, considerados como verdades irrefutables, y sin embargo, ésta sólo fue una de las diversas geometrías que le siguieron como alternativa a la euclidea, rompiendo el paradigma que se había tenido por más de 2200 años de la verdad absoluta y omnipresente de la Geometría de Euclides. Lobatchewsky fue muy galardonado no sólo por sus trabajos en Matemáticas sino por su admirable esfuerzo y dedicación empeñados en elevar la calidad de la Universidad de Kazan como una de las mejores de Europa. En ese momento, los matemáticos y en especial los lógicos matemáticos, volvieron su mirada al pasado, con el objeto de examinar cuidadosamente los fundamentos del edificio del conocimiento matemático y asegurarse de que fueran totalmente confiables. Los lógicos encontraron que existían ciertos aspectos básicos que no se habían demostrado, como la ley de la tricotomía, en la que un número sólo puede ser positivo, negativo o cero. En palabras de Simon Singh “Algunas ideas se habían convertido en parte del folclor”2, sin argumento alguno para su uso. Esto los puso
1 2

BELL, E.T. 1937 SINGH, Simon. 1999

en la labor de demostrar cada idea y teorema a partir de unos pocos principios básicos: Los verdaderos Axiomas. He aquí un ejemplo de los axiomas de la Aritmética, en los que tuvieron que basarse para demostrar cada teorema en cierto momento:

1. Para cualesquiera números m, n
m+n=n+m y mn=nm

2. Para cualesquiera números m, n y k
(m+n)+k=m+(n+k) m(n+k)=mn+mk y (mn)k=m(nk)

3. Hay un número 0 que tiene la propiedad de que para cualquier número n:
n+0=n

4. Para cualquier número n hay otro número k tal que:
n+k=0

5. Si k diferente de cero y kn=km entonces n=m

3

Esta idea fue liderada principalmente por uno de los matemáticos más influyentes de aquel entonces, llamado David Hilbert. Hilbert nació en enero de 1862 en Wehlau, Prusia oriental. Se graduó y posteriormente se doctoró en la Universidad de Königsberg en 1885 con un trabajo sobre la teoría de invariantes. Permaneció como profesor en esta universidad hasta 1895 cuando obtuvo un puesto de catedrático en la Universidad de Göttingen. David hizo contribuciones innovadoras a muchos campos de la Matemática, como la teoría de invariantes, la noción del espacio de Hilbert en el análisis funcional, la teoría de la demostración y aportes a la Lógica matemática. A finales del siglo XIX, Hilbert era el principal protagonista de lo que se llamaría más tarde, el “Programa Hilbert”, que consistía en axiomatizar toda la estructura del conocimiento matemático, ya que él creía posible la demostración de todos los teoremas a partir de unos cuantos axiomas correctamente elegidos. También con esto expresaba abiertamente su defensa por la teoría de números transfinitos de Cantor (tan criticada en ese tiempo) y se consolidaba como uno de los más fervientes representantes del formalismo.

3

SINGH, Simon. El último teorema de Fermat. 1999. Apéndice 8

Entre los que se encontraban realizando esta tarea, estaba Friedrich Ludwig Gottlob Frege, nacido en 1848 en Wismar (actual Alemania). Estudió en la Universidad de Göttingen y fue un reconocido matemático, lógico y filósofo (filosofía analítica). A él le debemos la introducción de los cuantificadores lógicos en la lógica matemática moderna y la definición de número por medio de la idea intuitiva de conjunto. Frege, como era un fiel logicista, creía que todas las verdades matemáticas podían deducirse de la lógica y ayudándose de una definición intuitiva de conjuntos, preparó un intento de formalizar la Aritmética a partir de la lógica en su obra Grundgesetze der Arithmetik4. Pero mientras su obra se hallaba en la imprenta recibió una carta del filósofo y matemático galés Bertrand Russell, quien era otro de los partidarios del Programa Hilbert, que le advertía sobre una inconsistencia en su escrito. Russell la explicaba en su libro Mi desarrollo filosófico: “Me parecía que una clase a veces es y a veces no es miembro de sí misma. La clase de las cucharas, por ejemplo, no es una cuchara más, pero la clase de las cosas que no son cucharas es una de las cosas que no es una cuchara”.5 Bertrand Russell nació en Trelleak en 1872 en una familia aristocrática y liberal. Se graduó del Trinity College de Cambridge, del que fue profesor. Muy atraído hacia la filosofía y la matemática, Russell fue un reconocido pacifista y defensor de los derechos humanos. Escribió numerosas y polémicas obras filosóficas, en las que involucraba a veces la lógica simbólica en lo que se denominó la filosofía analítica. Después de hacerse público una inconsistencia de tal magnitud en la construcción de la Aritmética, Russell con ayuda del matemático y filósofo Alfred North Whitehead se pusieron a la tarea de realizar un trabajo siguiendo la idea de Frege, pero corrigiendo el problema de la paradoja. Esto resultó en una obra de tres volúmenes llamada Principia Mathematica, donde al parecer quedaba todo en orden. Luitzen Egbertus Jan Brouwer, matemático holandés, nació en Overschie en 1881. Graduado de la Universidad de Amsterdam, fundó el intuicionismo en la lógica matemática (que también condujo al constructivismo) en oposición al formalismo reinante de la época en su libro “Prueba del teorema de Jordan para n dimensiones”6, además hizo importantes aportes a la topología. Brouwer condujo a una nueva perspectiva del conocimiento del objeto matemático con su intuicionismo, aunque no fue muy bien recibido al principio, sí influenció en una figura que marca la historia de ese tiempo: el lógico y matemático Kurt Gödel. Gödel nació en abril de 1906 en Brünn (Imperio Astrohúngaro). Se graduó de la universidad de Viena y se doctoró en Matemáticas en 1930 a partir de entonces se dedicó al estudio de los
4 5 6

FREGE, Friedrich. 1902 SINGH, Simon. 1999. Pág. 218 y 219 BROUWER, 1912.

sistemas formales. Hizo contribuciones a la teoría de conjuntos, la hipótesis del continuo, la teoría de la decisión y las funciones recursivas. Pero en 1931 publica un artículo llamado “Sobre las proposiciones formalmente irresolubles de los Principia Mathematica y los sistemas relacionados”7 en donde presentaba una demostración formal de sus teoremas de indecidibilidad que, grosso modo dicen: si un sistema axiomático es consistente, entonces hay teoremas que no pueden demostrarse por medio de deducciones de los axiomas, y el segundo teorema dice que no existe procedimiento alguno para demostrar la consistencia del sistema axiomático. Esto pues acabó con las esperanzas de ver culminado el “Programa Hilbert” de unas matemáticas completas y consistentes con todos sus teoremas demostrados, lo que ocasionó toda una nube de especulaciones sobre el nuevo rumbo que debían tomar estas investigaciones sobre los fundamentos del conocimiento matemático. Gödel fue galardonado como el “descubridor de la verdad matemática más significativa del siglo”8 por la Universidad de Harvard. Con esto encontramos toda una dinámica de eventos importantes para la Matemática desatada en el siglo XIX que resalta y concluye con toda una era de grandes aportes en casi todas sus ramas, que permitió el crecimiento de las Ciencias, a partir de la observación de la axiomática como base fundamental en la construcción del conocimiento matemático.

BIBLIOGRAFÍA:

-

SINGH, Simon. El último teorema de Fermat. 1999. BELL, E.T. Historia de los grandes matemáticos. 1965. BELL, E.T. Historia de las matemáticas. 1997

EN INTERNET: WIKIPEDIA: ARTÍCULOS PRESENTES EL 25 DE OCTUBRE DE 2007: http://es.wikipedia.org/wiki/G%C3%B6del http://es.wikipedia.org/wiki/Hilbert http://es.wikipedia.org/wiki/Bertrand_Russell

7 8

GÖDEL, Kurt. 1931 Wikipedia: http://es.wikipedia.org/wiki/G%C3%B6del

-

http://es.wikipedia.org/wiki/Luitzen_Egbertus_Jan_Brouwer

PREPARADO POR: DANIEL BUITRAGO

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->