Robinson, Raphael
| Rafael Mitchell Robinson | |
|---|---|
| Raphael Mitchel Robinson | |
| Raphael Robinson 1990-ben | |
| Születési név | angol Raphael Mitchel Robinson |
| Születési dátum | 1911. november 2. [1] |
| Születési hely | |
| Halál dátuma | 1995. január 27. [1] (83 éves) |
| A halál helye |
|
| Ország | |
| Tudományos szféra | matematika , logika |
| Munkavégzés helye | |
| alma Mater |
|
| tudományos tanácsadója | John Hector McDonald [d] [2] |
| Médiafájlok a Wikimedia Commons oldalon | |
Raphael Mitchel Robinson ( angol. Raphael Mitchel Robinson , 1911. november 2. – 1995. január 27.) amerikai matematikus, aki nagyban hozzájárult a matematikai logika fejlesztéséhez .
Életrajz
1911-ben született National Cityben , négy gyermek közül a legfiatalabb. Apja, Bertram Robinson utazó ügyvéd volt, Rafael pedig anyjával, Bessie Stevensonnal nőtt fel, aki általános iskolai tanárként dolgozott. Beiratkozott a Berkeley-i Kaliforniai Egyetemre , ahol 1932-ben bachelor fokozatot , 1933-ban mesterfokozatot , 1935-ben pedig Ph.D fokozatot szerzett. Ez idő alatt az ország a nagy gazdasági világválság markában volt, nagyon nehéz volt munkát találni, és kénytelen volt részmunkaidős állást elfogadni a Brown Egyetemen , annak ellenére, hogy az ebből származó fizetés nem volt elég a megélhetéshez. Két év szegénységben élt Rafael Robinson tuberkulózisban szenvedett . 1937-ben a dolgok javultak, és a Berkeley oktatói tagja lett.
1939-ben Julia Bowman elkezdett részt venni egy számelméleti kurzuson, amelyet Robinson tartott . Sok időt kezdtek együtt tölteni, és amikor elvesztette az állását, Jerzy Neumann talált egy kis pénzt, hogy asszisztensnek vegye fel, aminek eredményeként 1941-ben mesterdiplomát kapott. . 1941. december 22-én Robinson feleségül vette Juliát, de ezt követően a hatályos szabályok szerint nem maradhatott a matematikai fakultás tanárai között.
1949-ben Raphael Robinson rendes professzor lett. 1973-ban nyugdíjba vonult. Miután felesége 1985 júliusában meghalt, a következő évben megalapította a Julia Bowman Robinson Fundot . 1994. december 4-én Rafael Robinson agyvérzést kapott, és nyolc héttel később meghalt.
Tudományos eredmények
Robinson a matematika számos területén dolgozott. Doktori disszertációja komplex elemzésről szólt, de dolgozott a logika, a halmazelmélet, a geometria, a számelmélet és a kombinatorika területein is. Nagy mértékben hozzájárult a matematika alapjaihoz, megmutatva, hogy számos matematikai elmélet eldönthetetlen: csoportelmélet, rácselmélet, projektív geometria, zárt algebrák. 1950-ben megalkotta a formális aritmetika példáját, amely végleg axiomatizálható volt, de hiányos és eldönthetetlen; így ellenpéldát kaptunk arra a sejtésre, hogy egy lényegében eldönthetetlen elméletnek szükségszerűen végtelen számú axiómával kell rendelkeznie. Az első számítógépek segítségével számelméleti problémák megoldására programozta a Luc-Lehmer tesztet a SWAC számítógépen , és minden n < 2304 esetén ellenőrizte, hogy a 2 n − 1 alakú számok prímek-e, aminek eredményeként öt új Mersenne-prím . találtak . Foglalkozott a sík csempézésének problémáival is, 1978-ban publikálta „A hiperbolikus sík burkolásának problémájának eldönthetetlensége” című cikkét. A csempézési probléma eldönthetetlenségéből a Turing-gépek megállítási problémájának eldönthetetlensége következett , 1991-ben a 80 éves Robinson kiadta "A kis univerzális Turing-gép Minsky szerint" című művét, amelyben egy univerzális Turing-gépet írt le. melynek programja mindössze 4 szimbólum és 7 állapot volt. Robinson 1994-ben, már 83 évesen publikálta utolsó nagy cikkét "Két figura egy hiperbolikus síkon".
Lásd még
- Robinson aritmetika _ _
Jegyzetek
- ↑ 1 2 3 4 5 6 MacTutor Matematikatörténeti archívum
- ↑ Matematikai genealógia (angol) - 1997.
Linkek
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| Genealógia és nekropolisz | ||||
| ||||