/fdata%2F4067159%2Favatar-blog-1187481218-tmpphpXnuMXO.jpeg){kind=avatar}
Matemáticos del día
A.Frederique
Matemáticos que han nacido o fallecido el día 20 de Junio
| Matemáticos nacidos este día: 1775 : Jacques Francais1838 : Reye 1873 : Loewy 1880 : Carse 1885 : Bisacre 1895 : Rado 1917 : Rasiowa 1942 : Trudinger | Matemáticos fallecidos este día: 1800 : Kaestner1942 : Forsyth 1943 : Edward Van Vleck 1963 : Salem 1966 : Lemaitre |
El matemático húngaro Tibor Radó propuso el juego del castor laborioso como uno de los primeros ejemplos de función no computable.
En cuanto ha su definición es bastante simple. Un “castor laborioso” es una Máquina de Turing que cumple dos condiciones:
1. Al poner al “castor” en funcionamiento sobre una cinta totalmente ocupada por ceros acaba por detenerse.
2. El número de unos que imprime no es inferior al que pueda imprimir cualquier Máquina de Turing de igual número de estados que llegue a detenerse.
La función “castor laborioso” o “busy beaver” (BB(n)) presenta mucha dificultad para valores de n superiores a 5. Todos los esfuerzos en la comprensión y resolución de esta función han sido ayudados por un ordenador, dada la magnitud del problema y el inmenso universo de posibles soluciones.
Rasiowa
La matemática polaca Helena Rasiowa trabajó en los fundamentos de las matemáticas y la lógica algebraica. Escribió su tesis de maestría bajo la supervisión de Łukasiewicz y Bolesław Sobociński
El estudio de las lógicas de sentencias alternativas más comunes-la clásica, la intuicionista, la multivalorada de Post, etc. - Y los vínculos con el álgebra y la topología es el tema de estudio de Helena Rasiowa que, primero, con Roman Sikorski , publicó The Mathematics of metamathematics [1,963], y luego, en solitario, An Algebaric Approach to Non -Classical Logics [1974]. Son dos obras clásicas de absoluta referencia para iniciarse en el estudio de la lógica algebraica
El matemático alemán Abraham Gotthelf Kästner se graduó en la universidad de Leipzig; dio conferencias de matemáticas, filosofía, lógica y leyes.
Fue más reconocido por su trabajo en la edición y compilación de enciclopedias y libros de matemáticas que por su investigación personal.
Escribió la enciclopedia “Razonamientos Matemáticos Básicos” (Mathematische Anfangsgründe), formada por 4 tomos redactados entre 1758 y 1769 en la ciudad de Gotinga y que posteriormente ampiaría con dos volúmenes más en 1800. Además publicó entre los años 1796 y 1800 “La Historia de la Matemática” (Geschichte der Mathematik), en 4 tomos. Este trabajo resultó muy interesante desde el punto de vista gramatical, con historias y problemas cotidianos, y astutas soluciones; pero carece de explicaciones y demostraciones en lo concerniente a la matemática en sí.
Entre sus estudiantes más famosos se destaca Georg Christoph Lichtenberg quien fue además un gran admirador de este hombre. Otro de sus estudiantes fue Johann Pfaff, quien posteriormente fuera el consejero matemático de Carl Friedrich Gauss.
A partir de 1763, además, fue director del observatorio. Kästner fue profesor y colega de Lichtenberg y de Erxleben.
Kästner, además de matemático, era un asiduo creador de epigramas y otros escritos con tinte sarcástico.
En su honor, entre otras cosa, existe un cráter lunar con el nombre de Abraham Gotthelf Kästner
El sacerdote belga Georges Lemaitre está considerado como el padre de las teorías actuales sobre el origen del universo.
Admitido en la escuela de ingenieros, tras la I guerra mundial cambió su orientación hacia las matemáticas y la física.
Tras obtener el doctorado en física y matemáticas ingresó en el Seminario de Malinas y fue ordenado sacerdote por el Cardenal Mercier, el 22 de septiembre de 1923.
Las ecuaciones de la relatividad general, formuladas por Einstein en 1915, permitían estudiar el universo en su conjunto. El mismo Einstein lo hizo, pero se encontró con un universo que no le gustaba: era un universo que cambiaba con el tiempo, y Einstein, por motivos no científicos, prefería un universo inalterable en su conjunto. Para conseguirlo, realizó una maniobra que, al menos en la ciencia, suele ser mala: introdujo en sus ecuaciones un término cuya única función era mantener al universo estable, de acuerdo con sus preferencias personales. Se trataba de una magnitud a la que denominó «constante cosmológica». Años más tarde, dijo que había sido el peor error de su vida.
Friedman formuló la hipótesis de un universo en expansión, pero sus trabajos tuvieron escasa repercusión en aquellos momentos.
Lemaître trabajó en esa línea hasta que consiguió una explicación teórica del universo en expansión, y la publicó en un artículo de 1927. Pero, aunque ese artículo era correcto y estaba de acuerdo con los datos obtenidos por los astrofísicos de vanguardia en aquellos años, no tuvo por el momento ningún impacto especial, a pesar de que Lemaître fue a hablar de ese tema, personalmente, con Einstein en 1927 y con de Sitter en 1928: ninguno de los dos le hizo caso.
Posteriormente Einstein admitió que el universo está en expansión; sin embargo, no le convencía la teoría del átomo primitivo, que le recordaba demasiado la creación.
/image%2F1377782%2F20250618%2Fob_e1a6c6_obseevador.gif)
/http%3A%2F%2Fserge.mehl.free.fr%2Fcgif%2Fj0336888%5B1%5D.gif)
/image%2F1377782%2F20250615%2Fob_49b5eb_obseevador.gif)
/image%2F1377782%2F20250501%2Fob_bfe0db_obseevador.gif)
