Raphael Mitchell Robinson | |
---|---|
Raphael Mitchel Robinson | |
Raphael Robinson 1990 | |
Namn vid födseln | engelsk Raphael Mitchel Robinson |
Födelsedatum | 2 november 1911 [1] |
Födelseort | |
Dödsdatum | 27 januari 1995 [1] (83 år) |
En plats för döden |
|
Land | |
Vetenskaplig sfär | matematik , logik |
Arbetsplats | |
Alma mater |
|
vetenskaplig rådgivare | John Hector McDonald [d] [2] |
Mediafiler på Wikimedia Commons |
Raphael Mitchel Robinson ( eng. Raphael Mitchel Robinson , 2 november 1911 - 27 januari 1995) var en amerikansk matematiker som gjorde ett stort bidrag till utvecklingen av matematisk logik .
Han föddes 1911 i National City och var den yngsta av fyra barn. Hans far, Bertram Robinson, var en resande advokat, och Rafael växte upp med sin mamma, Bessie Stevenson, som arbetade som grundskollärare. Han gick in på University of California i Berkeley , där han fick en kandidatexamen 1932, en magisterexamen 1933 och en doktorsexamen 1935 . Under denna tid befann sig landet i den stora depressionens grepp , arbete var mycket svårt att hitta, och han tvingades acceptera ett deltidsarbete vid Brown University trots att den resulterande lönen inte räckte till att leva på. Två år av att leva i fattigdom ledde till att Rafael Robinson led av tuberkulos . 1937 förbättrades saker och ting och han blev en anställd fakultetsmedlem i Berkeley.
1939 började Julia Bowman ta en kurs i talteori som gavs av Robinson . De började spendera mycket tid tillsammans, och när hon förlorade sitt jobb kunde Jerzy Neumann hitta en liten summa pengar för att ordna henne som hans assistent, vilket ledde till att hon kunde ta en magisterexamen 1941 . Den 22 december 1941 gifte sig Robinson med Julia, men efter det kunde hon, i enlighet med gällande regler, inte stanna kvar bland lärare på den matematiska fakulteten.
1949 blev Raphael Robinson professor. 1973 gick han i pension. Efter att hans fru dog i juli 1985 grundade han Julia Bowman Robinson Fund följande år . Den 4 december 1994 drabbades Rafael Robinson av en stroke och dog åtta veckor senare.
Robinson arbetade inom många områden inom matematiken. Hans doktorsavhandling handlade om komplex analys, men han arbetade också inom områdena logik, mängdlära, geometri, talteori och kombinatorik. Han gjorde ett stort bidrag till matematikens grunder och visade att ett stort antal matematiska teorier är oavgjorda: gruppteori, gitterteori, projektiv geometri, slutna algebror. År 1950 konstruerade han ett exempel på formell aritmetik som var ändligt axiomatiserbart men ofullständigt och oavgörbart; sålunda erhölls ett motexempel till gissningen att en i huvudsak oavgörlig teori nödvändigtvis måste ha ett oändligt antal axiom. Genom att använda de första datorerna för att lösa problem inom talteorin programmerade han Luc-Lehmer-testet på SWAC -datorn och kontrollerade för alla n < 2304 om tal av formen 2 n − 1 är primtal, vilket resulterade i fem nya Mersenne-primtal. hittades . Han tog också upp problemen med att kakla planet, och 1978 publicerade han artikeln "Undecidability of the problem of tiling the hyperbolic plane". Från oavgörbarheten av plattsättningsproblemet följde oavgörbarheten av stoppproblemet för Turing-maskiner , 1991 publicerade den 80-årige Robinson "The Small Universal Turing Machine According to Minsky", där han beskrev en universell Turing-maskin, i vars program det bara fanns 4 symboler och 7 tillstånd. Robinson publicerade sin sista stora artikel "Two Figures on a Hyperbolic Plane" 1994, när han redan var 83 år gammal.
![]() | ||||
---|---|---|---|---|
Ordböcker och uppslagsverk | ||||
Släktforskning och nekropol | ||||
|