Алонзо Черч

Из Википедије, слободне енциклопедије
Алонзо Черч

Пошаљи фотографију

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

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

Математичка дела[уреди]

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

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

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

Смрт[уреди]

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

Види још[уреди]

Књиге[уреди]

Извори и спољашње везе[уреди]