Problema de la semana

Esta semana otro problema parecido al de la semana anterior.

¿Cuánto vale la suma de las cifras del número 10⁹⁹-99?

Todos estos grabado son de M.C. Escher, un pintor holandés que me gusta mucho. Podéis saber más de él en su web

Problema de la semana

El enunciado de esta  semana es muy simple ¿En qué cifra acaba ?
Os doy algunas pistas:

• No hay que calcular 
• Hacedlo con otras potencias más sencillas
• Buscad patrones 

Las fotos están tomadas de el diario EL PAÍS y pertenecen a la colección de mejores fotos tomadas con microscopio

• 
  

Problema de la semana

Un hacendado contrata a un sirviente por un sueldo anual de 11 monedas de oro y un caballo, pero a los 4 meses el sirviente se despide recibiendo como sueldo el caballo y una moneda de oro ¿Cuántas monedas de oro vale el caballo?

Problema de la semana

30 de Octubre de 2017

Si en una clase de 30 estudiantes 20 llevan zapatillas, 15 son del Real Madrid y 13 llevan zapatillas y son del Real Madrid ¿Cuántos hay que ni llevan zapatillas ni son del Madrid?

El problema de la semana

23 de octubre de 2017

Tres mercaderes deben repartirse entre ellos 21 barricas de vino de las cuales 7 están llenas, 7 están a la mitad y otras 7 están vacías. El reparto debe hacerse de tal forma que a cada uno le corresponda el mismo número de barricas y la misma cantidad de vino

Cantor, Hilbert y Godel

"Hay un concepto que es el corruptor y el desatinador de los otros. No hablo del Mal cuyo limitado imperio es la ética, hablo del infinito"
Jorge Luis Borges  "Avatares de la tortuga"

El concepto de infinito es uno de los más problemáticos en matemáticas. Pero tratando de comprenderlo, los matemáticos han conseguido no sólo bellas teorías sino que han hecho avanzar las matemáticas.

¿Qué es el infinito?
Aristóteles pensaba que el infinito sólo existía en potencia, pero no en acto. Esto significa que cuando nos referimos, por ejemplo, a la secuencia de números naturales 1, 2, 3, 4, 5 , 6, ....... y decimos que es infinita nos referimos a que nunca acaba, que llegue a donde llegue escribiéndola siempre podré escribir otro número.  El infinito en acto sería decir que el conjunto de números naturales contiene infinitos números.
Galileo expuso la paradoja de que había tantos números naturales como números cuadrados, siendo éstos un subconjunto de los números naturales. basta con asignar a cada número su cuadrado:

1-----1

2-----4

3-----9

4-----16

5-----25

6-----36

............

En el siglo XVII Newton y Leibniz inventaron el cálculo diferencial e integral, pero enseguida fueron criticados por la falta de rigor de algunos razonamientos que involucraban lo infinitamente grande y lo infinitamente pequeño. Como el cálculo era una potente herramienta que permitió resolver muchos problemas los matemáticos siguieron usándolo. Pero en el siglo XIX se vio la necesidad de fundamentar el cálculo sobre unas bases consistentes. Los matemáticos empezaron a fundamentar la matemática sobre la teoría de conjuntos lo que les permitió definir los conjuntos numéricos hasta los números reales de una forma rigurosa. Los trabajos de Cantor sobre el infinito pueden enmarcarse dentro de la teoría de conjuntos, de la que él es uno de los creadores y también dentro de la fundamentación cálculo diferencial. Cantor estudiando las series de Fourier llegó a la idea de que tenía que tratar con el infinito en acto.

