www.fmath.info

See oli juudi perekonnas, ja kuigi Abraham Robinson vanem oli sionistliku ta ei olnud kunagi Palestiinale, kuid ta oli nõus ametikoha heebrea Rahvusraamatukogus Jeruusalemma vahetult enne ta suri. Hedwig Robinson oli õpetaja ja ta pöördus üles tema kaks poega Saksamaal kuni 1933 Aabraham oli neliteist aastat vana. Kuigi vähe on teada Abraham nende aastate jooksul on mõned sülearvutid, mis ta omanikuks on säilinud:

... sisaldab luuletusi ja näidendeid, mis viitab tundlik tähelepanelik lapse ambitsiooni kirjutada.

On selge, et perekond on alati olnud huvitatud Jeruusalemma, kuid anti-Jewish õigusaktides toodud Saksamaalt 1933 aastal näidatud väga selgelt, et oli aeg lahkuda. On 30. jaanuar 1933 Hitler tuli võimule ja 7 aprill 1933 Avaliku teenistuse seaduse sätestatud viis kõrvaldada juudi õpetajad koolides ja ülikoolides, ja muidugi ka eemaldada need juudi päritolu teiste rollid. Kõik ametnikud, kes ei kuulunud aaria päritolu (millel on üks vanavanem juudi religioon teinud keegi mitte-aaria) oleks pensionile jäänud. Hedwig, Abraham ja Saul Robinson vältida probleeme, et juudid oleks Saksamaal alates 1933 alustades uut elu Palestiinas.

Ei Robinson lõpetanud oma kooli, ja 1935, hakkas õpib matemaatika alusel Fraenkel ja Levitzki on Jeruusalemma Heebrea Ülikool. Robinson oli hiilgav õpilane ning pärast lõpetamist aastal 1939, sai ta stipendiumi et ta saaks õppida Sorbonne Pariisis. Pärast ainult mõned kuud kestnud uuringus oli ta sunnitud põgenema, kui sakslased vallutasid Prantsusmaa. Pärast jõudmist Inglismaal üks viimaseid väikeste paatide Bordeaux evakueerida põgenikud, ta muutis oma nime Robinsohn.

Kuna bakalaureuseõppe ajal Heebrea Ülikooli Robinson on huvitatud nii algebra ja matemaatilise loogika. Siiski, kui Inglismaal ta värvatud vabas Prantsuse õhujõudude ja kuna ta oli matemaatik, ta saadeti 1941 Royal Aircraft asutamisel Farnborough, kus ta sai scientific officer. Kiiresti sai ekspert aerodünaamika ja kogu ülejäänud II maailmasõda töötas ta on delta tiiva ja ülehelikiirusega voolu. Ta saadeti Saksamaale aastal 1945 endiselt oma rolli scientific officer, ja seejärel aastal 1946 nimetati ta dotsent Kolledžis lennundus kell Cranfield. Noor kirjutas:

Kell Cranfield tema huve aerodünaamilise teooria tiivad nii aeglasemalt ja ülehelikiirusega voolu avardada ja sai üha põhjalik.

Nüüdseks Robinson oli maailma juhtiv asutus aerodünaamika veel jätkas ta oma huvi matemaatilise loogika. Aastal 1946 sai ta magistrikraadi alates Heebrea ülikoolis Jeruusalemmas ja pärast seda alustas ta teadustöö Londoni Ülikooli saavad Ph.D. London in 1949 teerajaja töö mudeli teooria ja metamathematics on algebraline süsteemid.

Ta läks Toronto ülikooli aastal 1951 alustada juhataja rakendada matemaatikat, kuid lahkus Jeruusalemm aastal 1957, et täita Fraenkel 's õppetooli Heebrea Ülikool. Ta oli esimees Matemaatika osakond seal kuni 1962, kui ta nõustus professuuri Matemaatika ja filosoofia California Ülikool, Los Angeles. Aastal 1967 kolis ta uuesti, kuid jäänud Ameerika Ühendriigid läks ta Yale'i ülikooli professori of mathematics. Muud kui muutuvad tema juhatusel üles Sterling professor Matemaatika Yale'i 1971 ta püsis seal kuni oma surmani. Ta oli diagnoositud vähk kõhunäärme 1973 läbis operatsiooni sama aasta novembris, kuid suri paar kuud hiljem. Kogumise paber Mudel teooria ja algebra avaldati 1975 Memorial austust Robinson. Toimetajad "sissejuhatuses öeldud:

Ootamatu surmaga lõppenud haigus Abraham Robinson tuli suur šokk paljudele inimestele kogu maailmas. For Robinson oli rohkem kui suurepärane matemaatik. Ta oli ka isik, kellest üks tuli väga kiiresti, nagu väga palju. Need kiire kurb kuu november 1973-aprill 1974 oli nende Yale'i Vivahtaa mõttes ebatõelisus. Ta oli läinud enne, kui keegi võiks toime tulema, mis juhtub. Oleme püüdnud viisil väljendada oma austust ja meie mõistes isiklik kaotus. See maht oli parim viis teadsime.

Robinson oli juhtiv ekspert märkimisväärselt erinevate valdkondade matemaatika. Artikkel sisaldab 130 tk ja üheksa raamatut, mida ta kirjutas. Tehkem kõigepealt uurida oma panuse rakendada matemaatikas. Ainult üks tema raamatute tegeleb rakendada matemaatikat, kuid see võib üllatus matemaatikud, kes mõtlevad Robinson ainult matemaatiline loogik mõistma, et peaaegu pool tema raamatud on rakendusuuringute matemaatika, eriti aerodünaamika. Kohaldati matemaatika raamat Wing teooria kirjaliku koos JA Laurmann ja avaldatakse 1956. Lighthill, vaadates töö, wrote:

