Robinson, Rafael

Raphael Mitchel Robinson ( Ing.  Raphael Mitchel Robinson , 2 de noviembre de 1911 - 27 de enero de 1995) fue un matemático estadounidense que hizo una gran contribución al desarrollo de la lógica matemática .

Biografía

Nacido en 1911 en National City , era el menor de cuatro hermanos. Su padre, Bertram Robinson, era un abogado ambulante, y Rafael creció con su madre, Bessie Stevenson, quien trabajaba como maestra de escuela primaria. Ingresó a la Universidad de California en Berkeley , donde obtuvo una licenciatura en 1932, una maestría en 1933 y un doctorado en 1935 . Durante este tiempo, el país estaba en las garras de la Gran Depresión , era muy difícil encontrar trabajo y se vio obligado a aceptar un trabajo de medio tiempo en la Universidad de Brown a pesar de que el salario resultante no era suficiente para vivir. Dos años de vivir en la pobreza llevaron a Rafael Robinson a padecer tuberculosis . En 1937 las cosas mejoraron y se convirtió en miembro titular de la facultad en Berkeley.

En 1939, Julia Bowman comenzó a tomar un curso de teoría de números impartido por Robinson . Comenzaron a pasar mucho tiempo juntos, y cuando ella perdió su trabajo, Jerzy Neumann pudo encontrar una pequeña cantidad de dinero para contratarla como su asistente, como resultado de lo cual pudo recibir una maestría en 1941. . El 22 de diciembre de 1941, Robinson se casó con Julia, pero después de eso, de acuerdo con las reglas vigentes, ella no pudo permanecer entre los profesores de la facultad de matemáticas.

En 1949, Raphael Robinson se convirtió en profesor titular. En 1973 se retiró. Después de que su esposa muriera en julio de 1985, estableció el Fondo Julia Bowman Robinson al año siguiente .  El 4 de diciembre de 1994, Rafael Robinson sufrió un derrame cerebral y murió ocho semanas después.

Logros científicos

Robinson trabajó en muchas áreas de las matemáticas. Su tesis doctoral versó sobre análisis complejo, pero también trabajó en los campos de la lógica, la teoría de conjuntos, la geometría, la teoría de números y la combinatoria. Hizo una gran contribución a los fundamentos de las matemáticas, mostrando que un gran número de teorías matemáticas son indecidibles: teoría de grupos, teoría de celosías, geometría proyectiva, álgebras cerradas. En 1950 construyó un ejemplo de aritmética formal que era finitamente axiomatizable pero incompleto e indecidible; así se obtuvo un contraejemplo a la conjetura de que una teoría esencialmente indecidible debe tener necesariamente un número infinito de axiomas. Usando las primeras computadoras para resolver problemas de teoría de números, programó la prueba de Luc-Lehmer en la computadora SWAC y verificó para todos los n < 2304 si los números de la forma 2 n − 1 son primos, como resultado de lo cual cinco nuevos primos de Mersenne fueron encontrados También se ocupó de los problemas del teselado del plano, y en 1978 publicó el artículo "Indecidibilidad del problema del teselado del plano hiperbólico". De la indecidibilidad del problema del mosaico siguió la indecidibilidad del problema de la parada para las máquinas de Turing , en 1991, Robinson, de 80 años, publicó "La pequeña máquina de Turing universal según Minsky", en la que describía una máquina de Turing universal, en el programa del cual solo había 4 símbolos y 7 estados. Robinson publicó su último gran artículo "Dos figuras en un plano hiperbólico" en 1994, cuando ya tenía 83 años.

Véase también

• La aritmética de Robinson_

Notas

1. ↑ 1 2 3 4 5 6 MacTutor Archivo de Historia de las Matemáticas
2. ↑ Genealogía matemática  (inglés) - 1997.

Enlaces

• Rafael Mitchell Robinson

sitios temáticos	genealogía matemática zbMATH Abierto Portal matemático de toda Rusia Archivo de Historia de las Matemáticas MacTutor
diccionarios y enciclopedias	Britannica (en línea)
Genealogía y necrópolis	encontrar una tumba
En catálogos bibliográficos CiNii : DA1594221X CONOR : 111937379 TIERRA : 1118871642 ISNI : 0000 0001 1086 1160 J9U : 987008116364705171 LCCN : n88636278 NKC : xx0194624 NTA : 071588892 NUKAT : n2002034954 SUDOC : 083310568 VIAF : 119628291 Gato mundial VIAF : 119628291