Robinson, Raphael
| Raphael Mitchell Robinson | |
|---|---|
| Raphael Mitchel Robinson | |
| Raphael Robinson vuonna 1990 | |
| Nimi syntyessään | Englanti Raphael Mitchel Robinson |
| Syntymäaika | 2. marraskuuta 1911 [1] |
| Syntymäpaikka | |
| Kuolinpäivämäärä | 27. tammikuuta 1995 [1] (83-vuotias) |
| Kuoleman paikka |
|
| Maa | |
| Tieteellinen ala | matematiikka , logiikka |
| Työpaikka | |
| Alma mater |
|
| tieteellinen neuvonantaja | John Hector McDonald [d] [2] |
| Mediatiedostot Wikimedia Commonsissa | |
Raphael Mitchel Robinson ( eng. Raphael Mitchel Robinson , 2. marraskuuta 1911 - 27. tammikuuta 1995) oli amerikkalainen matemaatikko, joka antoi suuren panoksen matemaattisen logiikan kehittämiseen .
Elämäkerta
Hän syntyi vuonna 1911 National Cityssä ja oli nuorin neljästä lapsesta. Hänen isänsä Bertram Robinson oli matkustava lakimies, ja Rafael varttui äitinsä Bessie Stevensonin kanssa, joka työskenteli alakoulun opettajana. Hän tuli Kalifornian yliopistoon Berkeleyssä , jossa hän suoritti kandidaatin tutkinnon vuonna 1932, maisterin tutkinnon vuonna 1933 ja tohtorin vuonna 1935 . Tänä aikana maa oli suuren laman otteessa , työtä oli erittäin vaikea löytää, ja hän joutui hyväksymään osa-aikatyön Brownin yliopistosta huolimatta siitä, että tuloksena oleva palkka ei riittänyt elämiseen. Kahden vuoden köyhyys sai Rafael Robinsonin sairastumaan tuberkuloosiin . Vuonna 1937 asiat parani ja hänestä tuli vakituinen tiedekunnan jäsen Berkeleyssä.
Vuonna 1939 Julia Bowman aloitti Robinsonin järjestämän lukuteorian kurssin . He alkoivat viettää paljon aikaa yhdessä, ja kun hän menetti työpaikkansa, Jerzy Neumann onnistui löytämään pienen summan rahaa järjestääkseen hänet assistentiksi, minkä seurauksena hän sai maisterin tutkinnon vuonna 1941. . 22. joulukuuta 1941 Robinson meni naimisiin Julian kanssa, mutta sen jälkeen hän ei voinut jäädä matematiikan tiedekunnan opettajien joukkoon voimassa olevien sääntöjen mukaisesti.
Vuonna 1949 Raphael Robinsonista tuli täysi professori. Vuonna 1973 hän jäi eläkkeelle. Kun hänen vaimonsa kuoli heinäkuussa 1985, hän perusti Julia Bowman Robinson Fundin seuraavana vuonna . 4. joulukuuta 1994 Rafael Robinson sai aivohalvauksen ja kuoli kahdeksan viikkoa myöhemmin.
Tieteelliset saavutukset
Robinson työskenteli monilla matematiikan aloilla. Hänen väitöskirjansa oli monimutkainen analyysi, mutta hän työskenteli myös logiikan, joukkoteorian, geometrian, lukuteorian ja kombinatorian aloilla. Hän antoi suuren panoksen matematiikan perusteisiin osoittaen, että monet matemaattiset teoriat ovat ratkaisemattomia: ryhmäteoria, hilateoria, projektiivinen geometria, suljetut algebrat. Vuonna 1950 hän rakensi esimerkin muodollisesta aritmetiikasta, joka oli äärimmäisen aksiomatisoitavissa, mutta epätäydellinen ja ratkaisematon; näin saatiin vastaesimerkki olettamukselle, että olennaisesti ratkaisemattomalla teorialla täytyy välttämättä olla ääretön määrä aksioomia. Käyttäen ensimmäisiä tietokoneita lukuteorian ongelmien ratkaisemiseen hän ohjelmoi Luc-Lehmerin testin SWAC -tietokoneelle ja tarkisti kaikille n < 2304, ovatko muotoa 2 olevat luvut n − 1 alkulukuja, minkä seurauksena viisi uutta Mersennen alkulukua löydettiin . Hän käsitteli myös tason laatoitusongelmia ja julkaisi vuonna 1978 artikkelin "Hyperbolisen tason laatoituksen ongelman ratkaisemattomuus". Laatoitusongelman ratkaisemattomuudesta seurasi Turingin koneiden pysäytysongelman ratkaisemattomuus , 80-vuotias Robinson julkaisi vuonna 1991 teoksen "The Small Universal Turing Machine Under Minsky", jossa hän kuvaili yleismaailmallista Turingin konetta. jonka ohjelmassa oli vain 4 symbolia ja 7 tilaa. Robinson julkaisi viimeisen suuren artikkelinsa "Kaksi hahmoa hyperbolisessa tasossa" vuonna 1994 ollessaan jo 83-vuotias.
Katso myös
- Robinsonin aritmetiikka _ _
Muistiinpanot
- ↑ 1 2 3 4 5 6 MacTutor Matematiikan historia -arkisto
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
Linkit
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| Sukututkimus ja nekropolis | ||||
| ||||