Raphael M. Robinson

Nato a National City, in California, Robinson era il più giovane di quattro figli di un avvocato e un insegnante. Ha conseguito all'Università della California a Berkeley la laurea in matematica (BA nel 1932 e MA nel 1933) e il dottorato di ricerca nel 1935. La sua tesi di dottorato, su analisi complessa, era intitolata "Some results in the theory of Schlicht functions" (Alcuni risultati nella teoria delle funzioni di Schlicht).

Nel 1941, Robinson sposò la sua ex studentessa Julia Bowman. È diventata la sua collega di Berkeley e la prima donna presidente della American Mathematical Society.

 

 

Robinson ha lavorato su logica matematica, teoria degli insiemi, geometria, teoria dei numeri e combinatoria. Nel 1937 espose una versione più semplice e più convenzionale della teoria assiomatica degli insiemi di John von Neumann del 1923. Poco dopo che Alfred Tarski si associò al dipartimento di matematica di Berkeley nel 1942, Robinson iniziò un importante lavoro sui fondamenti della matematica, basandosi sul concetto di Tarski di "indecidibilità essenziale" e dimostrando l'indecibilità di alcune teorie matematiche. Nel 1950 Robinson ha dimostrato che una teoria essenzialmente indecidibile non ha bisogno di avere un numero infinito di assiomi presentando un controesempio: l'aritmetica di Robinson Q. Q è assiomatizzabile in modo finito perché priva, rispetto all'aritmentica di Peano, dell'assioma di induzione; tuttavia Q, come l'aritmetica di Peano, è incompleto e indecidibile nel senso di Gödel. Il lavoro di Robinson, in collaborazione con Tarski, culminò con lo stabilire, tra le altre cose, l'indecidibilità della teoria dei gruppi, della teoria del reticolo, della geometria proiettiva astratta e delle algebre di chiusura^[1].

Robinson ha lavorato sulla teoria dei numeri, impiegando anche i primi computer per ottenere risultati. Ad esempio, creò un programma su uno SWAC basato sul test di primalità di Lucas-Lehmer per determinare se il numero 2ⁿ - 1 fosse primo (numeri primi di Marsenne) per tutti i primi n < 2304. Nel 1952, mostrò che tali numeri erano tutti composti ad eccezione di 17 di essi, pari ai valori di n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281. Gli ultimi cinque di questi erano i più grandi numeri di Marsenne conosciuti all'epoca.

Robinson scrisse diversi articoli sulle tassellature del piano, che semplificano quella che fino ad allora era stata una teoria intricata, in particolare uno del 1971 sull'indecidibilità e aperiodicità per le tassellature del piano^[2]. A tale scopo inventò un tipo di piastrelle in grado di tassellare il piano in maniera aperiodica.

Robinson divenne professore a tempo pieno a Berkeley nel 1949. Andò in pensione nel 1973 ma rimase attivo nei suoi interessi educativi per tutta la vita, pubblicando fino in tarda età:

• a 80 anni: "Minsky's small universal Turing machine", che descrive una macchina di Turing minimale con quattro simboli e sette stati^[3];
• a 83 anni: "Two figures in the hyperbolic plane" (Due figure nel piano iperbolico)^[4].

• R. M. Robinson, The theory of classes: A modification of Von Neumann's system, in Journal of Symbolic Logic, vol. 2, n. 1, 1937, pp. 29–36, DOI:10.2307/2268798, JSTOR 2268798.
• R. M. Robinson, An Essentially Undecidable Axiom System, in Proceedings of the International Congress of Mathematics, 1950, pp. 729–730.
• Alfred Tarski, A. Mostowski, and R. M. Robinson, 1953. Undecidable theories. North Holland.
• Leon Henkin, 1995, "In memoriam : Raphael Mitchell Robinson," Bull. Symbolic Logic 1: 340–43.
• "In memoriam : Raphael Mitchell Robinson (1911–1995)," Modern Logic 5: 329.

•   Wikimedia Commons contiene immagini o altri file su Raphael M. Robinson

• (EN) Raphael M. Robinson, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.  
• (EN) Raphael M. Robinson, su MacTutor, University of St Andrews, Scotland.  
• (EN) Raphael M. Robinson, su Mathematics Genealogy Project, North Dakota State University.  

  Portale Biografie: accedi alle voci di Wikipedia che trattano di biografie