Alonzo Čerč

Iz projekta Википедија

**Alonzo Čerč**
datum rođenja	14. jun 1903. Vašington, SAD
datum smrti	11. avgust 1995. Hadson, Ohajo, SAD
Prebivalište	SAD
Nacionalnost	američka
Polje	Matematika
Institucija	Univerzitet u Prinstonu 1929–67 Univerzitet Kalifornije, Los Anđeles 1967–95
Akademija	Univerzitet u Prinstonu
Bitni studenti	K. Antoni Anderson Piter Andruz Džordž Alfred Barnard Martin Dejvis Leon Henkin Dejvid Kaplan Džon Džordž Kemeni Stiven Klin Majkl O. Rabin Hartli Rodžers junior Dž. Barkli Roser Nejtan Samon Dejna Skot Rejmond Smaljan Alan Tjuring
Poznat po	Čerčova teza

Alonzo Čerč (engl. Alonzo Church; 14. jun 1903 – 11. avgust 1995) bio je američki matematičar i logičar koji je bio zaslužan za neke od osnova teorije računarske tehnike. Rođen u Vašingtonu, dobio je bačelor diplomu na Univerzitetu u Prinstonu 1924. godine, gde je takođe doktorirao 1927. godine, pod mentorstvom Osvalda Veblena. Posle postdoktorskog staža u Getingenu, predavao je u Prinstonu od 1929. do 1967. godine, a na Univerzitetu u Kaliforniji, Los Anđeles od 1967. do 1990. godine.

[uredi] Matematička dela

Čerč je najpoznatiji po sledećim dostignućima:

Dokaz da su Peanova aritmetika i logika prvog reda neodlučive. Ovaj drugi rezultat je poznat kao Čerčova teorema.
Formulacija onog što je danas poznato kao Čerčova teza.
Bio je osnivački urednik lista Journal of Symbolic Logic i uređivao je odeljak o pregledima do 1979. godine.
Stvorio je lambda kalkulus.

Lambda kalkulus pojavio se u njegovom poznatom radu iz 1936. godine koji je pokazao postojanje "problema neodlučivosti". Ovaj rezultat je prethodio Tjuringovom poznatom radu o problemu zaustavljanja koji je takođe demonstrirao postojanje problema koji se ne može rešiti mehaničkim sredstvima. Čerč i Tjuring su onda pokazali da su lambda kalkulus i Tjuringova mašina korišćeni kod Tjuringovog problema zaustavljanja ekvivalentni u mogućnostima, a onda su prikazali razne alternativne "mehaničke procese izračunavanja". Iz ovoga je usledila Čerč-Tjuringova teza.

Lambda kalkulus je uticao na dizajn Lisp programskog jezika i funkcionalnog programiranja uopšte. Čerč enkoding je nazvan u čast Čerča.