Alonzo Church - Alonzo Church
Alonzo Church (14. června 1903 - 11. srpna 1995) byl americký matematik a logik kdo významně přispěl k matematická logika a základy teoretická informatika. On je nejlépe známý pro lambda kalkul, Církev – Turingova teze, což dokazuje neřešitelnost Entscheidungsproblem, Frege – církevní ontologie a Církev – Rosserova věta. Pracoval také na filozofii jazyka (viz např. Church 1970).
Život
Alonzo Church se narodil 14. června 1903 v Washington DC., kde jeho otec, Samuel Robbins Church, byl soudcem Městského soudu pro okres Columbia. Rodina se později přestěhovala do Virginie poté, co jeho otec ztratil tuto pozici kvůli selhání zraku. Syn s pomocí svého strýce, také jménem Alonzo Church, navštěvoval soukromou Ridgefield School for Boys v Ridgefield, Connecticut.[2] Po absolvování Ridgefieldu v roce 1920 se Church zúčastnil Univerzita Princeton, kde byl výjimečným studentem. Publikoval svůj první příspěvek na Lorentzovy transformace a absolvoval v roce 1924 diplom z matematiky. Zůstal v Princetonu na postgraduální práci a vydělal si Ph.D. v matematice za tři roky pod Oswald Veblen.
V roce 1925 se oženil s Mary Julií Kuczinski. Pár měl tři děti, Alonzo Church, Jr. (1929), Mary Ann (1933) a Mildred (1938).
Po získání titulu Ph.D. krátce učil jako instruktor na University of Chicago.[3] Získal dvouletý pobyt Národní výzkumné společenství což mu umožnilo zúčastnit se Harvardská Univerzita v letech 1927–1928 a Univerzita v Göttingenu a University of Amsterdam následující rok.
Učil filozofii a matematiku na Princetonu téměř čtyři desetiletí, 1929–1967. Učil na University of California, Los Angeles, 1967–1990. Byl plenárním mluvčím v ICM v roce 1962 ve Stockholmu.[4]
Získal čestné tituly doktora věd od Case Western Reserve University v roce 1969,[5] Univerzita Princeton v roce 1985,[6] a University at Buffalo, The State University of New York v roce 1990 v souvislosti s mezinárodním sympoziem na jeho počest pořádaným John Corcoran.[7]
Církev byla hluboce věřící osobou a byla celoživotním členem Presbyterián kostel.[8] Zemřel v roce 1995 a byl pohřben v Hřbitov v Princetonu.
Matematická práce
Církev je známá pro následující významné úspěchy:
- Jeho důkaz, že Entscheidungsproblem, který žádá o rozhodovací postup určit pravdivost libovolných tvrzení v matematice prvního řádu teorie, je nerozhodnutelný. Toto je známé jako Církevní věta.[9]
- Jeho důkaz Peano aritmetika je nerozhodnutelný.
- Jeho artikulace toho, co se stalo známým jako Církev – Turingova teze.
- Byl zakládajícím redaktorem Journal of Symbolic Logic, do roku 1979 upravoval svoji sekci recenzí.
- Jeho vynález lambda kalkul.
Kalkulus lambda se objevil v jeho článku z roku 1936, který ukazuje neřešitelnost problému Entscheidungs. Tento výsledek předcházel Alan Turing práce na zastavení problému, který rovněž prokázal existenci problému neřešitelného mechanickými prostředky. Church a Turing poté ukázali, že lambda kalkul a Turingův stroj používané v Turingově problému zastavení byly rovnocenné ve schopnostech a následně demonstrovaly řadu alternativních „mechanických procesů pro výpočet“. Výsledkem byla teze Church-Turing.
Úsilí o automatické generování implementace řadiče ze specifikací pochází z jeho nápadů.[10]
Lambda kalkul ovlivnil konstrukci Programovací jazyk LISP a Funkcionální programování jazyky obecně. The Kódování kostela je pojmenován na jeho počest.
Na jeho počest byla Alonzo Church Award za mimořádný přínos logice a výpočtu založena v roce 2015 Zvláštní zájmovou skupinou Asociace pro výpočetní techniku pro logiku a výpočet (ACM SIGLOG ), Evropská asociace pro teoretickou informatiku (EATCS), Evropská asociace pro logiku počítačové vědy (EACSL ) a Společnost Kurta Gödela (KGS). Ocenění je za mimořádný přínos v této oblasti, který byl publikován za posledních 25 let a dosud mu nemělo být uděleno uznání prostřednictvím jiného významného ocenění, jako je Turing Award, Paris Kanellakis Award, nebo Gödelova cena.[11][12]
Filozofická práce
Církevní vypracování metodiky zahrnující logistickou metodu, jeho filozofická kritika nominalismu a jeho obrana realismu, jeho argumentace vedoucí k závěrům o teorii smyslu a podrobná konstrukce Fregeana a Russelliana intenzionální logika, jsou více než dostačující k tomu, aby se dostal mezi nejvýznamnější filozofy tohoto století.
Studenti
Mnoho z církevních doktorandů vedlo významnou kariéru, včetně C. Anthony Anderson, Peter B. Andrews, George A. Barnard, David Berlinski, William W. Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L'Abbé, Isaac Malitz, Gary R. Mar, Michael O. Rabin, Nicholas Rescher, Hartley Rogers, Jr., J. Barkley Rosser, Dana Scott, Raymond Smullyan, a Alan Turing.[14] Úplnější seznam studentů Církve je k dispozici na Matematický genealogický projekt.
Knihy
- Kostel Alonzo, Úvod do matematické logiky (ISBN 978-0-691-02906-1)[15]
- Alonzo Church, Kalkul lambda-konverze (ISBN 978-0-691-08394-0)[16]
- Kostel Alonzo, Bibliografie symbolické logiky, 1666–1935 (ISBN 978-0-8218-0084-3)
- C. Anthony Anderson a Michael Zelëny, (eds.), Logika, význam a výpočet: Pokusy o památku Alonzo Church (ISBN 978-1-4020-0141-3)
Viz také
- Princip Church-Turing – Deutsch
- Logika vyššího řádu
- Seznam průkopníků v počítačové vědě
- Moderní platonismus
- Univerzální sada
Poznámky
- ^ Bowen, Jonathan P. (2019). „Dopad Alana Turinga: Formální metody a další“. In Bowen, Jonathan P .; Liu, Zhiming; Zhang, Zili (eds.). Inženýrství důvěryhodných softwarových systémů. SETSS 2018. Přednášky z informatiky. 11430. Cham: Springer. 202–235. doi:10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6.
- ^ Ridgefieldova škola pro chlapce, známá také jako Ridgefieldova škola, byla soukromou školou, která existovala od roku 1907 do roku 1938. Viz Škola Ridgefield.
- ^ „Časná historie výpočtů v Princetonu“. Princeton Alumni Weekly. 2012-04-04. Citováno 2020-04-19.
- ^ Kostel, Alonzo. „Logika, aritmetika a automaty.“ Archivováno 2013-12-28 na Wayback Machine v Sborník příspěvků z mezinárodního kongresu matematiků, str. 23–35. 1962.
- ^ „Čestné tituly udělované Case Western Reserve University“. Archivovány od originál dne 01.10.2013. Citováno 2012-06-01.
- ^ Čestné tituly udělované Princetonskou univerzitou Archivováno 07.02.2016 na Wayback Machine
- ^ Hledání pomoci při čestném udělování titulu doktora věd Alonzo Church, 1990
- ^ "Úvod Alonzo Church: Život a dílo" (PDF). p. 4. Archivovány od originál (PDF) dne 1. září 2012. Citováno 6. června 2012.
Hluboce věřící člověk byl celoživotním členem presbyteriánské církve.
- ^ Kostel, A. (1936). Msgstr "Neřešitelný problém elementární teorie čísel". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.
- ^ Jen formální? Automatizovaná analýza požadavků EARS
- ^ Alonzo Church Award
- ^ https://siglog.acm.org/alonzo-church-award-for-outstanding-contcements-to-logic-and-computation-2019/
- ^ (Anderson 1998 )
- ^ „Genetický projekt z matematiky“. Archivováno z původního dne 4. srpna 2010. Citováno 12. srpna 2010.
- ^ Henkin, Leon (1957). "Posouzení: Úvod do matematické logiky Alonzo Church " (PDF). Býk. Amer. Matematika. Soc. 63 (5): 320–323. doi:10.1090 / s0002-9904-1957-10129-3.
- ^ Frink Jr., Orrin (1944). "Posouzení: Kalkul lambda-konverze Alonzo Church " (PDF). Býk. Amer. Matematika. Soc. 50 (3): 169–172. doi:10.1090 / s0002-9904-1944-08090-7.
Reference
- Enderton, Herbert B., Alonzo Church: Life and Work. Úvod do Shromážděná díla Alonzo Church, MIT Press, dosud nezveřejněno.
- Enderton, Herbert B., In memoriam: kostel Alonzo, Bulletin symbolické logiky, sv. 1, č. 4 (prosinec 1995), s. 486–488.
- Wade, Nicholas, Alonzo Church, 92 let, teoretik mezí matematiky (nekrolog), The New York Times, 5. září 1995, s. B6.
- Hodges, Wilfred, Nekrolog: Alonzo Church, The Independent (Londýn), 14. září 1995.
- Alonzo Church rozhovor s Williamem Asprayem dne 17. května 1984. Princetonská matematická komunita ve 30. letech 20. století: Projekt orální historie, přepis číslo 5.
- Rota, Gian-Carlo, Fine Hall v jeho zlatém věku: Vzpomínky na Princeton na počátku padesátých let. v Století matematiky v Americe, část II, editoval Peter Duren, AMS History of Mathematics, sv. 2, American Mathematical Society, 1989, s. 223–226. Také dostupný tady.
- Church, A. (1950). „K Carnapově analýze prohlášení o tvrzení a víře“. The Journal of Symbolic Logic. 10 (5): 97–99. doi:10.2307/3326684. JSTOR 3326684.
- Anderson, C. Anthony (1998). „Příspěvek Alonzo Church k filozofii a intenzionální logice“. Bulletin symbolické logiky. 4 (2): 129–171. CiteSeerX 10.1.1.26.7389. doi:10.2307/421020. JSTOR 421020.
externí odkazy
- O'Connor, John J.; Robertson, Edmund F., "Alonzo Church", MacTutor Historie archivu matematiky, University of St Andrews.
- Univerzitní knihovna v Princetonu, divize rukopisů, Alonzo Church Papers, 1924–1995: hledání pomoci.
- Bibliografie recenzí kostela pro The Journal of Symbolic Logic, s odkazem na každou z nich
- Alonzo Church na Najděte hrob
- Alonzo Church, 92 let, teoretik mezí matematiky New York Times nekrolog
- OBITUARY: Alonzo Church z Nezávislý
- In memoriam: Alonzo Church (1903–1995) Irving H. Anellis, Moderní logika Sv. 5, č. 4 (1995).
- In memoriam: Alonzo Church 1903–1995 od H. B. Endertona, Bulletin symbolické logiky Sv. 1, č. 5 (1995).
