| Robinson, Raphael Mitchel
National City, California, USA, 1911. nov. 2. - Berkeley, California, 1995. jan. 27. Amerikai matematikus
Kaliforniában a Berkeley Egyetemen végezte matematikai tanulmányait. Itt szerezte meg Ph.D. fokozatot, majd 1973-ban történt nyugdíjba vonulásáig a Berkeley Egyetemen tanított matematikát. Nyugdíjasként is aktív kutató maradt. Munkássága során elsősorban a matematika alapjainak körébe tartozó kérdésekkel foglalkozott. Fontos eredményeket ért el a matematikai logika, halmazelmélet, számelmélet és kombinatorika területén. Nevét viseli az általa bevezetett Robinson-aritmetika. Tarskival közösen publikált eredményei fontosak az eldönthetőség vizsgálatában. A számítógépeknek a számelméletben való korai alkalmazói közé tartozott: 1952-ben számítógép segítségével állította elő az akkor ismert legnagyobb Mersenne-primszámokat. Előállította a síknak egy nemperiodikus csempézését. 1941-ben megnősült. Felesége Julia Robinson, a Berkeley Egyetemen az ő tanítványa volt, majd tanártársa lett.
|  | | Web dokumentumok |
