Raphael M. Robinson - Raphael M. Robinson
Raphael M. Robinson | |
|---|---|
 | |
| narozený | 2. listopadu 1911 |
| Zemřel | 27. ledna 1995 (ve věku 83) |
| Alma mater | Kalifornie |
| Manžel (y) | Julia Robinson |
| Vědecká kariéra | |
| Pole | Matematika |
| Vlivy | John von Neumann Alfred Tarski |
Raphael Mitchel Robinson (2. listopadu 1911 - 27. ledna 1995) byl americký matematik.
Narozen v Národní město, Kalifornie Robinson byl nejmladší ze čtyř dětí právníka a učitele. Byl oceněn od University of California, Berkeley v matematice: BA (1932), MA (1933) a Ph.D. (1935). Jeho Ph.D. práce, na komplexní analýza, byl s názvem Některé výsledky v teorii Schlichtovy funkce.
V roce 1941 se Robinson oženil se svým bývalým studentem Julia Bowman. Stala se jeho kolegyní z Berkeley a první prezidentkou ženy Americká matematická společnost.
Robinson pracoval matematická logika, teorie množin, geometrie, teorie čísel, a kombinatorika. V roce 1937 vydal jednodušší a konvenčnější verzi John von Neumann 1923 axiomatická teorie množin. Brzy poté Alfred Tarski nastoupil do Berkeleyova matematického oddělení v roce 1942, Robinson začal dělat hlavní práci na základy matematiky, navazující na Tarskiho koncept základní nerozhodnutelnost prokázáním řady matematických teorií nerozhodnutelný. V roce 1950 Robinson dokázal, že v podstatě nerozhodnutelné teorie nemusí být nekonečné množství axiomy tím, že přijdete s protikladem: Robinsonova aritmetika Q. Q je definitivně axiomatizovatelný, protože mu chybí Peano aritmetika schéma axiomu indukce; nicméně Q, jako je Peanoova aritmetika, je neúplný a nerozhodnutelné ve smyslu Gödel. Robinsonova práce na nerozhodnutelnosti vyvrcholila jeho spoluautorstvím Tarski et al. (1953), který mimo jiné stanovil nerozhodnutelnost teorie skupin, teorie mřížky, abstrakt projektivní geometrie, a uzavírací algebry.
Robinson pracoval teorie čísel, dokonce k získání výsledků využívají velmi rané počítače. Například kódoval Lucas-Lehmerův test primality zjistit, zda 2n - 1 byl prime pro všechny prime n <2304 na a SWAC. V roce 1952 ukázal, že všechna tato Mersennova čísla byla složená, kromě 17 hodnot n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281. Objevil posledních pět z nich Mersenne připraví, největší v té době známé.
Robinson napsal několik článků o naklánění letadla, zejména jasný a pozoruhodný dokument z roku 1971 Nerozhodnutelnost a neperiodicita pro naklánění roviny zjednodušení toho, co bylo zamotanou teorií.
Robinson se stal řádným profesorem v Berkeley v roce 1949, odešel do důchodu v roce 1973 a zůstal aktivní ve svých vzdělávacích zájmech po celou dobu svého života poté, co publikoval pozdě v životě:
- (věk 80 let) Minsky malý univerzální Turingův stroj, popisující a univerzální Turingův stroj se čtyřmi symboly a sedmi stavy;
- (věk 83 let) Dvě postavy v hyperbolická rovina.
Viz také
Reference
- Robinson, R. M. (1937), „The theory of classes: A combination of Von Neumann's system“, Journal of Symbolic Logic, 2 (1): 29–36, doi:10.2307/2268798, JSTOR 2268798.
- ——— (1950), "Zásadně nerozhodný systém axiomu", Sborník z mezinárodního kongresu matematiky: 729–730.
- Alfred Tarski, A. Mostowski a R. M. Robinson, 1953. Nerozhodnutelné teorie. Severní Holandsko.
- Leon Henkin, 1995, "In memoriam: Raphael Mitchell Robinson," Býk. Symbolická logika 1: 340–43.
- „In memoriam: Raphael Mitchell Robinson (1911–1995),“ Moderní logika 5: 329.
externí odkazy
- O'Connor, John J.; Robertson, Edmund F., „Raphael M. Robinson“, MacTutor Historie archivu matematiky, University of St Andrews.. Zdroj pro většinu této položky.
- Raphael M. Robinson na Matematický genealogický projekt
