Alonzo Church

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania
Alonzo Church
Data i miejsce urodzenia 14 czerwca 1903
Waszyngton, USA
Data i miejsce śmierci 11 sierpnia 1995
Hudson (Ohio), USA
Zawód matematyk
Narodowość Amerykanin
Alma Mater Uniwersytet Princeton
Uczelnia Uniwersytet Princeton 1929–67
UCLA 1967–95

Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson w stanie Ohio w USA) – amerykański logik i matematyk.

Studiował w Princeton (magisterium 1924, doktorat z wyróżnieniem 1927). Po studiach rok pracował na Uniwersytecie Harvarda, potem pół roku w Getyndze i pół roku w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów objął stanowisko profesora matematyki w Princeton (w roku 1929), które zajmował do roku 1967, gdy przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii.

Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930 stworzył tzw. rachunek lambda, który jest niezwykle potężnym narzędziem badawczym. Słynnym osiągnięciem Churcha jest twierdzenie (1936) o nierozstrzygalności pełnego rachunku predykatów (w: An unsolvable problem in elementary number theory, American Journal of Mathematics 58 (1936), 345-363). Twierdzenie to uogólnia prace Gödla.

Alonzo Church założył w 1936 roku Journal of Symbolic Logic i redagował to pismo do roku 1979. Napisał w 1956 ważną książkę Introduction to Mathematical Logic.

Wypromował 31 studentów; był wśród nich Alan Turing.

Linki zewnętrzne[edytuj | edytuj kod]