Alonzo Church
Z Wikipedii
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.
Alonso 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.
W 1934 roku Church poznał w Nowym Jorku Aurelie Muras, dziennikarkę, żonę Alberto Muras'a z którą utrzymywał potajemny związek miłosny do roku 1938. W listopadzie 1938 roku kochanka Churcha zginęła w nie do końca wyjaśnionych okolicznościach. Oficjalnym powodem jej śmierci miało być odwodnienie organizmu potwierdzone przez lekarza Antonio Muras'a doktora Francois le Bois'a. Przyjaciel Churcha, Sir John Starsfield, wysuwał zaraz po śmierci kochanki Churcha podejrzenia w kierunku Antonio Muras'a, o to że Aurelia Muras została otruta na zlecenie zazdrosnego małżonka. Według Starsfielda to właściwie Francois le Bois dokonał tego czynu. Dowodów potwierdzających tezę Starsfielda nigdy nie okazano.
