Alonzo Church
Data i miejsce urodzenia | |
---|---|
Data i miejsce śmierci | |
Zawód, zajęcie | |
Narodowość |
Amerykanin |
Alma Mater | |
Uczelnia |
Princeton University 1929–67 |
Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson[1]) – amerykański logik i matematyk.
Życiorys
[edytuj | edytuj kod]Studiował na Uniwersytecie Princeton (magisterium 1924, doktorat z wyróżnieniem 1927). Po studiach rok pracował w 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, kiedy 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, będący odpowiednikiem uniwersalnej maszyny Turinga. Słynnym osiągnięciem Churcha jest twierdzenie z 1936 roku 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 jest alternatywnym dla dowodu Turinga rozwiązaniem problemu Entscheidungsproblem postawionego przez Davida Hilberta w 1928 roku. Twierdzenie Churcha i Turinga, będące kontynuacją prac Kurta Gödla, nazwane zostało Tezą Churcha-Turinga.
Alonzo Church założył w 1936 roku „Journal of Symbolic Logic” i redagował to pismo do roku 1979. Napisał w 1956 książkę Introduction to Mathematical Logic.
Wypromował 31 studentów, był wśród nich Alan Turing.
Przypisy
[edytuj | edytuj kod]- ↑ Church Alonzo, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-10-22] .
Bibliografia
[edytuj | edytuj kod]- Agnijo Banerjee, David Darling: Dziwna matematyka. Helion S.A., 2020. ISBN 83-283-5687-2.
Linki zewnętrzne
[edytuj | edytuj kod]- John J. O’Connor; Edmund F. Robertson: Alonzo Church w MacTutor History of Mathematics archive (ang.)
- Alonzo Church w bazie Mathematics Genealogy Project (ang.) [dostęp 2021-10-30].
- Peter Andrews , Church's Type Theory, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 14 lutego 2014, ISSN 1095-5054 [dostęp 2017-12-31] (ang.). (Teoria typów Churcha)
- Church, Alonzo (1903–95) (ang.), Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-09].
- ISNI: 0000000110038502
- VIAF: 109830754
- LCCN: n83152979
- GND: 119430223
- LIBRIS: 53hlqvqp4c3jtfx
- BnF: 14575590d
- SUDOC: 060369604
- SBN: SBLV113390
- NLA: 50043018
- NKC: mzk2006354081
- NTA: 067508219
- BIBSYS: 90724263
- CiNii: DA02597673
- Open Library: OL118074A
- PLWABN: 9810530293405606
- NUKAT: n2002019850
- J9U: 987007578709005171
- NSK: 000280583
- CONOR: 198977379
- LIH: LNB:CtBA;=BQ