Diferencias

Muestra las diferencias entre dos versiones de la página.

--- math:materiales-complementarios [2022/04/08 07:50] – Joaquín Herrero Pintado
+++ math:materiales-complementarios [2022/05/11 13:24] (actual) – Joaquín Herrero Pintado
@@ Línea 25: / Línea 25: @@
 ===== 3 =====
- La teoría de conjuntos de Cantor fue descrita, por Henri Poincaré, como «una enfermedad de la que las Matemáticas terminarán recuperándose con el tiempo». En efecto, los desarrollos matemáticos de Georg Cantor le valieron numerosas disputas entre los colegas del gremio. En concreto, sufrió una larga y manifiesta enemistad con el que fue su instructor durante su etapa de estudiante, Leopold Kronecker, quien se convirtió posteriormente en su principal detractor y le impidió ingresar en la prestigiosa Universidad de Berlín en diversas ocasiones. La clave de la polémica entre Cantor y Kronecker residió en el uso del “infinito actual” —aquel que ya se ha alcanzado— vs el “infinito potencial” —aquel que nunca llega a realizarse—. ¿Deben utilizarse infinitos actuales en las matemáticas? En opinión de Kronecker, la respuesta era un rotundo no: el infinito solo era algo a lo que podía aspirarse.
+La teoría de conjuntos de Cantor fue descrita, por Henri Poincaré, como «una enfermedad de la que las Matemáticas terminarán recuperándose con el tiempo». En efecto, los desarrollos matemáticos de Georg Cantor le valieron numerosas disputas entre los colegas del gremio. En concreto, sufrió una larga y manifiesta enemistad con el que fue su instructor durante su etapa de estudiante, Leopold Kronecker, quien se convirtió posteriormente en su principal detractor y le impidió ingresar en la prestigiosa Universidad de Berlín en diversas ocasiones. La clave de la polémica entre Cantor y Kronecker residió en el uso del “infinito actual” —aquel que ya se ha alcanzado— vs el “infinito potencial” —aquel que nunca llega a realizarse—. ¿Deben utilizarse infinitos actuales en las matemáticas? En opinión de Kronecker, la respuesta era un rotundo no: el infinito solo era algo a lo que podía aspirarse.
 «Entre lo finito y lo infinito hay un abismo insalvable. Partiendo de conjuntos finitos, y mediante un número finito de operaciones conjuntistas como la unión, la intersección, el producto cartesiano y el conjunto de las partes, solo obtenemos de nuevo conjuntos finitos. Lo infinito es inalcanzable desde lo finito. Para alcanzarlo hay que dar un salto mortal, que la teoría de conjuntos avala mediante un axioma específico. Una vez dado el salto, Cantor se puso a explorar lo infinito. Lo primero que descubrió fue que no hay un solo tipo de infinito, una sola cardinalidad infinita, sino muchos infinitos distintos» (Mosterín, 2000: 105 —referenciado previamente—).
@@ Línea 34: / Línea 34: @@
 ===== 4 =====
