Rafael Mitchell Robinson | |
---|---|
Raphael Mitchel Robinson | |
Raphael Robinson i 1990 | |
Navn ved fødslen | engelsk Raphael Mitchel Robinson |
Fødselsdato | 2. november 1911 [1] |
Fødselssted | |
Dødsdato | 27. januar 1995 [1] (83 år) |
Et dødssted |
|
Land | |
Videnskabelig sfære | matematik , logik |
Arbejdsplads | |
Alma Mater |
|
videnskabelig rådgiver | John Hector McDonald [d] [2] |
Mediefiler på Wikimedia Commons |
Raphael Mitchel Robinson ( eng. Raphael Mitchel Robinson , 2. november 1911 – 27. januar 1995) var en amerikansk matematiker, der ydede et stort bidrag til udviklingen af matematisk logik .
Han blev født i 1911 i National City og var den yngste af fire børn. Hans far, Bertram Robinson, var en rejsende advokat, og Rafael voksede op med sin mor, Bessie Stevenson, der arbejdede som folkeskolelærer. Han kom ind på University of California i Berkeley , hvor han modtog en bachelorgrad i 1932, en mastergrad i 1933 og en ph.d. - grad i 1935 . I løbet af denne tid var landet i den store depressions greb , arbejde var meget svært at finde, og han blev tvunget til at acceptere et deltidsjob på Brown University på trods af, at den resulterende løn ikke var nok til at leve for. To års liv i fattigdom førte til, at Rafael Robinson led af tuberkulose . I 1937 blev tingene bedre, og han blev fastansat fakultetsmedlem i Berkeley.
I 1939 begyndte Julia Bowman at tage et kursus i talteori givet af Robinson . De begyndte at bruge meget tid sammen, og da hun mistede sit job, var Jerzy Neumann i stand til at finde en lille sum penge til at indrette hende som hans assistent, hvilket resulterede i, at hun kunne modtage en kandidatgrad i 1941 . Den 22. december 1941 giftede Robinson sig med Julia, men efter det kunne hun i overensstemmelse med de gældende regler ikke forblive blandt lærerne på det matematiske fakultet.
I 1949 blev Raphael Robinson fuld professor. I 1973 gik han på pension. Efter at hans kone døde i juli 1985, etablerede han Julia Bowman Robinson Fund året efter . Den 4. december 1994 fik Rafael Robinson et slagtilfælde og døde otte uger senere.
Robinson arbejdede i mange områder af matematik. Hans doktorafhandling handlede om kompleks analyse, men han arbejdede også inden for områderne logik, mængdelære, geometri, talteori og kombinatorik. Han ydede et stort bidrag til matematikkens grundlag og viste, at et stort antal matematiske teorier er uafgørlige: gruppeteori, gitterteori, projektiv geometri, lukkede algebraer. I 1950 konstruerede han et eksempel på formel aritmetik, som var endeligt aksiomatiserbart, men ufuldstændigt og uafgørligt; der blev således opnået et modeksempel på formodningen om, at en i det væsentlige uafklarelig teori nødvendigvis må have et uendeligt antal aksiomer. Ved at bruge de første computere til at løse problemer i talteori programmerede han Luc-Lehmer-testen på SWAC -computeren og kontrollerede for alle n < 2304, om tal på formen 2 n − 1 er primtal, hvilket resulterer i, at fem nye Mersenne-primtal . blev fundet . Han beskæftigede sig også med problemerne med fliselægning af flyet, og i 1978 udgav han artiklen "Udecidability of the problem of tiling the hyperbolic plane". Fra uafgøreligheden af flisebelægningsproblemet fulgte uafgøreligheden af stopproblemet for Turing-maskiner , i 1991 udgav den 80-årige Robinson "The Small Universal Turing Machine Ifølge Minsky", hvori han beskrev en universel Turing-maskine, i programmet, hvoraf der kun var 4 symboler og 7 tilstande. Robinson udgav sin sidste store artikel "To figurer på et hyperbolsk plan" i 1994, da han allerede var 83 år gammel.
![]() | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
Slægtsforskning og nekropolis | ||||
|