Utente:Mirabellamatteo/Julia Robinson

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Questa pagina contiene una traduzione, completa o parziale, della pagina originale:

«Julia Robinson» tratta da Wikipedia in inglese.

La versione tradotta è del 2 Febbraio, 2021, 15:59. Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.

Julia Hall Bowman Robinson (Saint Louis, 8 dicembre 1919 – Oakland, 30 luglio 1985) è stata una matematica statunitense.

Principalmente è nota per i suoi contributi negli ambiti della teoria della computabilità e della teoria della complessità computazionale, soprattutto nei problemi decisionali . I suoi studi sul decimo problema di Hilbert (anche noto come teorema di Matiyasevich o teorema MRDP) hanno giocato un ruolo cruciale nella sua risoluzione finale. Robinson era un MacArthur Fellow del 1983 .

Nei primi anni[modifica | modifica wikitesto]

É nata a St. Louis, Missouri, figlia di Ralph Bowers Bowman e Helen (Hall) Bowman. [1] Il padre possedeva una società di attrezzature per macchine mentre sua madre, prima di sposarsi, era un'insegnante. Helen morì quando Julia aveva 2 anni e il padre si risposò. La sorella maggiore, Constance Reid, fu divulgatrice matematica e biografa.

Quando aveva 9 anni, le fu diagnosticata la scarlattina, seguita a breve da febbre reumatica. [2] : Questo le ha fatto perdere due anni di scuola. Quando si riprese, fu istruita privatamente da un insegnante di scuola elementare in pensione. In un solo anno, è stata in grado di completare il curriculum del quinto, sesto, settimo e ottavo anno. [1] Ha frequentato la San Diego High School e al test del QI ottenne un 98, un paio di punti sotto la media. Tuttavia, Julia si è distinta al liceo come l'unica studentessa a frequentare corsi avanzati di matematica e fisica. Si è diplomata al liceo con un premio Bausch-Lomb per essere stata una studentessa eccezionale nelle materie scientifiche. [3]

Nel 1936 entrò alla San Diego State University all'età di 16 anni. [1] Insoddisfatta del curriculum di matematica alla San Diego State University, si trasferì all'Università della California, Berkeley nel 1939 per il suo ultimo anno. Tuttavia prima che potesse trasferirsi alla UC Berkeley, suo padre si suicidò nel 1937 a causa di problemi finanziari. Ha seguito cinque corsi di matematica nel suo primo anno a Berkeley, [4] uno dei quali era un corso di teoria dei numeri tenuto da Raphael M. Robinson . Ha ricevuto la laurea BA nel 1940, e poi si sposò con Raphael nel 1941.

Contributi matematici[modifica | modifica wikitesto]

Dopo la laurea ha proseguito gli studi universitari a Berkeley. Ha lavorato come assistente presso il Dipartimento di Matematica e successivamente come assistente di laboratorio di statistica da Jerzy Neyman presso il Berkeley Statistical Laboratory, dove il suo lavoro ha portato al suo primo articolo pubblicato, intitolato "A Note on Exact Sequential Analysis". [1]

Ha ottenuto il suo dottorato di ricerca nel 1948 con Alfred Tarski con una tesi su "Definibilità e problemi decisionali in aritmetica". [3] La sua dissertazione ha mostrato come la teoria dei numeri razionali fosse un problema indecidibile, dimostrando che la teoria dei numeri elementari 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]

Ecco un estratto dalla sua tesi:

"Questa conseguenza della nostra discussione è interessante a causa di un risultato di Godel che mostra che la varietà di relazioni tra interi (e operazioni su interi) che sono definibili aritmeticamente in termini di addizione e moltiplicazione di interi è molto grande. Ad esempio dal Teorema 3.2 e dal risultato di Godel, possiamo evincere che la relazione valida tra tre razionali A, B e N se e solo se N è un intero positivo e A = B N è definibile nell'aritmetica dei razionali. " [6]

Decimo problema di Hilbert[modifica | modifica wikitesto]

Il decimo problema di Hilbert richiede un algoritmo per determinare se un'equazione diofantina ha soluzioni in numeri interi . Robinson iniziò a esplorare metodi per questo problema nel 1948 mentre era alla RAND Corporation . Il suo lavoro sulla rappresentazione diofantea per l'elevazione a potenza e il suo metodo di utilizzo dell'equazione di Pell portarono all'ipotesi JR (dal nome di Robinson) nel 1950. Dimostrare questa ipotesi sarebbe centrale nella soluzione finale. Le sue pubblicazioni di ricerca avrebbero portato a collaborazioni con Martin Davis, Hilary Putnam e Yuri Matiyasevich . [7]

