Alonzo Church

Izvor: Wikipedija
Skoči na: orijentacija, traži
Alonzo Church
Alonzo Church.jpg
Alonzo Church (1903. – 1995.)
Rođenje 14.6.1903.
Washington, DC, SAD
Smrt 11.8.1995.
Prebivalište SAD
Državljanstvo SAD
Polje Matematika
Institucija Sveučilište Princeton
Alma mater Sveučilište Princeton
Akademski mentor Oswald Veblen

Alonzo Church (Washington, DC, 14. lipnja 1903. - 11. kolovoza 1995.), američki matematičar i logičar, zaslužan za neke od teoretskih osnova računarstva. Rođen u Washington, DC, stekao je status bakalaureata na Sveučilištu Princeton 1924., završujući tamo i doktorat 1927. pod mentorstvom Oswalda Veblena. Nakon postdoktorskog fellowshipa na Göttingenu, podučavao je na Princetonu 1929. – 1967., te na University of California, Los Angeles, 1967. – 1990.

Matematički rad[uredi VE | uredi]

Church je najpoznatiji po sljedećim postignućima:

Lambda račun je iznikao u njegovom poznatom radu iz 1936. koji je pokazao postojanje "neodlučivih problema". Ovaj je rezultat prethodio poznati rad Alana Turinga na problemu zaustavljanja, koji je također demonstrirao postojanje problema nerješivih mehaničkim sredstvima. On i Turing su potom pokazali da su lambda račun i Turingov stroj korišten u Turingovom problemu zaustavljanja ustvari istovjetni u sposobnostima, te naknadno demonstrirali raznolikost alternativnih "mehaničkih procesa za računanje." Ovo je rezultiralo u Church-Turingovoj tezi.

Lambda račun je utjecao na dizajn programskog jezika LISP-a i funkcijskih programskih jezika općenito. Churchovo enkodiranje je imenovano u njegovu čast.

Studenti[uredi VE | uredi]

Churchovi doktorski studenti su postigli izvanredne uspjehe, a među 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[uredi VE | uredi]

Umro je 1995. i pokopan je na princetonškom groblju.

Vidjeti također[uredi VE | uredi]

Knjige[uredi VE | uredi]

Izvori i vanjske poveznice[uredi VE | uredi]