Matemalescopio

Un matemático es un ciego en una habitación oscura que busca un gato negro que no está allí

C.Darwin

Matemáticos que han nacido o fallecido el día 9 de Julio

• Hoy es el centésimo nonágesimo primer día del año.
• 191 es un número primo palíndromo, cuando se duplica y se le añade uno sigue siendo primo palíndromo.
• 191 es el menor primo palíndromo cuya suma de sus dígitos es primo multidígito.
• 191 es la suma de los valores comunes de las monedas USA.
• 191 es primo gemelo con 193.
• 191 es un número ondulado.
• 191 es un número libre de cuadrados pues en su descomposición factorial no se repite ningún factor

Darwin

El astrónomo británico Georges Howard Darwin hijo de Charles Darwin, fue catedrático de astronomía en la Universidad de Cambridge. Realizó importantes trabajos acerca de la teoría de las mareas, que aplicó a un modelo de origen del sistema solar hoy en día desestimado. 

Darwin hizo un importante estudio del problema de tres cuerpos en el caso de las órbitas del sistema Sol-Tierra-Luna. También estudió la estabilidad de los fluidos de rotación, una vez más motivado por su interés en la Luna se formó en forma de líquido de una Tierra fundido. .

A pesar de que sus teorías hoy no son aceptadas, fue el primero en aplicar las técnicas matemáticas para estudiar la evolución del sistema Sol - Tierra - Luna. 

El matemático holandés Nicolaas Govert (Dick) de Bruijn, es especialmente conocido por la invención de la secuencia de De Bruijn .  De Bruijn cubre muchas áreas de las matemáticas.También es en parte responsable de la constante  De Bruijn-Newman  , el teorema  De Bruijn-Erdős  (tanto en la geometría de la incidencia y la teoría de grafos ) y el teorema de  BEST. Escribió uno de los libros clásicos en  análisis asintótico avanzado (De Bruijn, 1958). De Bruijn también trabajó en la teoría de los mosaicos de Penrose . En los años sesenta, diseñó el lenguaje Automath para la representación de las demostraciones matemáticas, para que puedan ser verificados de forma automática . Últimamente, ha estado trabajando en modelos para el cerebro humano . 

La matemática rusa Valentina Mikhailovna Borok  desarrolló  su tesis sobre la teoría de la distribución y sus aplicaciones a la teoría de los sistemas de ecuaciones lineales en derivadas parciales, que  fue considerada como un excelente trabajo y publicada en la prensa especializada rusa.

Sus artículos de 1954 a 1959 contienen los teoremas de rango inverso que permiten caracterizar las ecuaciones diferenciales en los tipos parabólico e hiperbólico, según ciertas propiedades de sus soluciones. En el mismo periodo obtuvo fórmulas que le permitieron computar en términos algebraicos simples los parámetros que determinan las singularidades y puntos fijos del problema de Cauchy para sistemas de ecuaciones lineales en derivadas parciales con coeficientes constantes. 

En los primeros años sesenta valentina trabaja en las soluciones fundamentales y la estabilidad de los sistemas en derivadas parciales propuestos en el sentido de Petrovskii. Sus otras dos líneas de investigación en esta época estaban en el estudio de los sistemas parabólicos que se degeneran infinitamente, y en la dependencia de las clases de singularidades de las transformaciones del argumento espacial. Sus resultados en estas dos direcciones han tenido enorme influencia en los últimos cuarenta años. Valentina realizó estos trabajos en colaboración con su esposo, Yakov Zhitomirskii.

A finales de los años sesenta Valentina comenzó una serie de artículos que representaron la base para una teoría de problemas de contorno locales y no locales en series infinitas, para sistemas de ecuaciones diferenciales en derivadas parciales. Sus resultados centrales incluyen la construcción de clases máximas de singularidades y puntos fijos, con teoremas del tipo Phragmen-Lindelöf, y el estudio de las propiedades asintóticas y la estabilidad de las soluciones de los problemas de contorno en series infinitas 

El matemático francés Henri Eugène Padé es conocido principalmente por sus técnicas de aproximación de funciones usando funciones racionales.

Estudió en la Escuela Normal Superior de París, enseñó en Lille a la vez que preparaba su doctorado bajo supervisión de Charles Hermite. En su tesis doctoral describió lo que ahora se conoce como aproximación de Padé. Consiguió plaza de profesor asociado en la Universidad de Lille, en la que sucedió a Émile Borel como profesor de mecánica en la École centrale de Lille hasta 1902.

El matemático neerlandés Arend Heyting se dedicó a la enseñanza secundaria y, en sus ratos libres, a la investigación. Realizó si tesis, bajo la supervisión de Brouwer, sobre la axiomática intuicionista de la geometría proyectiva. Fue el primer estudio de axiomatización de las matemáticas contructivistas.

Heyting asistió al Simposio de Erkenntnis en Königsberg en septiembre de 1930. Representaba el intuicionismo , mientras que Carnap y von Neumann representaban el logicismo y formalismo, respectivamente. Cada uno sostenía su propio caso y en contra de la de los otros dos. Aunque la versión Heyting de la lógica intuicionista difería en algo del de Brouwer , está claro que uno de sus principales objetivos era hacer las ideas de Brouwer  más accesible y mejor conocida. Brouwer había presentado sus ideas,deliberadamente, en una forma muy personal y poco  formal.

Había otras personas interesadas en la lógica intuicionista que trabajan en problemas similares de formalización al mismo tiempo que Heyting. Uno de ellos era  Kolmogorov , con el que mantuvo correspondencia.