Nel 1950, incontrò per la prima volta Martin Davis, poi un istruttore presso l'Università dell'Illinois a Urbana-Champaign, che stava cercando di dimostrare che tutti i set con proprietà di visualizzabilità erano diofantina in contrasto con il tentativo di Robinson di dimostrare che alcuni set speciali, incluso il primo i numeri e le potenze di 2 - erano Diofhantine. Robinson e Davis iniziarono a collaborare nel 1959 e in seguito furono raggiunti da Hilary Putnam, dimostrando poi che le soluzioni a un'equazione "Riccioli d'oro" erano la chiave del decimo problema di Hilbert. [8]

Nel 1970 il problema è stato risolto negativamente; cioè, hanno dimostrato che non può esistere un tale algoritmo. Negli anni '70, Robinson ha continuato a lavorare con Matiyasevich su uno dei corollari della loro soluzione, ovvero:

esiste una costante N tale che, data un'equazione diofantina con un numero qualsiasi di parametri e in un numero qualsiasi di incognite, si può effettivamente trasformare questa equazione in un'altra con gli stessi parametri ma solo in N incognite in modo tale che entrambe le equazioni siano risolvibili o irrisolvibili per gli stessi valori dei parametri. [3]

Quando la soluzione è stata pubblicata per la prima volta, gli autori hanno stabilito N = 200. Il lavoro congiunto di Robinson e Matiyasevich avrebbe prodotto un'ulteriore riduzione a 9 incognite. [3]

Teoria del gioco[modifica | modifica wikitesto]

Durante la fine degli anni '40, trascorse circa un anno presso la RAND Corporation di Santa Monica a fare ricerche sulla teoria dei giochi. Il suo rapporto tecnico del 1949, "Sul gioco hamiltoniano (un problema del venditore ambulante)" [9] è la prima pubblicazione ad usare la frase " problema del venditore ambulante ". [10] Poco dopo pubblicò un articolo intitolato " An Iterative Method of Solving a Game " nel 1951.  : 7 Nel suo articolo, ha dimostrato come le dinamiche fittizie di gioco convergano all'equilibrio di Nash della strategia mista nei giochi a somma zero per due giocatori. Questo è stato posto da George W. Brown come un problema importante alla RAND Corporation . [5]

Professoressa alla UC Berkeley[modifica | modifica wikitesto]

Non le fu permesso di insegnare nel dipartimento di matematica a Berkeley dopo aver sposato Raphael M. Robinson nel 1941, poiché vigeva una regola che impediva ai membri della famiglia di lavorare insieme nello stesso dipartimento. [1] Lei rimase nel dipartimento di statistica nonostante volesse insegnare calcolo. Sebbene Raphael si ritirò nel 1973, fu solo nel 1976 che le fu offerto un posto di cattedra a tempo pieno a Berkeley dopo che il dipartimento venne a sapere della sua nomina all'Accademia nazionale delle scienze . [11]

Onori[modifica | modifica wikitesto]

Quando risolse il decimo problema di Hilbert, Saunders Mac Lane l'ha nominata per la National Academy of Sciences. Anche Alfred Tarski e Jerzy Neyman si presentarono a Washington, D.C. per spiegare ulteriormente al NAS la fondamentale importanza del suo operato e come avesse contribuito enormemente alla matematica. [11] Nel 1975, è stata la prima donna matematica ad essere eletta alla National Academy of Sciences. [1]

Fu la prima donna eletta come presidente dell'American Mathematical Society . Le ci è voluto del tempo per accettare la nomina, come ha scritto nella sua autobiografia:

"Nel 1982 sono stata nominata per la presidenza dell'American Mathematical Society. Ho capito di essere stata scelta perché ero una donna e perché avevo il sigillo di approvazione, per così dire, dell'Accademia Nazionale. Dopo aver discusso con Raphael, che pensava che avrei dovuto rifiutare e risparmiare le mie energie per la matematica, e altri membri della mia famiglia, che differivano da lui, ho deciso che come donna e come matematica non avevo altra alternativa che accettare. Ho sempre cercato di fare tutto il possibile per incoraggiare donne di talento a diventare matematiche ricercatrici. Ho trovato il mio servizio come presidente della Società faticoso ma molto, molto soddisfacente." [3]

Nel 1982, Robinson ha ricevuto il premio Noether attraverso l' Association for Women in Mathematics e ha tenuto una serie di conferenze intitolata Functional Equations in Arithmetic. [12] In questo periodo le fu anche assegnato il premio MacArthur Fellowship di $ 60.000. Nel 1985 è diventata anche parte dell'American Academy of Arts and Sciences .

Lavoro 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 corse per il suo primo incarico politico, controllora statale. [5] [11]

"Non ricordo esattamente cosa sia successo, ma il risultato finale è stato che Julia si impegnò nel profondo della politica del Partito Democratico: ha registrato elettori, buste imbottite, campanelli nei quartieri dove la gente si aspettava che pagasse per il loro voto. Ha anche lavorato come responsabile della campagna di Alan Cranston per la contea di Contra Costa, quando si candidò con successo alla carica di controllore statale, il suo primo ufficio politico ". - Constance Reid

Robinson è stato anche una volontaria per le campagne presidenziali di Adlai Stevenson. [13]