See on imetlusväärne komplekti matemaatilistest teooriatest aerodünaamika kohta aerofoils ja tiivad. Peaaegu kõik olulised tulemused on nimetatud, kuigi ei saa olla ainult lühike viide kirjanduse seoses raskem teemadel. ... Tuleb hindamatu tutvustus tiiva aerodünaamika on matemaatiliselt mõtlemisega õpilased, samuti tahkete stand-by eesmärgil viide kõikidele töötajatele käesolevas ja sellega seotud valdkondades.

Robinson on tuntud, kuid tema tööd matemaatilise loogika. Tema doktorikraadi Heebrea Ülikooli aastal 1949 oli metamathematics on algebraline süsteemid ja see sai tema esimene raamat avaldati 1951. Ta avaldas Täielik teooriad aastal 1956, mis on kirjutatud uurimuse omadusi mudeli täielikkust ja bounding muuta. Taotles ta need kaks mõistet on elementaarne teooriate teatud matemaatiliste struktuuridega. Robinson osaluse mudeli teooria töötati välja ajal oma aega, University of Toronto. Ta weaved tema palju makse ja paber arvesse traktaat Sissejuhatus mudeli teooria ja metamathematics ja algebra avaldatud 1963. Engeler kirjutas:

See on ... esimene katse kirjutada ühendatud hakka uut teemat mudeli teooria. Põhiosa töö koosneb transkribeeritakse versioonid autori peamine panuse suhtes, mis tuuakse sujuv ja ülimalt loetav jada. ... ei tulemusi täieliku uuringu võib oodata käesoleval ajal igast üksikust autor.

Robinson kõige kuulsam leiutis oli mittestandardsed analüüsi, milles ta tutvustas 1961. Kochen kirjutab:

Ma tahan rõhutada, et mittestandardsed analüüs ei olnud ootamatu tangentsiaalne suund, kuhu Robinson liigutada. Pigem oli süstemaatiline kohaldamine samast seisukohast, mida ta varem kohaldati algebra uuringule analüüsi.

Fenyo selgitas ideede teooria:

[Robinson's] teooria põhineb metamathematical asjaolu, et süsteemi tegelik arv on puudulik. Seega on olemas laiendamise valdkonnas tegelikke numbreid, mis peavad olema kõik atribuutide süsteemi tegelikku arvu, mis on sõnastatud madalam predikaat calculus osas mõned kogumiks suhteid. Kohanimi laiendamist noncomplete teooriad on sageli nimetatud mittestandardsed mudelid. Mittestandardsed mudeli süsteemi tegelik arv on tunnuseks on mitte-Archimedean täiesti tellitud valdkonnas, mis sisaldab koopiat tegelik arv süsteemis.

Aastal 1966 Robinson avaldas oma kuulsa tekst Mittestandardsed analüüsi. Kreisel kirjutas:

See raamat, mis ilmus äsja 250 aastat pärast Leibniz 's surma, esitatakse täpne ja tõhus teooria infinitesimals täiuslik, nagu Leibniz tahtnud, samad seadused nagu tavalised numbrid.

Me lõpuks see elulugu andes mõned märkused Robinson isiksus. Sel kallinemine on esitatud:

Ta oli alandlikkust ja headust on tõeliselt suur, ta oli huvitatud inimesed ja ta leidis, et see lihtsalt meeldib neid ja ta patronised keegi. Ta oli sügavalt mures enamiku moodustab inimeste kultuuri ja loovust, ning kõik, mida ta võiks vestelda huvitav segu loogika, arusaam ja teadmised, mis iseloomustasid tema matemaatika.

MacIntyre, mis kirjutab:

Robinson oli härrasmees, lakkamatult viisakad, on ammendamatu entusiasmi. Ta oli tagasihoidlik meel tema paljud kinni. Ta oli palju kinni oma valmisolekut kuulata, ja siirust tema nõuandeid.

Lõpuks meile tsitaat Korner's austust Robinson ajal jumalateenistus Yale'i ülikooli 15. septembril 1974:

Kui keegi arvab rikkust, sügavus ja mitmekesisus oma huvide ja pidev koosmõju tema mõtlemine puhta matemaatika, mida kohaldatakse matemaatika, loogika ja filosoofia, üks on pidevalt meelde Leibniz, keda ta tundis looduslike sidemete ja kelle ta sügavaimat imetlust . Üks Leibnizian idee, mida ta saaks näha vähe teeneid oli Leibniz "s" principe de meilleur ", mille kohaselt maailm on parim kõigist võimalikest maailmadest. Mäletan tema minult küsitakse rohkem kui üks kord tema kergelt irooniline, kuidas, kas ma saaksin mingit mõtet seda põhimõtet. Täna tahaksin pakkuda osalise vastuse: Ei saa täielikult halb maailmad, kus Abraham Robinson võiks elada ja arvad, kus tema naine ja sõbrad on võimalik hellitada oma mälu ning kus tema elu töö mäletatakse kui kui loogika, matemaatika ja filosoofia küsimus inimkonnale.

Source:School of Mathematics and Statistics University of St Andrews, Scotland