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.

[edytuj] Linki zewnętrzne

• (en) John J O'Connor; Edmund F. Robertson Alonzo Church w MacTutor History of Mathematics archive

To jest tylko zalążek artykuÅ‚u biograficznego. JeÅ›li możesz, rozbuduj go.

"Trudna decyzja" Ziobry po śmierci ojca

"Rzeczpospolita": Chcę zdjęcia klauzuli tajności, jaką nałożono na śledztwo w sprawie śmierci mojego ojca - ujawnia Zbigniew Ziobro.

Likwidacja agencji będzie polegała na zmianie nazwy

"Rzeczpospolita": Szumnie zapowiadana likwidacja Agencji Mienia Wojskowego będzie polegała na zmianie nazwy.

Sondaż: PO w górę, PiS w dół

"Rzeczpospolita": Według najnowszego sondażu GfK Polonia dla "Rzeczpospolitej", gdyby wybory odbyły się w lipcu, na PO zagłosowałoby 43 proc. Polaków.

Uniknęli śmierci i są bez jakiejkolwiek pomocy

"Nasz Dziennik": Nie dość, że 65. rocznica rzezi wołyńskiej upłynęła pod znakiem eufemistycznych określeń dokonanego na Kresach ludobójstwa, to potomkowie pomordowanych, którzy sami cudem uniknęli śmierci, do dziś pozostawieni są bez jakiejkolwiek pomocy ze strony instytucji państwowych.

Pytania do ministra ws. bezprawnej inwestycji w Bochni

"Dziennik Polski": - Dlaczego prokuratura nie podjęła działań zmierzających do wstrzymania bezprawnej inwestycji w Bochni? - zapytali ministra sprawiedliwości posłowie ziemi tarnowskiej Edward Czesak i Józef Rojek (obaj z PiS), dziwiąc się, że kontrowersyjna "Tankownia" działa w najlepsze.

Linki: Strona g³ówna