Алонсо Чърч

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене
Алонсо Чърч
американски математик
Роден: 14 януари 1903
Вашингтон, САЩ
Починал: 11 август 1995
Хъдсън,Охайо, САЩ

Алонсо Чърч (на английски: Alonzo Church) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика. Той е най-известен със своя Тезис на Чърч, ламбда смятане и с други свои открития.

Биография[редактиране | edit source]

Алонсо Чърч е роден на 14 юни 1903 година, във Вашингтон, САЩ в семейството на Самюел Чърч — съдия в Градския съд на окръг Колумбия. По-късно семейството му се мести във Вирджиния, след като баща му губи работата си заради отслабващото си зрение. С помощта на своя чичо, който също носи името Алонсо Чърч, той успява да учи в мъжката гимназия Риджфийлд в Кънектикът.

След като завършва училище през 1920 година, Чърч е приет да следва математика в Принстънският университет. Още като студент проявява изключителните си заложби, публикувайки първата си статия върху лоренцови трансформации. Завършва своето обучение в университета през 1924 година, но остава в Принстън още три години, правейки докторат по математика под ръководството на Освалд Веблен.

Чърч се жени за Мери Джулия Кучински през 1925 година и заедно имат три деца (Алонсо Чърч-младши (1929), Мери Ан (1933) и Милдред (1938)).

След като получава докторската си степен, Чърч преподава за кратко в Чикагския университет. Преподава в Принстънския университет (от 1929 до 1967) и в Калифорнийския университет (от 1967 до 1990 ). През 1990 година той получава титлата доктор хонорис кауза от Университета в Бъфало, Ню Йорк, във връзка с международния симпозиум, организиран в негова чест от логика Джон Коркоран.[1] Други почетни докторски степени, с които Чърч е удостояван, са през 1969 година от Университета Кейс Уестърн Ризърв и през 1985 година от Принстънския университет[2].

Много от студентите на Чърч правят научни кариери и са сред водещите имена в математическата логика и теоретичната информатика на 20 век. Сред тях са имена като Алан Тюринг (Alan Turing), Стивън Клейни (Stephen C. Kleene), Дейна Скот (Dana Scott), Реймънд Смълян (Raymond Smullyan), Никълъс Решер (Nicholas Rescher), Норман Шапиро (Norman Shapiro).[3]

Алонсо Чърч умира през 1995 година и е погребан в гробището на Принстън.

Математически трудове[редактиране | edit source]

Чърч е известен най-вече със следните си постижения:

  • Той доказва, че Entscheidungsproblem (буквално: задачата за разрешимостта) е нерешим проблем за теорията на аритметиката на Пеано. Това негово доказателство е известно като Теорема на Чърч.
  • Формулировката му на Тезиса на Чърч.
  • Ламбда смятането - то се появява в известната му статия от 1936 година, показваща неразрешимостта на Entscheidugsproblem. Този резултат предхожда труда на Алън Тюринг за т.нар. Halting problem (приблизително: задача за спирането), който демонстрира съществуването на проблем нерешим чрез механични средства. Чърч и Тюринг показват, че ламбда смятането и машината на Тюринг имат еквивалентна изчислителна мощ, и впоследствие демонстрират алтернативни “механични процеси на изчисление”. Това тяхно откритие води до създаването на тезата Чърч-Тюринг. Ламбда смятането повлиява дизайна на програмния език Lisp и на езиците за функционално програмиране като цяло.
  • Чърч е основател и редактор на вестник за символната логика, редактирайки го до 1979 година.
  • В негова чест е кръстено и кодирането на Чърч.

Книги[редактиране | edit source]

  • Alonzo Church, Introduction to Mathematical Logic
  • Alonzo Church, The Calculi of Lambda-Conversion
  • Alonzo Church, A Bibliography of Symbolic Logic, 1666–1935
  • C. Anthony Anderson and Michael Zelëny, editors, Logic, Meaning and Computation: Essays in Memory of Alonzo Church

Източници[редактиране | edit source]

  1. ((en)) Buffalo Logic Colloquium: past conferences
  2. ((en)) Honorary degrees awarded by Princeton University
  3. ((en)) Mathematics Genealogy Project: Alonzo Church
Криейтив Комънс - Признание - Споделяне на споделеното Лиценз за свободна документация на ГНУ Тази страница частично или изцяло представлява превод на страницата „Alonzo Church“ в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза „Криейтив Комънс - Признание - Споделяне на споделеното“, а за съдържание, създадено преди юни 2009 година — от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите.