Alonzo Church

Izvor: Hrvatska internetska enciklopedija
Skoči na:orijentacija, traži
  1. PREUSMJERI Predložak:Infookvir znanstvenik

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

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

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

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

Vidjeti također

Knjige

Izvori i vanjske poveznice