Математиците

Час линия Снимки Пари Марки Скица Търся

Emil Leon Post

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

11 Feb 1897

Augustów, Russian Empire (now Poland)

21 April 1954

New York, USA

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Емил Пост "и баща бе Арнолд Пост" и неговата майка е перла пост. Арнолд и перла са били полски евреи и техните син Емил е роден в Полша и руски контролирани прекарали първите седем години от живота си там. Семейството Емигрира в САЩ през май 1904 търсят по-добър живот, и създава обстановка в Ню Йорк.

Емил бе един изключително ярки детето, но и животът му е бил един от голяма трагедия. , Когато той е бил дете, той загубил ръката по време на произшествие, но това е една пречка, която той борави добре. Той трябваше да се изправи умствени проблеми в живота си възрастни, които са имали опустошителни ефект върху него, прави физически проблем, като губи от ръката изглежда доста незначителен в сравнение.

Имаше безплатно средно образование, достъпни за специално надарени деца в Ню Йорк. Това беше най-Townsend Харис гимназия, която е разположена на същото място като колеж на град Ню Йорк. След като се дипломира от гимназия Post остана на същата колежа, както той продължи следването си в Сити Колидж.

Сега мисля, след като математически logician, но първият обект, който му бе привлечен астрономия. По време на следването си в колежа на град Ню Йорк е учил математика, но няма знак, че на този етап той е бил особено привлечен към логиката. Докато един Бакалавърския в колежа той написва първата му книга, която е по общи диференциация. Въпросът попита той е един прекрасен: Какво прави разликата оператор D означава, когато сте наш не е цяло число? Макар и написани, докато той е бил един Бакалавърския, Post, не представя доклада на американското общество Математически до 1923 и не е било публикувано, докато накрая 1930. Тя не съдържа много важна идея, в хартия Post окаже важен резултат за инвертиране на Лаплас се променим. Тази публикация се появява след дълго след дипломирането на неговата първа степен, която е негов BS, издадена от Градския колеж през 1917 г..

След като се дипломира с неговата първа степен, Post започна следдипломно изследвания в Колумбийския университет. Значителното събитие за публикация в кариерата бе публикуването на Ръсел и Уайтхед "Principia Mathematica ите. Първият том на Principia Mathematica бе публикуван през 1910, втория в 1912, и трето през 1913. Когато започва да си завършил Post проучвания беше една вълнуваща нова публикация развитие и участие в Касий J Keyser на семинар в Колумбия, която учи в Principia Mathematica. Post бе връчена на степента на ч. в 1918 и на доктор през 1920. Докторската си дисертация дисертация по математическа логика беше, и ние ще го обсъдим допълнително в момента, но нека първо нас, имайте предвид, че Пост пише втора книга за следдипломна, която бе публикувана преди първата му книга, и това е едно кратко работата по функционално уравнение на на гама-функция.

Ние сега се обръщат към мнение на доктор дисертация, в която той се оказа на пълнотата и непротиворечивостта на Пропозиционални смятане, описани в Principia Mathematica чрез въвеждане на таблица на истинността метод. Той тогава общите си таблица на истинността метод, който се базира на две стойности "вярно" и "фалшиви", да метод, който е произволен брой крайни стойности на истината. Крайният, и може би най-забележителна, нова идея, която Post въведе в неговата теза е да даде рамката за системи на логиката, както извод за дисперсията системи на базата на границите на процеса на манипулация на символи. Такава система на логиката, че предложените Post произвежда, в днешната терминология, един recursively enumerable набор от думи по границите азбука. Би било справедливо да се каже, че Публикуване на тезата маркира началото на доказване теория.

След получаването му докторска степен, Post заминава за университета в Принстън за една година, както Проктър сътрудник. Завръща се в Колумбийския университет, а скоро след това, той е негов първи ред на едно заболяване, което бе да се повтори в цялата си кариера и ограничаване на това, което той можеше да постигне. Както пише в Дейвис:

Той е претърпяла целия си живот за възрастни от crippling manic-депресивното заболяване по време, когато не е на разположение на наркотици терапия за тази болест.

През 1924 г. Post отидох да Корнел, но отново стана лошо. Той подновява работа като учител в гимназия в Ню Йорк през 1927 година. Той женен Гертруде Сингер през 1929 г. и те са едно дете, дъщеря Phyllis. След това през 1932 г. той е назначен за член на Сити Колидж. Той оставил след кратко правописа, отново бори с неговото психично заболяване, но върне три години по-късно и прекарали остатъка от живота си там. В Сити Колидж неговия товар е 16 учебни часа на седмица за контакт, което прави намирането на време за изследвания много трудно. Също така членовете на персонала не офисите на собствените им, но всички бяха поставени в една стая с една голяма маса в средата. Пост избрали да работят у дома, но с малки деца това постави щам на семейството. Публикуване на дъщерята на Phyllis обясни по-късно в живота си как Гертруде Post трябваше бореше да съпруга ѝ даде възможност да отделят време за научни изследвания:

Баща ми беше гений; майка ми беше светец ... Освен да пишете писма на препоръката, майка ми и баща ми пишат, ръкописи и кореспонденция ... Майка ми също беше един от които борави с всички финансови въпроси ... Тя е буфер в ежедневието, че баща ми разреши да си отделят внимание на математиката (както и неговите разнообразни интереси в съвременния свят работи). Искате той да осъществи толкова много, без да ѝ? I за едно, не мисля така.

Публикуване на ранната смърт на възраст от 57 почти сигурно е пряка последица от лечението му, получена за неговото психическо заболяване. По това време такива manic-депресивното заболявания са били лекувани с електрошокови лечение. Той беше един horrific лечение за заболявания и horrific, които да накарат една голяма беда. Тя се основава на нищо по-добре от факта, че след като са получили това лечение е много периоди от по-нормални психически състояния. Пост получил токов удар лечение по няколко пъти и е било, докато той е в умственото институция, скоро след получаване на електричество, че той е претърпял сърдечен удар и умира.

Пункт е най-известен с работата му върху polyadic групи, recursively enumerable апарата, както и степени на unsolvability, както и за неговия принос за unsolvability на проблемите в combinatorial математика. Той въвежда концепцията за пълнота и съгласуваност по една книга за истината маса методи, които разработват от работата на неговата докторска дисертация. Той приписва тези методи, за да си учител в Колумбия, CJ Keyser, отколкото да Чарлз Пърс и Шрьодер Е, както е било направено преди това. В 1920s Post оказа резултати, подобни на тези, които Gödel, църква и Тюринг, открити по-късно, но той не ги публикува. Той причина той не се публикуват, тъй като той смяташе, че един "пълен анализ" е необходимо да получат одобрение. Той написа:

Коректността на този резултат е ясно изцяло зависят от надеждността на анализ, водещ до генерализация-горе ... това е фундаментално слаби в своята зависимост от логиката на Principia Mathematica ... за пълно НЕОПРЕДЕЛЕНОСТТА пълен анализ би трябвало да се даде на всички възможни начини, по които човешки ум може да създаде крайни процеси за генериране на последователности.

Той също така да направи проучване на математически Lukasiewicz "и три оценяват логика. На около това време той пише в своя дневник:

Уча математика като продукт на човешкия ум не е абсолютна.

Когато Gödel си непълнота теореми, публикувани през 1931 г., реализиран Post, че е твърде дълго чакаха да се публикува това, което е доказано и че сега целият кредит ще отидете на Gödel. В картичка писмено да Gödel през 1938 г., само след като са изпълнени за първи път, след написа:

... петнадесет години за извършени около мисълта на математическите смайва света с моите unorthodox идеи, и които отговарят на човека главно отговорно за ДОМА на тази мечта, а извършените ми км. Тъй като вие като че ли се интересуват от моя начин за постигане на тези нови разработки може би Църквата може да ви покаже дълго писмо Написах му за тях. Що се отнася до всякакви претенции да може да направи може би най-добре мога да кажа, е, че бих се оказаха Gödel "и теорема на 1921 - трябваше да е Gödel.

В последващ писмо, написани на следващия ден след той пише:

... В крайна сметка тя не е идеи, но и на изпълнението на идеи, които представляват знак за величие.

През 1936 г. той предложи това, което сега е известно като пост машина, вида на automaton, която предшества понятието за една програма, която фон Нойман през 1946 г. Учи. През 1941 г. той пише:

... математическо мислене е, и трябва да бъде, по същество творческо ...

но каза той има ограничения и символична логика е:

... безспорен на средства за разкриване и развитие на тези ограничения.

Пост показа, че думата проблем за semigroups бе recursively неразтворими през 1947 г., който дава решение на проблема, които бяха предизвикани от Thue през 1914.

Quine, в писмо, написани през 1954 г., след смъртта на мнение, каза:

Съвременната теория на доказателствата, и по същия начин съвременната теория на машината изчисляване, панти на концепцията на recursive функция. Този значителен брой theoretic понятие ... Открита е независим ... с четири математиците, и бе един от тези пост. След работата по пощата беше инструментални за развитието на теорията на recursive функции.

Quine добавена през 1972 г.:

Теорията на recursive функциите на която бе cofounder сега е почти два пъти по-старите, както когато пише това писмо. Важен е плодородна област тя се оказа.

Начинът, по който този пост, провеждани си класове в Сити Колидж бе, т.е. малко необичаен. Дейвис присъстваха такива класове, в Колежа на град Ню Йорк през късните 1940 г., и по-той ни дава ясна картина:

Публикуване на класове бяха организирани tautly работи. Всеки период ще започне със студентски recitations, обхващаща проблеми и доказателствата на теореми от деня на назначението. Те са очевидно раздаден на случаен принцип и трябваше да бъдат пуснати на черната дъска, без помощта на учебници или бележки. Woe betide на нещастните студенти които е подготвен. Той (или тя рядко) ще трябва да се изправи публикация на "още в тъга, отколкото гняв поглед". От друга страна, учениците ще recite на тяхната работа. След това ще получите Post си 3 от 5 карти и обяснява различните глоба точки. Класът ще бъде успех, ако той приключи последното му карта, както звънеца обхват. Въпроси от класа са им: не е имало време. Учудващо, тези inelastic педагогически методи, са били изключително успешни, и бе много популярна учител.

Пол Chessin припомня, се преподава по пощата в Ню Йорк за около 1943:

I припомнят, че той е кратък stocky колегите които неизменно облечен в костюм три парче, празен ръкав внимателно tucked в страната suitcoat джоб. Той ще крачка стабилно нагоре и надолу, преди черната дъска, говорят ясно, енергични в неговото предложение. Той би рядко, внезапно около whirl да се изправи на борда, тебешир в ръка, да пише. Това движение винаги се опитат да разхлабят, че ръкав от котва, докато накрая (за облекчаване на класа), че flapped свободно около нос като може. , Че свободата на движение като че ли ни за освобождаване на неговото мислене, както той изнесе доклад.

Накрая ние даваме това много фини почит към Post Дейвис от:

Публикуване на значението му да излиза от научния принос, като тези са важни. Той си остава едно вдъхновение, както и за начина, по който той си е преодоляла потенциално crippling умствени увреждания, за неговия характерен глас, както и за неговата преданост към продължаване на науката и неговите ученици.

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