Morte ed eredità[modifica | modifica wikitesto]

Nel 1984 le fu diagnosticata la leucemia e morì a Oakland, in California, il 30 luglio 1985. [1] [5]

"Una delle ultime richieste di Julia era che non fosse organizzato il servizio funebre e che coloro che desiderassero fare un regalo in sua memoria contribuissero al Fondo Alfred Tarski, fondazione in onore del suo defunto insegnante, amico e collega. Modesta fino alla fine, ha lasciato che il suo carattere e le sue conquiste parlassero da sole." - Solomon Feferman

In suo onore è stato inaugurato il Julia Robinson Mathematics Festival sponsorizzato dall'American Institute of Mathematics 2013-presente e dal Mathematical Sciences Research Institute, 2007-2013.

George Csicsery ha prodotto e diretto un documentario di un'ora su di lei, intitolato Julia Robinson and Hilbert's Tenth Problem, presentato in anteprima al Joint Mathematics Meeting di San Diego il 7 gennaio 2008. [14] Avvisi dell'American Mathematical Society hanno pubblicato una recensione del film [15] e un'intervista con il regista. [16] Anche il College Mathematics Journal ha pubblicato una recensione del documentario. [17]

Note[modifica | modifica wikitesto]

  1. ^ a b c d e f g {{{title}}} (PDF), in {{{ency}}}. Errore nelle note: Tag <ref> non valido; il nome "NAS Memoir" è stato definito più volte con contenuti diversi
  2. ^ Constance Reid, The Autobiography of Julia Robinson (PDF), The College Mathematics Journal, 1986, pp. 3–21.
  3. ^ a b c d e logic.pdmi.ras.ru, https://logic.pdmi.ras.ru/~yumat/Julia/. URL consultato il 28 agosto 2018. Errore nelle note: Tag <ref> non valido; il nome ":0" è stato definito più volte con contenuti diversi
  4. ^ https://www.nap.edu/read/4560/chapter/21#455
  5. ^ a b c d Constance Reid, Julia: A life in mathematics, Washington, DC, Mathematical Association of America, 1996, ISBN 0-88385-520-8. Errore nelle note: Tag <ref> non valido; il nome "Julia" è stato definito più volte con contenuti diversi
  6. ^ Robinson, J. (1949). Definability and decision problems in arithmetic. Journal of Symbolic Logic, 14(2), 98-114. doi:10.2307/2266510
  7. ^ Julia Robinson, Martin Davis e Hilary Putnam, The Decision Problem for Exponential Diophantine Equations, Princeton University, Annals of Mathematics, 1961.
  8. ^ https://www.sciencenews.org/article/how-julia-robinson-helped-define-limits-mathematical-knowledge
  9. ^ (EN) Julia Robinson, On the Hamiltonian game (a traveling salesman problem), RM-303, The Rand Corporation, 5 December 1949. URL consultato il 2 May 2020.
  10. ^ 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
  11. ^ a b c Constance Reid, Being Julia Robinson's Sister, Providence, RI, Notices of the American Mathematical Society, 1996, pp. 1486–1492. Errore nelle note: Tag <ref> non valido; il nome ":1" è stato definito più volte con contenuti diversi
  12. ^ "Noether Brochure: Julia Robinson, Functional Equations in Arithmetic". Association for Women in Mathematics. Retrieved 2008-06-18
  13. ^ https://www.sciencenews.org/article/how-julia-robinson-helped-define-limits-mathematical-knowledge
  14. ^ Julia Robinson and Hilbert's Tenth Problem on IMdB
  15. ^ Carol Wood, Film Review: Julia Robinson and Hilbert's Tenth Problem (PDF), in Notices of the American Mathematical Society, vol. 55, n. 5, American Mathematical Society, May 2008, pp. 573–575, ISSN 0002-9920 (WC · ACNP). URL consultato il 6 giugno 2008.
  16. ^ Bill Casselman, Interview with George Csicsery (PDF), in Notices of the American Mathematical Society, vol. 55, n. 5, American Mathematical Society, May 2008, pp. 576–578, ISSN 0002-9920 (WC · ACNP). URL consultato il 6 giugno 2008.
  17. ^ Margaret A. M. Murray, A Film of One's Own, in College Mathematics Journal, vol. 40, n. 4, Mathematical Association of America, September 2009, pp. 306–310, ISSN 0746-8342 (WC · ACNP).

Riferimenti [modifica | modifica wikitesto]

Link esterni[modifica | modifica wikitesto]

[[Categoria:Presidenti dell'American Mathematical Society]] [[Categoria:Membri della National Academy of Sciences]] [[Categoria:Studenti dell'Università della California, Berkeley]] [[Categoria:Logici statunitensi]] [[Categoria:Morti nel 1985]] [[Categoria:Nati nel 1919]]

Estratto da "https://it.wikipedia.org/w/index.php?title=Utente:Mirabellamatteo/Julia_Robinson&oldid=121301681"