Алонзо Черч (енгл. Alonzo Church; Вашингтон, 14. јун 1903Хадсон, Охајо, 11. август 1995) је био амерички математичар и логичар који је био заслужан за неке од основа теорије рачунарске технике. Рођен у Вашингтону, добио је бачелор диплому на Универзитету у Принстону 1924. године, где је такође докторирао 1927. године, под менторством Освалда Веблена. После постдокторског стажа у Гетингену, предавао је у Принстону од 1929. до 1967. године, а на Универзитету у Калифорнији, Лос Анђелес од 1967. до 1990. године.

Алонзо Черч
Лични подаци
Датум рођења(1903-06-14)14. јун 1903.
Место рођењаВашингтон, САД
Датум смрти11. август 1995.(1995-08-11) (92 год.)
Место смртиХадсон, Охајо, САД
ОбразовањеУниверзитет Харвард, Универзитет Принстон
Научни рад
ПољеМатематика
ИнституцијаУниверзитет у Принстону 1929–67
Универзитет Калифорније, Лос Анђелес 1967–95
УченициК. Антони Андерсон
Питер Андруз
Џорџ Алфред Барнард
Мартин Дејвис
Леон Хенкин
Дејвид Каплан
Џон Џорџ Кемени
Стивен Клин
Мајкл О. Рабин
Хартли Роџерс јуниор
Џ. Баркли Росер
Нејтан Самон
Дејна Скот
Рејмонд Смалјан
Алан Тјуринг

Математичка дела

уреди

Черч је најпознатији по следећим достигнућима:

Ламбда калкулус појавио се у његовом познатом раду из 1936. године који је показао постојање „проблема неодлучивости“. Овај резултат је претходио Тјуринговом познатом раду о проблему заустављања који је такође демонстрирао постојање проблема који се не може решити механичким средствима. Черч и Тјуринг су онда показали да су ламбда калкулус и Тјурингова машина коришћени код Тјуринговог проблема заустављања еквивалентни у могућностима, а онда су приказали разне алтернативне „механичке процесе израчунавања“. Из овога је уследила Черч-Тјурингова теза.

Ламбда калкулус је утицао на дизајн Лисп програмског језика и функционалног програмирања уопште. Черч енкодинг је назван у част Черча.

Смрт

уреди

Черч је умро 1995. године и сахрањен је на гробљу у Принстону.

Види још

уреди

Књиге

уреди

Извори и спољашње везе

уреди