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

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

Alonzo Church

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

Родно място:

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

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

14 June 1903

Washington, D.C., USA

11 Aug 1995

Hudson, Ohio, USA

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

Alonzo Църква "и родителите бяха Mildred Хана Letterman Паркър и Самуел Робинс църква. Баща му е съдия. Бил е студент в Принстън, получаващи неговата първа степен, една AB, през 1924 г., а след това му докторска три години по-късно. Неговата докторска работа бе контролирана от Veblen, и той бе връчена му през 1927 докторска дисертация за неговото право Алтернативи на Zermelo на Успение Богородично. Макар че той е все още работят за неговата докторска степен той се жени за Мария Юлия Kuczinski в Принстън през 1926. Те са три деца, Alonzo младши, Мери Ан и Mildred.

Църквата прекарали две години като научен сътрудник на Народното една година в Харвардския университет след това една година в Гьотинген и Амстердам. Завръща се в Съединените щати става асистент по математика в Принстън през 1929. Enderton пише в:

Принстън през 1930 г. "и е вълнуващо място за логика. Имаше църква, заедно с неговите ученици Rosser и Kleene. Имаше Джон фон Нойман. Алън Тюринг, които са били около мислене понятието за ефективно calculability, дойде като посетите се дипломира през 1936 г. и остава да завърши докторската си дисертация под църква. И Кърт Gödel посети Института за напреднали изследвания през 1933 г. и 1935 г., преди да се движат там за постоянно.

Той бе превърната доцент през 1939 г. и за професор през 1947 г., пост той заема до 1961, когато той става професор по математика и философия. През 1967 г. той пенсионери в Принстън и отидох в Университета на Калифорния в Лос Анджелис, както Кент професор по философия и професор по математика. Той продължи преподаването и изследванията в предприятието Лос Анджелис до 1990, когато той отново пенсионери, двадесет и три години след като той първи пенсионери! През 1992 г. заминава от Лос Анджелис до Hudson, щата Охайо, където той живее в неговия окончателен три години.

Неговата работа е от голямо значение в математическата логика, рекурсивно теория, и в теоретичната информатика. В началото вноските са включени в статии по irredundant набори от постулира (1925), във формуляра на диференциални уравнения на система от пътеки (1926), и алтернативи за Zermelo на предположението (1927). Той създава-смятане в 1930 г., която днес е безценно средство за компютърни учени. Статията е в три части и в последния от тези Manzano:

... Опитът [и], за да покаже, че Църквата на голямо откритие е ламбда смятане, и че оставащите му вноски са вдъхновени предимно afterthoughts в смисъл, че по-голямата част от своето участие, както и някои от неговите ученици ", които произтичат от първоначалната постижение.

През 1941 г. той публикува на 77 страница Резервирайте Calculi на ламбда-реализация като обемът на Принстънския университет Прес Annals по математика изследвания. Това е едно ефективно да пренаписва и полирани версия на Църквата дадоха лекции в Принстън през 1936 г. по-смятане.

Църквата е може би най-добре запомнят за "Църква Теорема" и "Църква на Дипломна работа" и двата от които първо се появяват в печатните през 1936. Теорема на Църквата, показваща undecidability на първия ред на логиката, се появява в Бележка на Entscheidungsproblem публикуван в първия брой на вестник "на символична логика. Това, разбира се, е в контраст с Пропозиционални смятане, която е една процедура въз основа на решение на истината таблици. Църквата Теорема разширява непълнотите доказателство, дадено от Gödel през 1931.

Църква на Дипломна работа се появява в unsolvable проблем в теорията на елементарните номера публикувана в американския вестник по математика 58 (1936), 345-363. В статията той дефинира понятието за ефективно calculability и се посочва, че с понятието на recursive функция. Той използва тези понятия в на концепцията за случаен последователност (1940), където той се опитва да даде логично задоволително определение на "случайна последователност". Folina смята за обикновено се приемат мнението, че Църквата на Дипломна работа вероятно е вярно, но не е в състояние да строгото доказателство. На фона на Църквата на работата по computability и undecidability, въз основа на неговата кореспонденция с Bernays през годините 1934-1937, се разглеждат от по-Sieg.

Църквата е основател на вестник "на символична логика през 1936 г. и е редактор на секцията прегледи от началото му до 1979 година. В действителност той публикува книга библиотеката на символична логика в обем 4 на вестник и го видях ревюта раздел като продължение и разширяване на тази дейност. Целта му, той пише, е да предостави:

... да предостави пълна, добре индексиран, изброяване на всички публикации ... в символична логика, независимо къде и на какъв език, публикувани ... [като] критични, аналитичен коментар.

