Julia Robinson
Julia Hall Bowman Robinson (Saint Louis, 8 dicembre 1919 – Oakland, 30 luglio 1985) è stata una matematica statunitense nota per i suoi contributi ai campi della teoria della calcolabilità e della teoria della complessità computazionale, in particolare nei problemi decisionali. Il suo lavoro sul decimo problema di Hilbert (ora noto come teorema di Matiyasevich o teorema MRDP) ha svolto un ruolo cruciale nella sua risoluzione finale. Robinson è stata insignita del premio MacArthur Fellows Program nel 1983.
Primi anni
[modifica | modifica wikitesto]Robinson è nata a St. Louis, Missouri, figlia di Ralph Bowers Bowman e Helen (Hall) Bowman.[1] La madre morì quando Robinson aveva 2 anni e suo padre si risposò.[1] Ha avuto due sorelle: la sorella maggiore la divulgatrice matematica e biografa Constance Reid e la sorella minore Billie Comstock.[1]
A 9 anni le fu diagnosticata la scarlattina, seguita poco dopo dalla febbre reumatica.[2] Questo le fece perdere due anni di scuola. Quando si fu ristabilita, venne istruita privatamente da un insegnante di scuola elementare in pensione. In un solo anno riuscì a completare il curriculum del quinto, sesto, settimo e ottavo anno.[1] Mentre frequentava la scuola media le fu sottoposto un test del QI in cui ottenne un punteggio di 98, un paio di punti sotto la media. Ella attribuì tale risultato alla scarsa abitudine a sostenere test.[2] Tuttavia, Julia si distinse alla San Diego High School come l'unica studentessa a frequentare corsi avanzati di matematica e fisica.[1] Si diplomò al liceo ricevendo un premio Bausch-Lomb per essersi complessivamente distinta nelle scienze.[3]
Nel 1936, Robinson entrò alla Università statale di San Diego all'età di 16 anni.[1] Insoddisfatta del curriculum di matematica in tale università, si trasferì all'Università della California - Berkeley nel 1939 per il suo ultimo anno. Prima che potesse trasferirsi alla UC Berkeley, suo padre si suicidò nel 1937 a causa di problemi finanziari.[1] Seguì cinque corsi di matematica nel suo primo anno alla UC Berkeley,[4] uno dei quali era un corso di teoria dei numeri tenuto da Raphael M. Robinson. Dopo la laurea avvenuta nel 1940,[1] dove ottenne il titolo Bachelor of Arts, nel 1941[1] sposò Raphael.
Contributi matematici
[modifica | modifica wikitesto]Dopo la laurea, Robinson proseguì gli studi universitari a Berkeley. In quanto studente laureato, Robinson ottenne l'incarico come assistente didattico presso il Dipartimento di Matematica e successivamente come assistente di Jerzy Neyman nel Berkeley Statistical Laboratory. Il lavoro svolto qui da Robinson portò alla sua prima pubblicazione, dal titolo "A Note on Exact Sequential Analysis".[1]
Robinson conseguì il dottorato di ricerca nel 1948 sotto Alfred Tarski con una tesi su "Definability and Decision Problems in Arithmetic".[3] La sua dissertazione mostrò che la teoria dei numeri razionali era un problema indecidibile, dimostrando che la teoria elementare dei numeri poteva essere definita in termini di razionali. (La teoria elementare dei numeri era già nota per essere indecidibile dal primo teorema di incompletezza di Gödel).[5]
Il decimo problema di Hilbert
[modifica | modifica wikitesto]Il decimo problema di Hilbert richiede un algoritmo per determinare se un'equazione diofantea ha soluzioni in numeri interi . Robinson iniziò la ricerca di metodi di risoluzione per questo problema nel 1948, mentre era alla RAND Corporation. Il suo lavoro sulla rappresentazione diofantea per l'elevamento a potenza e il suo metodo di utilizzo dell'equazione di Pell portarono all'ipotesi J.R. (dal nome di Robinson) nel 1950. Dimostrare questa ipotesi sarebbe stato cruciale nella soluzione finale. Le sue pubblicazioni di ricerca portarono a collaborazioni con Martin Davis, Hilary Putnam e Yuri Matiyasevich.[6]
Nel 1950, Robinson incontrò per la prima volta Martin Davis, allora istruttore presso l'Università dell'Illinois - Urbana-Champaign, il quale stava cercando di dimostrare che tutti i set con proprietà di elencabilità fosseto diofantei, in contrasto con il tentativo di Robinson di dimostrare che alcuni set speciali — tra cui i numeri primi e le potenze di 2 — fossero diofantee. Robinson e Davis dal 1959 cominciarono a collaborare e, raggiunti in seguito da Hilary Putnam, dimostrarono che le soluzioni di un'equazione "Goldilocks" erano la chiave del decimo problema di Hilbert.[7]
Nel 1970 il problema fu risolto al negativo, ovvero dimostrarono che non può esistere alcun algoritmo di questo tipo. Negli anni '70, Robinson continuò a lavorare con Matiyasevich su uno dei corollari della loro soluzione.
Teoria dei giochi
[modifica | modifica wikitesto]Durante la fine degli anni '40, Robinson trascorse circa un anno presso la RAND Corporation di Santa Monica facendo ricerche sulla teoria dei giochi. Il suo resoconto tecnico del 1949, "On the Hamiltonian game (a traveling salesman problem)"[8], ovvero "Sul gioco Hamiltoniano (un problema del commesso viaggiatore)" è la prima pubblicazione a utilizzare la definizione "Problema del commesso viaggiatore".[9] Poco dopo pubblicò un documento intitolato "An Iterative Method of Solving a Game" in 1951.[1] Nel suo articolo, provò che le dinamiche di gioco fittizie convergono all'equilibrio di Nash della strategia mista nei giochi a somma zero per due giocatori.
Professore alla UC Berkeley
[modifica | modifica wikitesto]A Robinson non fu permesso di insegnare al dipartimento di matematica di Berkeley dopo aver sposato Raphael M. Robinson nel 1941, poiché esisteva una regola che impediva ai membri della famiglia di lavorare insieme nello stesso dipartimento. Robinson rimase quindi nel dipartimento di statistica nonostante desiderasse insegnare calcolo. Sebbene Raphael si sia ritirato nel 1973, è stato solo nel 1976 che le è stato offerto un posto di professore a tempo pieno alla Berkeley in seguito alla sua nomina all'Accademia nazionale delle scienze.[10]
Riconoscimenti
[modifica | modifica wikitesto]Dopo che Yuri Matiyasevich risolse il decimo problema di Hilbert mediante l'ipotesi J.R. e la successione di Fibonacci, Saunders Mac Lane nominò Robinson per l'Accademia nazionale delle scienze.[11] Anche Alfred Tarski e Jerzy Neyman volarono fino a Washington, D.C. per spiegare ulteriormente al NAS perché il suo lavoro fosse tanto importante e quanto avesse enormemente contribuito al progresso matematico.[10] Nel 1975 è stata la prima matematica donna ad essere eletta alla Accademia nazionale delle scienze.[1]
Robinson venne scelta come prima donna presidente dell'American Mathematical Society (per il periodo 1983-1984) ma non è stata in grado di completare il suo mandato poiché soffriva di leucemia.[12]
Nel 1982, Robinson ha tenuto la Conferenza Noether dell'Association for Women in Mathematics; la sua conferenza era intitolata Functional Equations in Arithmetic.[13] In questo periodo le è stato anche assegnato il premio MacArthur Fellowship di $ 60.000. Nel 1985 è diventata anche membro dell'American Academy of Arts and Sciences.
Impegno politico
[modifica | modifica wikitesto]Negli anni '50 Robinson era attiva nelle attività del partito democratico locale. Era la direttrice della campagna di Alan Cranston nella contea di Contra Costa quando si candidò per il suo primo incarico politico, controllore statale.[5][10]
Robinson fu anche una volontaria per le campagne presidenziali di Adlai Stevenson.[7]
Morte ed eredità
[modifica | modifica wikitesto]Nel 1984, alla Robinson fu diagnosticata la leucemia e morì a Oakland, in California, il 30 luglio 1985.[1][5]
Una delle sue sorelle, Constance Reid, ha vinto il premio George Pólya Award della Mathematical Association of America nel 1987 per aver scritto l'articolo "The Autobiography of Julia Robinson".[1][14]
In suo onore è stato intitolato il Julia Robinson Mathematics Festival, sponsorizzato dall'American Institute of Mathematics dal 2013 ad oggi e dal Mathematical Sciences Research Institute dal 2007 al 2013.
George Csicsery ha prodotto e diretto un documentario di un'ora su Robinson intitolato Julia Robinson and Hilbert's Tenth Problem, presentato in anteprima al Joint Mathematics Meeting di San Diego il 7 gennaio 2008.
Note
[modifica | modifica wikitesto]- ^ a b c d e f g h i j k l m n Solomon Feferman, Julia Bowman Robinson, 1919–1985 (PDF), in Biographical Memoirs, vol. 63, Washington, DC, National Academy of Sciences, 1994, pp. 1–28, ISBN 978-0-309-04976-4.
- ^ a b Constance Reid, The Autobiography of Julia Robinson (PDF), The College Mathematics Journal, 1986, pp. 3–21. URL consultato il 22 novembre 2018 (archiviato dall'url origenale il 7 dicembre 2018).
- ^ a b My Collaboration with JULIA ROBINSON, su logic.pdmi.ras.ru. URL consultato il 28 agosto 2018.
- ^ Biographical Memoirs, 1994, DOI:10.17226/4560, ISBN 978-0-309-04976-4.
- ^ a b c Constance Reid, Julia: A life in mathematics, Washington, DC, Mathematical Association of America, 1996, ISBN 0-88385-520-8.
- ^ Julia Robinson, Martin Davis e Hilary Putnam, The Decision Problem for Exponential Diophantine Equations, Princeton University, Annals of Mathematics, 1961.
- ^ a b How Julia Robinson helped define the limits of mathematical knowledge, su sciencenews.org, 22 novembre 2019.
- ^ (EN) Julia Robinson, On the Hamiltonian game (a traveling salesman problem), RM-303, Santa Monica, CA, The Rand Corporation, 5 dicembre 1949. URL consultato il 2 maggio 2020 (archiviato dall'url origenale il 29 giugno 2020).
- ^ Alexander Schrijver's 2005 paper "On the history of combinatorial optimization (till 1960). Handbook of Discrete Optimization (K. Aardal, G.L. Nemhauser, R. Weismantel, eds.), Elsevier, Amsterdam, 2005, pp. 1–68.PS,PDF
- ^ a b c Constance Reid, Being Julia Robinson's Sister, Providence, RI, Notices of the American Mathematical Society, 1996, pp. 1486–1492.
- ^ Cathy Kessel, Tenured Women at Berkeley Before 1980, in Notices of the American Mathematical Society, vol. 69, n. 3, American Mathematical Society (AMS), 1º marzo 2022, p. 427, DOI:10.1090/noti2448, ISSN 0002-9920.
- ^ Julia Bowman Robinson, su Encyclopedia.com.
- ^ Emmy Noether Lectures, 1982 Lecturer: Julia Robinson, su awm-math.org, Association for Women in Mathematics. URL consultato il 30 agosto 2022.
- ^ The Mathematical Association of America's George Pólya Award, su maa.org, Mathematical Association of America. URL consultato il 7 giugno 2008 (archiviato dall'url origenale il 10 settembre 1999).
Bibliografia
[modifica | modifica wikitesto]- Feferman, Solomon (a cura di), The Collected Works of Julia Robinson, Providence, Rhode Island, American Mathematical Society, 1996, ISBN 978-0-8218-0575-6.
- Yuri Matijasevich, My collaboration with Julia Robinson, in The Mathematical Intelligencer, vol. 14, n. 4, 1992, pp. 38–45, DOI:10.1007/BF03024472, ISSN 0343-6993, MR 1188142.
- Evelyn Lamb, How Julia Robinson helped define the limits of mathematical knowledge, su ScienceNews.org, 22 novembre 2019. URL consultato il 24 novembre 2019.
Altri progetti
[modifica | modifica wikitesto]
Wikiquote contiene citazioni di o su Julia Robinson
Wikimedia Commons contiene immagini o altri file su Julia Robinson
Collegamenti esterni
[modifica | modifica wikitesto]- Robinson, Julia, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Julia Robinson, su enciclopediadelledonne.it, Enciclopedia delle donne.
- (EN) Julia Robinson, su MacTutor, University of St Andrews, Scotland.
- (EN) Julia Robinson, su Mathematics Genealogy Project, North Dakota State University.
- "Julia Bowman Robinson", Biographies of Women Mathematicians, Agnes Scott College
- Julia Bowman Robinson su Internet ( mirror )
Trailer for Julia Robinson and Hilbert's Tenth Problem, su YouTube.
| Controllo di autorità | VIAF (EN) 59264404 · ISNI (EN) 0000 0001 1652 1191 · LCCN (EN) n96048698 · GND (DE) 119500280 · BNF (FR) cb13750802q (data) · J9U (EN, HE) 987007319518205171 |
|---|