Cuando se creía que la teoría de conjuntos y la lógica (logicismo) eran las bases de la matemática aparecieron paradojas en la teoría de conjuntos, esto junto con las ideas que surgieron de los trabajos de Cantor sobre el infinito echaron por tierra echaron por tierra al logicismo. Surgieron entonces dos vías para fundamentar la matemática el intuicionismo liderado por L. E. Brouwer que rechazaba el infinito en acto y que propugnaba que las demostraciones matemáticas debían ser constructivas, es decir, si se quería demostrar que algo existía, la demostración debía incluir su construcción.
Por otra parte surgió el formalismo liderado por Hilbert, que afirmaba que las matemáticas  eran como un juego en el que había unos elementos iniciales llamados axiomas que se manipulaban con un conjunto de reglas. Al contrario que los intuicionistas, los formalistas aceptaron los trabajos de Cantor. Hlibert afirmó : "Nadie podrá echarnos del paraíso que Cantor ha creado para nosotros"
Los formalistas consiguieron fundamentar el cálculo y la geometría basándose en los axiomas de la aritmética y creían (Programa de Hilbert)  que se podría averiguar que con estos axiomas podrían demostrarse todas las verdades matemáticas (era un sistema completo) y que nunca se llegaría a demostrar una cosa y la contraria (consistencia). Hilbert resumía estas ideas en su famosa cita: "Debemos saber. Sabremos"

En 1931 un joven llamado Kurt Godel asistía en Konigsberg (la ciudad en la que nació Hilbert) a un congreso dedicado al la teoría de la demostración. Allí anunció su primer teorema de incompletitud que afirma que hay verdades aritméticas que no se pueden demostrar usando los axiomas de la aritmética y los métodos de demostración que Hilbert y los formalistas aceptaban. En un artículo de ese mismo año aparecía el segundo teorema de incompletitud que afirma que usando los axiomas de la aritmética no se puede demostrar su propia consistencia. De esta forma  echaba  por tierra el programa de Hilbert.

Todas estas ideas pueden leerse en los libros cuyas portadas aparecen en esta entrada y en el que comenté en la entrada sobre Hilbert. Todos ellos pertenecen a la colección "Grandes ideas de la ciencia"

Fotos del diario EL PAÍS

Hilbert. Las bases de la matemática

El libro está publicado dentro de la colección "Grandes ideas de la ciencia". Hace un recorrido más o menos cronológico por las muchas aportaciones de Hilbert a las matemáticas.
El capítulo 1 nos introduce en sus primeros trabajos. La demostración del problema de Gordan sobre invariantes algebraicos le dio a conocer a toda la comunidad matemática ya que hizo una demostración de existencia, no constructiva, lo que llevó a Gordan a exclamar "¡Esto no son matemáticas! ¡Es teología!" Posteriormente realizó un informe sobre el estado de la teoría de números en él Hilbert ordenó los resultados que existían hasta entonces bajo un nuevo punto de vista y rellenó con aportaciones suyas los huecos encontrados. Por último en el libro "Fundamentos de la geometría" se centró en axiomatizar la geometría, puso orden en los axiomas de los Elementos de Euclides, poniendo de relieve nuevos axiomas que Euclides utilizó pero que no reflejó en su libro.
El segundo capítulo se centra en los 23 famosos problemas que Hilbert expuso en el II congreso de matemáticos de Paris  de 1900 como programa para la matemática del siglo XX.
El capítulo 3 se centra en las aportaciones de Hilbert al cálculo de variaciones,a la teoría de ecuaciones diferenciales en derivadas parciales y a las ecuaciones integrales y la importancia que sus trabajos tuvieron par axiomatizar pares de la física, El libro se centra en la axiomatización de la física cuántica usando el análisis funcional que Hilbert creó y la búsqueda de unas ecuaciones para la relatividad general.
El cuarto capítulo está dedicado a la ingente labor de Hilbert en la fundamentación de la matemáticas y sus aportaciones como líder de la corriente formalista que pretendía fundamentar toda la matemática a partir de axiomas.
Este sueño de Hilbert fracasaría debido a los resultados que demostraría Godel (los famosos teoremas de incompletitud) Estos resultados se comentan en el último capítulo.

Es un libro que sin mucho aparato matemático nos permite hacernos una idea bastante fiel de la importancia de Hilbert en la matemática del primer tercio del siglo XX, así como de lo que se dio en llamar la crisis de los fundamentos de la matemática. Permite además entender la postura de Hilbert (formalista) frente a otras como la logicista o los intuicionistas y lo que cada uno defendía y rechazaba.

Fotos de el diario EL PAIS