Alonzo Čerč

Alonzo Čerč
Lični podaci
Datum rođenja	(1903-06-14)14. jun 1903.
Mesto rođenja	Vašington, SAD
Datum smrti	11. avgust 1995.(1995-08-11) (92 god.)
Mesto smrti	Hadson, Ohajo, SAD
Obrazovanje	Univerzitet Harvard, Univerzitet Prinston
Naučni rad
Polje	Matematika
Institucija	Univerzitet u Prinstonu 1929–67 Univerzitet Kalifornije, Los Anđeles 1967–95
Učenici	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

Alonzo Čerč (engl. Alonzo Church; Vašington, 14. jun 1903 — Hadson, Ohajo, 11. avgust 1995) je bio 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.

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.

Smrt

Čerč je umro 1995. godine i sahranjen je na groblju u Prinstonu.

Vidi još

• Čerč-Tjuring-Dojč princip
• Logika višeg nivoa
• Univerzalni skup
• Čerč-Roserova teorema

Knjige

• Alonzo Čerč, Introduction to Mathematical Logic. ISBN 978-0-691-02906-1.

Izvori i spoljašnje veze

• O'Connor, John J.; Robertson, Edmund F. „Alonzo Čerč”. MacTutor History of Mathematics archive. University of St Andrews. 
• H B Enderton, In memoriam: Alonzo Church
• Alonzo Čerč na sajtu MGP (jezik: engleski)
• "Fine Hall in its golden age: Remembrances of Princeton in the early fifties", Đankarlo Rota. Sadrži odeljak o Čerču u Prinstonu.
• Intervju sa Čerčom o njeogovom vremenu u Prinstonu
• Arhivirani radovi