Статията подчертава църква на ръководните роля при определянето на границите на дисциплината на символична логика чрез тази редакционна работа и свидетелства за неговата unflagging индустрията и conscientiousness и неговите високи редакционни стандарти. Целта на всеобхватно покритие, което през 1936 г. имаше изглеждаше доста практически, така че става по-малко от година спадна от 1975 и от бързото разрастване на символична логика публикации църква принуден да се откаже от този аспект и да започне да предоставя само селективно покритие. Ние, споменати по-горе, че Църквата пенсионери в Принстън през 1967 г. и заминава за университета на Калифорния в Лос Анджелис. Може би това е мястото, където ние трябва да споменем защо той ляво Принстън, след 38 години на служба там. Enderton пише:

След оттеглянето си, Принстън показва нежелание да продължи да се настаняват в малки персонал, работещ на прегледи за вестник "на символична логика.

Църквата написа класическата книга Въведение в Математическа логика през 1956 година. Това беше ревизирана и много разширена версия на въвеждане на математическата логика, която Църквата, публикувани дванайсет години по-рано 1944. Това е първото издание, тъй като той посочва във въведението:

... първата половина на въвеждащ курс по математическа логика дава на специализанти по математика [в Принстън през 1943 г.].

Haskell Къри в прегледа на работа от 1944 г. пише:

Тя е написана с meticulous точност, с което характеризираме на автора на работата като цяло. ... Предметът е повече или по-малко класическа, а именно на Пропозиционални алгебра и функционални смятане от първи ред, към която се прибавя по една глава обобщава, без доказателства някои функционални характеристики на calculi на висшето ред. За главен експерт интерес в тракт е, че го прави лесно достъпна внимателни подробни доказателства за формулирането и някои стандартни теореми, например, приспадането теорема, намалението на истината маси, подмяна на правилото за функционални смятане, Gödel "и пълнотата Теорема и др

Manzano пише, че през 1956 издание на книгата:

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

Книгата започва с въведение, което се обсъждат имена, променливи, константи и функции, както и препратки към логистичен метод, Семантика и синтаксис. Глави І и ІІ се занимава с Пропозиционални смятане, tautologies обсъждане и решение на проблема, duality, съгласуваност и изчерпателност, както и независимостта на аксиоми и правилата за извод за дисперсията. Първият ред функционални смятане е проучен в глава III и IV, глава V, като същевременно се занимава предимно с втори ред функционални calculi.

Друга област на интерес към Църквата бе аксиоматична теория на множествата. Той публикува формулиране на проста теория на типовете през 1940 г., в която той се опита да даде на система, свързана с тази на Уайтхед и Ръсел "и Principia Mathematica, който е проектиран да се избегне парадокси на наивен теория на множествата. Църквата базите си под формата на теорията на типовете по негова-смятане. Друга работа от Църквата в тази област включва теория на множествата, с универсална е публикуван през 1971 г., която разглежда вариант на ZF тип аксиоматична теория на множествата и сравнение на Ръсел резолюция на semantical antinomies с тази на Tarski публикувана в 1976 година. Друг от църквата се интересува бе интензионални Семантика, която се счита за по-подробно. Идеята тук е разработена подобна на тази на Frege, като се разграничат на удължаването на срока и intension, или смисъл на термина. Църквата счита този въпрос за около 40 години по време на последната част от кариерата си, започвайки с неговата книга A формулиране на логиката на смисъл и denotation през 1951.

Макар че по-голямата част от Църквата на вноските, са насочени към математическа логика, той не напиша няколко математически документи на други теми. За пример той публикува Забележки по елементарен теория на диференциални уравнения, както областта на научните изследвания през 1965 г. и обобщение на Лаплас трансформацията през 1966. Първата разглежда идеи и резултати в елементарна теория на обикновените диференциални уравнения и частично, което Църквата се чувства май насърчава по-нататъшно разследване на темата. Докладът включва обсъждане на обобщение на Лаплас трансформира, които той продължава да нелинейна частично диференциални уравнения. Това обобщение на Лаплас се превърне темата на изследването на втората хартия, отново с помощта на метода за получаване на решения на втора цел частично диференциални уравнения.

Църквата е 31 докторанти, включително Фостър, Тюринг, Kleene, Kemeny, Boone, и Smullyan. Той получи много отличени за приноса му, включително избора за член на Националната академия на науките (САЩ) през 1978 година. Той също беше избран за член на Британската академия, както и на Американската академия на изкуствата и науките. Дело Западна резерв (1969), Принстън (1985) и Държавния университет в Ню Йорк на Б.Т.Р. (1990), издадени му почетни степени.

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