Еміль Леон Пост (пол. Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста. Найбільш відомий своїми досягненнями у теорії рекурсії.
Еміль Леон Пост | |
---|---|
пол. Emil Leon Post | |
Ім'я при народженні | пол. Emil Leon Post |
Народився | 11 лютого 1897[1][2][…] Августув, тодішня Російська імперія, сьогодні Польща |
Помер | 21 квітня 1954[1][2][…](57 років) Нью-Йорк, США |
Поховання | Маунт-Геброн[4][5] |
Громадянство | США |
Діяльність | математик, філософ, логік, викладач університету |
Галузь | математика |
Alma mater | Колумбійський університет |
Науковий керівник | d[6] |
Знання мов | англійська |
Заклад | Сіті Коледж[2], Принстонський університет[2], Колумбійський університет[2], Корнелльський університет[2] і d[2][8] |
Magnum opus | Проблема збіжності Поста, d, Решітка Поста, Критерій Поста[d] і Числення Поста |
|
Біографія
Еміль Леон Пост народився в ортодоксальній єврейській родині, яка мешкала недалеко від Білостока. Цього ж року його батько Арнольд емігрував до Сполучених Штатів. Коли у батька справи стали йти добре, тоді сім'я (семирічний Еміль, його дві сестри і мати) теж переїхала з Царської Росії до Нью-Йорка. Сім'я мешкала у комфортабельному будинку у Гарлемі.
У дитячому віці Еміль захоплювався астрономією, проте нещасний випадок перекреслив плани хлопця — у 12-річному віці він втратив ліву руку. Перед закінченням школи Еміль подав запит у кілька обсерваторій — чи його вада не зашкодить професії астронома. Отримані відповіді утримали його від реалізації дитячих амбіцій і Еміль зайнявся математикою.
У 1921 році Еміль Пост захистив докторську дисертацію у галузі математики у Колумбійському університеті. У дисертації він виклав метод оцінки пропозиційних формул за допомогою таблиць істинності. У ній вперше отримано низку фундаментальних результатів в металозіці для класичної логіки висловлювань: несуперечність, дедуктивна повнота, розв'язність, функціональна повнота. У цій роботі вперше побудована багатозначна логіка більш ніж з 3 істинними значеннями і з довільною кількістю виділених значень. Тут же встановлено, що множина замкнутих класів у класичній логіці лічильна.
1920—1921 навчальний рік Пост провів на постдокторських студіях у Принстонському університеті. Саме тут у нього стався перший напад маніакально-депресивного психозу. Ця хвороба супроводжувала Поста протягом всього його життя. Він достатньо відновився після цього першого нападу і отримав посаду викладача у Корнельському університеті, проте другий напад змусив його припинити викладання в Університеті. Впродовж 20-х років Еміль Пост заробляв на життя викладаючи математику у George Washington High School у Нью-Йорку. Зі своїм лікарем Пост розробив режим, який був призначений унеможливити стороннє збудження, яке вело до нападів психозу. Режим дозволяв Посту займатися наукою і дослідами лише три години на день.
Незважаючи на такий режим та велике навчальне навантаження (16 годин на тиждень) Пост зміг у цей період опублікувати свої найвпливовіші праці. Його одруження з Ґертрудою Сінґер у 1929, безсумнівно, допомогло стабілізувати його життя. Дружина асистувала Емілю, друкуючи його статті та листи, а також займалася щоденними фінансами сім'ї.
У 1932 році Еміля Поста було призначено на факультет математики Сіті Коледжу в Нью-Йорку. Пропрацювавши місяць, він залишив посаду, проте, повернувся у 1935 році, і залишався на посаді до самої смерті у 1954 році від серцевого нападу під час електрошоку.
Е.Пост входить у четвірку великих учених, які практично одночасно усвідомили можливість уточнення загального уявлення про алгоритм. У 1943 Постом було вперше запропоновано загальне поняття обчислення, яке має фундаментальне значення для доведення нерозв'язності низки проблем математики. У 1944 публікується, мабуть, найвпливовіша робота Поста, де у первісному вигляді викладається теорія ступенів нерозв'язності, а у 1947 вперше в історії математики (незалежно від А А. Маркова) було наведено приклад «внутріматематичної» нерозв'язної масової алгоритмічної проблеми, а саме проблеми А. Туе (проблема рівності для напівгруп). Пост вважав — і писав про це Курту Ґеделю, — що за 15 років до революційних ґеделевських робіт про неповноту, він вже мав ці теореми, хоча і не у такій завершеній формі.
Досягнення
- Паралельно з А. Тюринґом ввів (і вперше — у 1936 році — опублікував) уточнене поняття алгоритму у вигляді абстрактної обчислювальної машини. Сьогодні такі абстрактні «машини» дещо несправедливо називаються машинами Тюринґа, рідше машинами Тюринґа-Поста або машинами Поста-Тюринґа.
- Є родоначальником алгебри логіки. Повністю дослідив пропозиційну логіку, яка розглядається як система (алгебра) пропозиційних функцій, зокрема описав всі її підалгебри.
- Ввів гранично загальне поняття , яке узагальнює поняття логічного числення у випадку систем, в яких відбуваються будь-які дискретні процеси. Теорія канонічних числень є одночасно узагальненням і , і теорії алгоритмів, оскільки алгоритми також є частковим випадком канонічних числень (інший варіант цієї ж теорії запропонував , увівши як первинне поняття формальної системи).
Вибрані праці
- 1936, «Finite Combinatory Processes — Formulation 1,» Journal of Symbolic Logic 1: 103—105.
- 1940, «Polyadic groups», Transactions of the American Mathematical Society 48: 208—350.
- 1943, «Formal Reductions of the General Combinatorial Decision Problem», American Journal of Mathematics 65: 197—215.
- 1944, «Recursively enumerable sets of positive integers and their decision problems», Bulletin of the American Mathematical Society 50: 284—316. Вводить важливе поняття редукції many-one.
Примітки
- http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Post.html
- Архів історії математики Мактьютор — 1994.
- SNAC — 2010.
- Find a Grave — 1996.
- https://www.mounthebroncemetery.com/interment/?id=106466#details
- Математичний генеалогічний проєкт — 1997.
- Identifiants et Référentiels — ABES, 2011.
- https://books.google.cat/books?id=IMgg0Uc00I4C&pg=PA617 — С. 618.
Див. також
Ця стаття не містить . (червень 2014) |
Це незавершена стаття про науковця США. Ви можете проєкту, виправивши або дописавши її. |
Це незавершена стаття з математики. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Emil Leon Post pol Emil Leon Post 11 lyutogo 1897 Avgustuv Carstvo Polske 21 kvitnya 1954 Nyu Jork amerikanskij matematik ta logik odin iz zasnovnikiv bagatoznachnoyi logiki osnovni praci z matematichnoyi logiki algebra Posta klasi Posta funkcij algebri logiki zaproponuvav abstraktnu obchislyuvalnu mashinu mashinu Posta Najbilsh vidomij svoyimi dosyagnennyami u teoriyi rekursiyi Emil Leon Postpol Emil Leon PostIm ya pri narodzhenni pol Emil Leon PostNarodivsya 11 lyutogo 1897 1897 02 11 1 2 Avgustuv todishnya Rosijska imperiya sogodni PolshaPomer 21 kvitnya 1954 1954 04 21 1 2 57 rokiv Nyu Jork SShAPohovannya Maunt Gebron 4 5 Gromadyanstvo SShADiyalnist matematik filosof logik vikladach universitetuGaluz matematikaAlma mater Kolumbijskij universitetNaukovij kerivnik d 6 Znannya mov anglijskaZaklad Siti Koledzh 2 Prinstonskij universitet 2 Kolumbijskij universitet 2 Kornellskij universitet 2 i d 2 8 Magnum opus Problema zbizhnosti Posta d Reshitka Posta Kriterij Posta d i Chislennya Posta Mediafajli u VikishovishiU Vikipediyi ye statti pro inshih lyudej iz prizvishem Post BiografiyaEmil Leon Post narodivsya v ortodoksalnij yevrejskij rodini yaka meshkala nedaleko vid Bilostoka Cogo zh roku jogo batko Arnold emigruvav do Spoluchenih Shtativ Koli u batka spravi stali jti dobre todi sim ya semirichnij Emil jogo dvi sestri i mati tezh pereyihala z Carskoyi Rosiyi do Nyu Jorka Sim ya meshkala u komfortabelnomu budinku u Garlemi U dityachomu vici Emil zahoplyuvavsya astronomiyeyu prote neshasnij vipadok perekresliv plani hlopcya u 12 richnomu vici vin vtrativ livu ruku Pered zakinchennyam shkoli Emil podav zapit u kilka observatorij chi jogo vada ne zashkodit profesiyi astronoma Otrimani vidpovidi utrimali jogo vid realizaciyi dityachih ambicij i Emil zajnyavsya matematikoyu U 1921 roci Emil Post zahistiv doktorsku disertaciyu u galuzi matematiki u Kolumbijskomu universiteti U disertaciyi vin viklav metod ocinki propozicijnih formul za dopomogoyu tablic istinnosti U nij vpershe otrimano nizku fundamentalnih rezultativ v metalozici dlya klasichnoyi logiki vislovlyuvan nesuperechnist deduktivna povnota rozv yaznist funkcionalna povnota U cij roboti vpershe pobudovana bagatoznachna logika bilsh nizh z 3 istinnimi znachennyami i z dovilnoyu kilkistyu vidilenih znachen Tut zhe vstanovleno sho mnozhina zamknutih klasiv u klasichnij logici lichilna 1920 1921 navchalnij rik Post proviv na postdoktorskih studiyah u Prinstonskomu universiteti Same tut u nogo stavsya pershij napad maniakalno depresivnogo psihozu Cya hvoroba suprovodzhuvala Posta protyagom vsogo jogo zhittya Vin dostatno vidnovivsya pislya cogo pershogo napadu i otrimav posadu vikladacha u Kornelskomu universiteti prote drugij napad zmusiv jogo pripiniti vikladannya v Universiteti Vprodovzh 20 h rokiv Emil Post zaroblyav na zhittya vikladayuchi matematiku u George Washington High School u Nyu Jorku Zi svoyim likarem Post rozrobiv rezhim yakij buv priznachenij unemozhliviti storonnye zbudzhennya yake velo do napadiv psihozu Rezhim dozvolyav Postu zajmatisya naukoyu i doslidami lishe tri godini na den Nezvazhayuchi na takij rezhim ta velike navchalne navantazhennya 16 godin na tizhden Post zmig u cej period opublikuvati svoyi najvplivovishi praci Jogo odruzhennya z Gertrudoyu Singer u 1929 bezsumnivno dopomoglo stabilizuvati jogo zhittya Druzhina asistuvala Emilyu drukuyuchi jogo statti ta listi a takozh zajmalasya shodennimi finansami sim yi U 1932 roci Emilya Posta bulo priznacheno na fakultet matematiki Siti Koledzhu v Nyu Jorku Propracyuvavshi misyac vin zalishiv posadu prote povernuvsya u 1935 roci i zalishavsya na posadi do samoyi smerti u 1954 roci vid sercevogo napadu pid chas elektroshoku E Post vhodit u chetvirku velikih uchenih yaki praktichno odnochasno usvidomili mozhlivist utochnennya zagalnogo uyavlennya pro algoritm U 1943 Postom bulo vpershe zaproponovano zagalne ponyattya obchislennya yake maye fundamentalne znachennya dlya dovedennya nerozv yaznosti nizki problem matematiki U 1944 publikuyetsya mabut najvplivovisha robota Posta de u pervisnomu viglyadi vikladayetsya teoriya stupeniv nerozv yaznosti a u 1947 vpershe v istoriyi matematiki nezalezhno vid A A Markova bulo navedeno priklad vnutrimatematichnoyi nerozv yaznoyi masovoyi algoritmichnoyi problemi a same problemi A Tue problema rivnosti dlya napivgrup Post vvazhav i pisav pro ce Kurtu Gedelyu sho za 15 rokiv do revolyucijnih gedelevskih robit pro nepovnotu vin vzhe mav ci teoremi hocha i ne u takij zavershenij formi DosyagnennyaParalelno z A Tyuringom vviv i vpershe u 1936 roci opublikuvav utochnene ponyattya algoritmu u viglyadi abstraktnoyi obchislyuvalnoyi mashini Sogodni taki abstraktni mashini desho nespravedlivo nazivayutsya mashinami Tyuringa ridshe mashinami Tyuringa Posta abo mashinami Posta Tyuringa Ye rodonachalnikom algebri logiki Povnistyu doslidiv propozicijnu logiku yaka rozglyadayetsya yak sistema algebra propozicijnih funkcij zokrema opisav vsi yiyi pidalgebri Vviv granichno zagalne ponyattya yake uzagalnyuye ponyattya logichnogo chislennya u vipadku sistem v yakih vidbuvayutsya bud yaki diskretni procesi Teoriya kanonichnih chislen ye odnochasno uzagalnennyam i i teoriyi algoritmiv oskilki algoritmi takozh ye chastkovim vipadkom kanonichnih chislen inshij variant ciyeyi zh teoriyi zaproponuvav uvivshi yak pervinne ponyattya formalnoyi sistemi Vibrani praci1936 Finite Combinatory Processes Formulation 1 Journal of Symbolic Logic 1 103 105 1940 Polyadic groups Transactions of the American Mathematical Society 48 208 350 1943 Formal Reductions of the General Combinatorial Decision Problem American Journal of Mathematics 65 197 215 1944 Recursively enumerable sets of positive integers and their decision problems Bulletin of the American Mathematical Society 50 284 316 Vvodit vazhlive ponyattya redukciyi many one Primitkihttp www gap dcs st and ac uk history Biographies Post html Arhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 SNAC 2010 d Track Q29861311 Find a Grave 1996 d Track Q63056 https www mounthebroncemetery com interment id 106466 details Matematichnij genealogichnij proyekt 1997 d Track Q829984 Identifiants et Referentiels ABES 2011 d Track Q47757534d Track Q2826570 https books google cat books id IMgg0Uc00I4C amp pg PA617 S 618 Div takozhMashina Posta Chislennya Posta Bagatoznachna zvodimistCya stattya ne mistit posilan na dzherela Vi mozhete dopomogti polipshiti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Material bez dzherel mozhe buti piddano sumnivu ta vilucheno cherven 2014 Ce nezavershena stattya pro naukovcya SShA Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya z matematiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi