Alonzo Church

Alonzo Church
Alonzo Church

Alonzo Church (1903. 1995.) Roenje Smrt Prebivalite Dravljanstvo Polje Institucija Almamater 14.6.1903. Washington, DC, SAD 11.8.1995. SAD SAD Matematika Sveuilite Princeton Sveuilite Princeton

Akademskimentor Oswald Veblen

Alonzo Church (Washington, DC, 14. lipnja 1903. - 11. kolovoza 1995.), ameriki matematiar i logiar, zasluan za neke od teoretskih osnova raunarstva. Roen u Washington, DC, stekao je status bakalaureata na Sveuilitu Princeton 1924., zavrujui tamo i doktorat 1927. pod mentorstvom Oswalda Veblena. Nakon postdoktorskog fellowshipa na Gttingenu, poduavao je na Princetonu 1929. 1967., te na University of California, Los Angeles, 1967. 1990.

Matematiki rad
Church je najpoznatiji po sljedeim postignuima: Svom dokazu da su Peanova aritmetika i logika prvog reda neodluive. Potonje je poznato kao Churchov teorem. Svojoj inaici iskaza onoga to je danas poznato kao Churchova teza Bio je osnivatelj i urednik asopisa Journal of Symbolic Logic, ureujui ga sve do 1979. Stvorio je lambda raun.

Lambda raun je iznikao u njegovom poznatom radu iz 1936. koji je pokazao postojanje "neodluivih problema". Ovaj je rezultat prethodio poznati rad Alana Turinga na problemu zaustavljanja, koji je takoer demonstrirao postojanje problema nerjeivih mehanikim sredstvima. On i Turing su potom pokazali da su lambda raun i Turingov stroj koriten u Turingovom problemu zaustavljanja ustvari istovjetni u sposobnostima, te naknadno demonstrirali raznolikost alternativnih "mehanikih procesa za raunanje." Ovo je rezultiralo u Church-Turingovoj tezi. Lambda raun je utjecao na dizajn programskog jezika LISP-a i funkcijskih programskih jezika openito. Churchovo enkodiranje je imenovano u njegovu ast.

Alonzo Church

Studenti
Churchovi doktorski studenti su postigli izvanredne uspjehe, a meu njima se nalaze i C. Anthony Anderson, Peter Andrews, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Michael O. Rabin, Joel W. Robbin, Hartley Rogers, Jr, J. Barkley Rosser, Dana Scott, Raymond Smullyan, i Alan Turing. Vidi[1].

Smrt
Umro je 1995. i pokopan je na princetonkom groblju.

Vidjeti takoer
Church-Turingova teza Church-Turing-Deutschov princip Logika vieg reda Univerzalni skup

Knjige
Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)

Izvori i vanjske poveznice

H B Enderton, In memoriam: Alonzo Church [1] "Fine Hall in its golden age: Remembrances of Princeton in the early fifties", Gian-Carlo Rota. [2] Sadri odsjeak o Churchu na Princetonu. Intervju sa Chruchom o njegovom radu pri Princetonu [3] Arhivirani radovi [4]

Izvori
[1] [2] [3] [4] http:/ / www. math. ucla. edu/ ~asl/ bsl/ 0104/ 0104-005. ps http:/ / libweb. princeton. edu/ libraries/ firestone/ rbsc/ finding_aids/ mathoral/ pmcxrota. htm http:/ / libweb. princeton. edu/ libraries/ firestone/ rbsc/ finding_aids/ mathoral/ pmc05. htm http:/ / libweb. princeton. edu/ libraries/ firestone/ rbsc/ aids/ church/

Izvori rabljeni u lanku i suradnici

Izvori rabljeni u lanku i suradnici

Alonzo Church Izvor: http://hr.wikipedia.org/w/index.php?oldid=3939752 Doprinositelji: Divna Jaksic, Ivan tambuk, Urul, Zoran.skoda

Izvori, licencije i suautori slika

Slika:Alonzo Church.jpg Izvor: http://hr.wikipedia.org/w/index.php?title=Datoteka:Alonzo_Church.jpg Licencija: nepoznato Doprinositelji: Ivan tambuk

Licencija
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/