Rafael Mitchell Robinson | |
---|---|
Raphael Mitchel Robinson | |
Raphael Robinson v roce 1990 | |
Jméno při narození | Angličtina Raphael Mitchel Robinson |
Datum narození | 2. listopadu 1911 [1] |
Místo narození | |
Datum úmrtí | 27. ledna 1995 [1] (ve věku 83 let) |
Místo smrti |
|
Země | |
Vědecká sféra | matematika , logika |
Místo výkonu práce | |
Alma mater |
|
vědecký poradce | John Hector McDonald [d] [2] |
Mediální soubory na Wikimedia Commons |
Raphael Mitchel Robinson ( Eng. Raphael Mitchel Robinson , 2. listopadu 1911 – 27. ledna 1995) byl americký matematik, který významně přispěl k rozvoji matematické logiky .
Narodil se v roce 1911 v National City , byl nejmladším ze čtyř dětí. Jeho otec, Bertram Robinson, byl cestující právník a Rafael vyrůstal se svou matkou Bessie Stevensonovou, která pracovala jako učitelka na základní škole. Vstoupil na University of California v Berkeley , kde v roce 1932 získal bakalářský titul , v roce 1933 magisterský titul a v roce 1935 titul Ph.D. Během této doby byla země v sevření Velké hospodářské krize , práce se hledala velmi obtížně a byl nucen přijmout částečný úvazek na Brownově univerzitě , přestože výsledný plat nestačil na živobytí. Dva roky života v chudobě vedly Rafaela Robinsona k tomu, že trpěl tuberkulózou . V roce 1937 se věci zlepšily a stal se stálým členem fakulty v Berkeley.
V roce 1939 začala Julia Bowmanová navštěvovat kurz teorie čísel od Robinsona . Začali spolu trávit hodně času, a když přišla o práci, Jerzy Neumann dokázal najít malé množství peněz, aby si ji zařídil jako svou asistentku, díky čemuž mohla v roce 1941 získat magisterský titul. . 22. prosince 1941 se Robinson oženil s Julií, poté však v souladu s platnými pravidly nemohla zůstat mezi učiteli matematické fakulty.
V roce 1949 se Raphael Robinson stal řádným profesorem. V roce 1973 odešel do důchodu. Poté, co jeho žena zemřela v červenci 1985, založil v následujícím roce fond Julia Bowman Robinson Fund . 4. prosince 1994 utrpěl Rafael Robinson mrtvici a o osm týdnů později zemřel.
Robinson pracoval v mnoha oblastech matematiky. Jeho doktorská disertační práce byla na komplexní analýzu, ale pracoval také v oblasti logiky, teorie množin, geometrie, teorie čísel a kombinatoriky. Velkou měrou přispěl k základům matematiky, když ukázal, že velké množství matematických teorií je nerozhodnutelných: teorie grup, teorie svazů, projektivní geometrie, uzavřené algebry. V roce 1950 zkonstruoval příklad formální aritmetiky, který byl s konečnou platností axiomatizovatelný, ale neúplný a nerozhodnutelný; tak byl získán protipříklad k domněnce, že v podstatě nerozhodnutelná teorie musí mít nutně nekonečný počet axiomů. Pomocí prvních počítačů k řešení problémů v teorii čísel naprogramoval Luc-Lehmerův test na počítači SWAC a ověřil u všech n < 2304, zda čísla ve tvaru 2 n − 1 jsou prvočísla, v důsledku čehož pět nových Mersennových prvočísel byly nalezeny . Zabýval se také problematikou obkládání roviny a v roce 1978 publikoval článek „Nerozhodnutelnost problému obkládání hyperbolické roviny“. Z nerozhodnutelnosti problému s obklady následovala nerozhodnutelnost problému zastavení pro Turingovy stroje , v roce 1991 80letý Robinson publikoval „Malý univerzální Turingův stroj podle Minského“, ve kterém popsal univerzální Turingův stroj v roce 1991. program, jehož byly pouze 4 symboly a 7 stavů. Robinson publikoval svůj poslední velký článek „Dvě postavy v hyperbolické rovině“ v roce 1994, když mu bylo již 83 let.
![]() | ||||
---|---|---|---|---|
Slovníky a encyklopedie | ||||
Genealogie a nekropole | ||||
|