Рафаель Мітчел Робінсон | |
---|---|
англ. Raphael Mitchel Robinson | |
Рафаэль Робинсон, 1990 рік | |
Ім'я при народженні | англ. Raphael Mitchel Robinson |
Народився | 2 листопада 1911 Нейшенал-Сіті, Каліфорнія, США |
Помер | 27 січня 1995 (83 роки) Берклі, Каліфорнія, США |
Країна | США |
Діяльність | математик, філософ, викладач університету |
Alma mater | Університет Каліфорнії (Берклі) |
Галузь | математика, логіка |
Заклад | Університет Каліфорнії (Берклі) |
Науковий керівник | d[1] |
Аспіранти, докторанти | d[1] |
Батько | Бертрам Робінсон |
Мати | Бессі Стівенсон |
У шлюбі з | Джулія Боумен |
Родичі | d |
Рафаель Робінсон у Вікісховищі |
Рафаель Мітчел Робінсон (англ. Raphael Mitchel Robinson, 2 листопада 1911 - 27 січня 1995) — американський математик, зробивший значний внесок у розвиток математичної логіки.
Біографія
Народився в 1911 році в Нейшенал-Сіті, був наймолодшим із чотирьох дітей. Його батько, Бертрам Робінсон, був адвокатом, постійно перебував у роз'їздах, тому Рафаель виріс з матір'ю Бессі Стівенсон, яка працювала вчителькою початкових класів. Вступив у Каліфорнійський університет в Берклі, де в 1932 році здобув ступінь бакалавра, в 1933 — магістра, а в 1935 Ph.D. У цей час в країні панувала Велика депресія, роботу було знайти дуже важко, і Рафаель був змушений погодитися працювати на півставки в Браунівському університеті, незважаючи на те, що отримуваної в результаті зарплати не вистачало на життя. Два роки життя в бідності призвели до того, що Рафаель Робінсон став страждати на туберкульоз. У 1937 році економічна ситуація покращилася, і він став штатним викладачем в Берклі.
У 1939 році на курс теорії чисел, який читав Робінсон, стала ходити Джулія Боумен. Вони стали проводити багато часу разом, а коли вона позбулася роботи, то Єжи Нейман зміг знайти невелику кількість грошей щоб влаштувати її своєю асистенткою, в результаті чого вона змогла в 1941 році отримати ступінь магістра. 22 грудня 1941 вони одружилися, однак після цього, згідно з чинними правилами, Джулія не могла залишатися в числі викладачів математичного факультету.
У 1949 році Рафаель Робінсон став професором. У 1973 році пішов на пенсію. Після того, як в липні 1985 року померла його дружина, в наступному році він заснував (англ. Julia Bowman Robinson Fund). 4 грудня 1994 Рафаель Робінсон переніс інсульт, і вісім тижнів по тому помер.
Наукові досягнення
Робінсон працював у багатьох галузях математики. Його докторська дисертація була присвячена комплексному аналізу, однак він також працював в галузі логіки, теорії множин, геометрії, теорії чисел і комбінаторики. Він вніс великий внесок у підстави математики, показавши, що велика кількість математичних теорій є нерозв'язними: теорія груп, теорія ґраток, проективна геометрія, замкнуті алгебри. У 1950 році ним був побудований приклад формальної арифметики, яка була скінченно аксіоматизована, але неповна і нерозв'язна. Таким чином був отриманий контрприклад до гіпотези про те, що істотно нерозв'язна теорія обов'язково повинна мати нескінченне число аксіом. Використовуючи перші комп'ютери для вирішення проблем теорії чисел, він запрограмував на комп'ютері SWAC (англ. Standards Western Automatic Computer) Тест Люка — Лемера і перевірив для всіх n < 2304 чи є числа виду 2n − 1 простими, в результаті чого було знайдено п'ять нових простих чисел Мерсенна. Також він займався проблемами замощення площині, і в 1978 році опублікував статтю «Нерозв'язність проблеми замощення гіперболічної площини». З нерозв'язності проблеми замощення слідувала нерозв'язність проблеми зупинки для машин Тюрінга, у 1991 році 80-річний Робінсон опублікував працю «Мала універсальна машина Тюрінга по Мінському», в якій описав універсальну машину Тюрінга, в програмі якої було всього 4 символи і 7 станів. Останню свою велику статтю «Дві фігури на гіперболічній площині» Робінсон опублікував у 1994 році, коли йому було вже 83 роки.
Див. також
- [en]
Посилання
- Robinson, R. M. (1937), "The theory of classes: A modification of Von Neumann's system", , 2 (1): 29—36, doi:10.2307/2268798, JSTOR 2268798.
- ——— (1950), "An Essentially Undecidable Axiom System", Праці Міжнародного конгресу математиків: 729—730.
- Альфред Тарський, А. Мостовський 1953. Undecidable theories. Північна Голландія.
- [en], 1995, «In memoriam: Raphael Mitchell Robinson, [ 3 березня 2016 у Wayback Machine.]» Bull. Символьна логіка 1: 340–43.
- «In memoriam: Raphael Mitchell Robinson (1911—1995)», Сучасна логіка 5: 329.
Джерела
- Raphael Mitchel Robinson [ 4 березня 2016 у Wayback Machine.]
- Джон Дж. О'Коннор та Едмунд Ф. Робертсон. Рафаель Робінсон в архіві MacTutor (англ.).
- Рафаель Робінсон(англ.) в проєкті «Математична генеалогія».
- Математичний генеалогічний проєкт — 1997.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Druzhina Batko Mati Rafael Mitchel Robinsonangl Raphael Mitchel RobinsonRafael Robinson 1990 rik Rafael Robinson 1990 rikIm ya pri narodzhenniangl Raphael Mitchel RobinsonNarodivsya2 listopada 1911 1911 11 02 Nejshenal Siti Kaliforniya SShAPomer27 sichnya 1995 1995 01 27 83 roki Berkli Kaliforniya SShAKrayina SShADiyalnistmatematik filosof vikladach universitetuAlma materUniversitet Kaliforniyi Berkli Galuzmatematika logikaZakladUniversitet Kaliforniyi Berkli Naukovij kerivnikd 1 Aspiranti doktorantid 1 BatkoBertram RobinsonMatiBessi StivensonU shlyubi zDzhuliya BoumenRodichid Rafael Robinson u Vikishovishi Rafael Mitchel Robinson angl Raphael Mitchel Robinson 2 listopada 1911 27 sichnya 1995 amerikanskij matematik zrobivshij znachnij vnesok u rozvitok matematichnoyi logiki BiografiyaNarodivsya v 1911 roci v Nejshenal Siti buv najmolodshim iz chotiroh ditej Jogo batko Bertram Robinson buv advokatom postijno perebuvav u roz yizdah tomu Rafael viris z matir yu Bessi Stivenson yaka pracyuvala vchitelkoyu pochatkovih klasiv Vstupiv u Kalifornijskij universitet v Berkli de v 1932 roci zdobuv stupin bakalavra v 1933 magistra a v 1935 Ph D U cej chas v krayini panuvala Velika depresiya robotu bulo znajti duzhe vazhko i Rafael buv zmushenij pogoditisya pracyuvati na pivstavki v Braunivskomu universiteti nezvazhayuchi na te sho otrimuvanoyi v rezultati zarplati ne vistachalo na zhittya Dva roki zhittya v bidnosti prizveli do togo sho Rafael Robinson stav strazhdati na tuberkuloz U 1937 roci ekonomichna situaciya pokrashilasya i vin stav shtatnim vikladachem v Berkli U 1939 roci na kurs teoriyi chisel yakij chitav Robinson stala hoditi Dzhuliya Boumen Voni stali provoditi bagato chasu razom a koli vona pozbulasya roboti to Yezhi Nejman zmig znajti neveliku kilkist groshej shob vlashtuvati yiyi svoyeyu asistentkoyu v rezultati chogo vona zmogla v 1941 roci otrimati stupin magistra 22 grudnya 1941 voni odruzhilisya odnak pislya cogo zgidno z chinnimi pravilami Dzhuliya ne mogla zalishatisya v chisli vikladachiv matematichnogo fakultetu U 1949 roci Rafael Robinson stav profesorom U 1973 roci pishov na pensiyu Pislya togo yak v lipni 1985 roku pomerla jogo druzhina v nastupnomu roci vin zasnuvav angl Julia Bowman Robinson Fund 4 grudnya 1994 Rafael Robinson perenis insult i visim tizhniv po tomu pomer Naukovi dosyagnennyaRobinson pracyuvav u bagatoh galuzyah matematiki Jogo doktorska disertaciya bula prisvyachena kompleksnomu analizu odnak vin takozh pracyuvav v galuzi logiki teoriyi mnozhin geometriyi teoriyi chisel i kombinatoriki Vin vnis velikij vnesok u pidstavi matematiki pokazavshi sho velika kilkist matematichnih teorij ye nerozv yaznimi teoriya grup teoriya gratok proektivna geometriya zamknuti algebri U 1950 roci nim buv pobudovanij priklad formalnoyi arifmetiki yaka bula skinchenno aksiomatizovana ale nepovna i nerozv yazna Takim chinom buv otrimanij kontrpriklad do gipotezi pro te sho istotno nerozv yazna teoriya obov yazkovo povinna mati neskinchenne chislo aksiom Vikoristovuyuchi pershi komp yuteri dlya virishennya problem teoriyi chisel vin zaprogramuvav na komp yuteri SWAC angl Standards Western Automatic Computer Test Lyuka Lemera i pereviriv dlya vsih n lt 2304 chi ye chisla vidu 2n 1 prostimi v rezultati chogo bulo znajdeno p yat novih prostih chisel Mersenna Takozh vin zajmavsya problemami zamoshennya ploshini i v 1978 roci opublikuvav stattyu Nerozv yaznist problemi zamoshennya giperbolichnoyi ploshini Z nerozv yaznosti problemi zamoshennya sliduvala nerozv yaznist problemi zupinki dlya mashin Tyuringa u 1991 roci 80 richnij Robinson opublikuvav pracyu Mala universalna mashina Tyuringa po Minskomu v yakij opisav universalnu mashinu Tyuringa v programi yakoyi bulo vsogo 4 simvoli i 7 staniv Ostannyu svoyu veliku stattyu Dvi figuri na giperbolichnij ploshini Robinson opublikuvav u 1994 roci koli jomu bulo vzhe 83 roki Div takozh en PosilannyaRobinson R M 1937 The theory of classes A modification of Von Neumann s system 2 1 29 36 doi 10 2307 2268798 JSTOR 2268798 1950 An Essentially Undecidable Axiom System Praci Mizhnarodnogo kongresu matematikiv 729 730 Alfred Tarskij A Mostovskij 1953 Undecidable theories Pivnichna Gollandiya en 1995 In memoriam Raphael Mitchell Robinson 3 bereznya 2016 u Wayback Machine Bull Simvolna logika 1 340 43 In memoriam Raphael Mitchell Robinson 1911 1995 Suchasna logika 5 329 DzherelaRaphael Mitchel Robinson 4 bereznya 2016 u Wayback Machine Dzhon Dzh O Konnor ta Edmund F Robertson Rafael Robinson v arhivi MacTutor angl Rafael Robinson angl v proyekti Matematichna genealogiya Matematichnij genealogichnij proyekt 1997 d Track Q829984