- Los transfinitos no eran meros conceptos, sino que existían como entidades que trascienden la mente humana; al menos esto era así según la visión de Georg Cantor, quien se percibía a sí mismo como un matemático tocado por dios. En una carta, escrita en 1888, afirmó: «No tengo ninguna duda sobre la verdad de lo transfinito, que yo he descubierto con la ayuda de Dios, y cuya variedad y unidad estudio desde hace más de veinte años». Posteriormente, llegó a identificar el “infinito actual” con la deidad.
+Los transfinitos no eran meros conceptos, sino que existían como entidades que trascienden la mente humana; al menos esto era así según la visión de Georg Cantor, quien se percibía a sí mismo como un matemático tocado por dios. En una carta, escrita en 1888, afirmó: «No tengo ninguna duda sobre la verdad de lo transfinito, que yo he descubierto con la ayuda de Dios, y cuya variedad y unidad estudio desde hace más de veinte años». Posteriormente, llegó a identificar el “infinito actual” con la deidad.
 El siguiente material complementario de la asignatura es el documental “Conocimiento peligroso” ([[https://vimeo.com/56571756|enlace a vimeo]]) donde se ve reflejada la faceta religiosa de Cantor. Si bien la producción audiovisual no profundiza en los conceptos matemáticos (y en alguna ocasión especula), sí que ofrece una contextualización apropiada del autor y de cómo se origina la espiral que lo hace caer progresivamente en la locura. También profundiza en los personajes de Kurt Gödel, Ludwig Boltzmann y Alan Turing. Podéis encontrarlo aquí:
@@ Línea 48: / Línea 48: @@
 ===== 5 =====
- «¿Quién no estaría feliz si pudiera levantar el velo que nos oculta el porvenir para echar un vistazo al progreso de nuestra ciencia y los secretos de sus desarrollos posteriores en los siglos futuros? En el campo tan fecundo y vasto de las Ciencias Matemáticas, ¿cuáles serán los objetivos que intentarán alcanzar los guías del pensamiento matemático de los tiempos futuros? ¿Cuáles serán en este campo las novedades y los nuevos métodos en el siglo que comienza?».
+«¿Quién no estaría feliz si pudiera levantar el velo que nos oculta el porvenir para echar un vistazo al progreso de nuestra ciencia y los secretos de sus desarrollos posteriores en los siglos futuros? En el campo tan fecundo y vasto de las Ciencias Matemáticas, ¿cuáles serán los objetivos que intentarán alcanzar los guías del pensamiento matemático de los tiempos futuros? ¿Cuáles serán en este campo las novedades y los nuevos métodos en el siglo que comienza?».
 Con estas palabras, el miércoles del 8 de agosto de 1900, David Hilbert se dirigió a una audiencia expectante en el anfiteatro de la Facultad de Ciencias de la Sorbonne. Allí tuvo lugar un insigne acontecimiento: el Congreso Internacional de Matemáticos.
@@ Línea 69: / Línea 69: @@
 ===== 6 =====
 «No hay nada más desafortunado para un escritor científico que el hecho de que uno de los cimientos de su edificio se tambalee una vez terminada la obra. Esta fue la situación en la que me colocó una carta del Sr. Bertrand Russell, justo cuando la impresión de este volumen [Grundgesetze der Arithmetik, Vol.2] estaba a punto de completarse. Se trata de mi Axioma (V). Nunca he disimulado su falta de la autoevidencia que corresponde a los demás axiomas y que debe exigirse propiamente a una ley lógica. (...) De buena gana habría prescindido de este fundamento si hubiera conocido algún sustituto del mismo».
@@ Línea 81: / Línea 80: @@
 https://brianrabern.net/onewebmedia/FregeRussellCorr.pdf
+===== 7 =====
+«En el transcurso de la exploración de su universo, los matemáticos han tropezado ocasionalmente con agujeros: afirmaciones que no pueden probarse ni refutarse con los nueve axiomas, llamados colectivamente "ZFC", que sirven como leyes fundamentales de las matemáticas. La mayoría de los matemáticos se limitan a ignorar los agujeros, que se encuentran en ámbitos abstractos con pocas ramificaciones prácticas o científicas. Pero para los guardianes de los fundamentos lógicos de las matemáticas, su presencia suscita preocupaciones sobre los cimientos de toda la empresa».
+En esta ocasión, el material complementario de la asignatura proviene de la revista Quanta Magazine. Para quienes que no la conozcáis: se trata de una revista de divulgación de alto nivel sobre ciencia básica e investigación matemática.
+Os remito un artículo donde encontraréis, además de una adecuada contextualización sobre la disputa acerca del infinito, nuevas voces de matemáticos que entran en juego en la discusión y que pueden resultaros de inspiración para vuestras futuras investigaciones, en caso de que decidáis continuar con esta línea de trabajo. https://www.quantamagazine.org/to-settle-infinity-question-a-new-law-of-mathematics-20131126/
+También es recomendable el podcast de la revista. En particular, puede ser de vuestro interés el episodio //How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer//, publicado el año pasado ([[https://d2r55xnwy6nx47.cloudfront.net/uploads/2021/09/quanta-172_Continuum-Hypothesis_FINAL.mp3|podcast]]; [[https://www.quantamagazine.org/how-many-numbers-exist-infinity-proof-moves-math-closer-to-an-answer-20210715/|artículo]]).
+Por lo general, además de ofrecer claridad conceptual y perspectiva histórica, la revista trata de contextualizar los debates de la matemática y la ciencia con aportaciones de académicos actuales. Por ello, espero que sea de vuestro agrado y os suscite reflexiones fructíferas.
+===== 8 =====
+A estas altura del curso ya os habréis percatado de que hay una pregunta recurrente que con frecuencia ha despertado la curiosidad entre los interesados por la historia de las matemáticas: ¿hay una estrecha relación entre la lógica matemática y la locura? Algunos autores afirman que el índice de psicosis entre los lógicos es elevado (por ejemplo, Gian-Carlo Rota). Otros, en cambio, no ven una particular relación.
+Para cerrar la asignatura, dos obras de divulgación que pueden resultar entretenidas en las que se explora esta relación son las siguientes:
+  * Por un lado, la novela gráfica Última lección en Gotinga, de Davide Osenda; un relato íntimo con tintes históricos que describe varias cuestiones clave de la presente asignatura, como “la hipótesis del continuo” o “los teoremas de incompletitud de Gödel”. https://www.tebeosfera.com/documentos/el_infinito_se_esconde_entre_lo_finito.html
+  * Por otro lado, la novela gráfica Logicomix, de Apostolos Doxiadis y Christos Papadimitriou; cuyo hilo conductor es el personaje de Bertrand Russell y su búsqueda de la verdad.
+Ambas obras fueron publicadas el mismo año. Para una lectura apropiada de la segunda, es muy recomendable tener presente la revisión de Paolo Mancusi con observaciones críticas, disponible en el siguiente enlace: https://scholarship.claremont.edu/cgi/viewcontent.cgi?article=1009&context=jhm