Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Saltu al enhavo

Alonzo Church

El Vikipedio, la libera enciklopedio
Alonzo Church
Persona informo
Alonzo Church
Naskiĝo 14-an de junio 1903 (1903-06-14)
en Vaŝingtono
Morto 11-an de aŭgusto 1995 (1995-08-11) (92-jaraĝa)
en Hudson
Tombo Princeton Cemetery (en) Traduki, Sec. 3, Block 11, Lot 058, Grave 1 40° 21′ 18″ Nordo 74° 39′ 33″ Okcidento / 40.354977 °N, 74.659112 °U / 40.354977; -74.659112 (mapo) Redakti la valoron en Wikidata vd
Religio Presbiterianismo vd
Lingvoj angla vd
Ŝtataneco Usono Redakti la valoron en Wikidata vd
Alma mater Universitato de Amsterdamo (1929–1929)
Universitato de Göttingen (1928–1928)
Universitato Harvard (1927–1928)
Universitato Princeton (1920–1927) Redakti la valoron en Wikidata vd
Profesio
Okupo matematikisto
universitata instruisto
filozofo
komputosciencisto Redakti la valoron en Wikidata vd
Laborkampo Matematika logiko, teoria komputiko, matematiko kaj logiko Redakti la valoron en Wikidata vd
Doktoreca konsilisto Oswald Veblen vd
Verkado
Verkoj Ĉurĉa tezo ❦
principo de Church-Turing-Deutsch ❦
Frege–Church ontology ❦
teoremo de Church-Rosser ❦
teoremo de Church-Turing ❦
lambda-kalkulo vd
vd Fonto: Vikidatumoj
vdr

Alonzo CHURCH (14-a de junio 190311-a de aŭgusto 1995) estis usona matematikisto kiu kontribuis multe al matematika logiko, teorio de rekursio kaj la fundamentaj teorioj de komputiko.

Li naskiĝis la 4-an de junio 1903, en Vaŝingtono, kaj diplomiĝis ĉe la Universitato Princeton kaj doktoriĝis tie en 1927. Kaj en 1929, li tie fariĝis profesoro de matematiko, kie li restis ĝis 1967, kiam li translokiĝis al Kalifornio.

Li estas plej konata pro disvolvi la lambdokalkulon kaj pro lia referaĵo de 1936 kiu montris la ekziston de nedecideblaj problemoj en la kalkulo. Tiu rezulto antaŭis la faman laboron de Alan Turing pri la haltproblemo ankaŭ kiu demonstris la ekziston de nesolveblaj problemoj per meĥanika maniero. Church direktis la doktoran tezon de Turing, en kiu ili montris la ekvivalentecon de la lambdokalkulo kaj la turinga maŝino (uzita en la haltproblema laboro de Turing) kaj sekve montris ke diversaj aliaj meĥanikaj komput-sistemoj havas ekvivalentajn kapablojn. Tiel rezultiĝis la tezo Church-Turing, kiu estas konata ankaŭ kiel la tezo de Church aŭ la tezo de Turing, ĉar estas disputo pri kiu unue proponis ĝin.

Church estas ankaŭ konata pro la Teoremo Church (1936), kiu demonstras ke ne estas decida procedo por aritmetiko. Lia laboro etendis tiun de Kurt Gödel.

Church fondis la Ĵurnalon de Simbola Logiko en 1936 kaj daŭris kiel ĝia redaktoro ĝis 1979. Li verkis la libron Enkonduko al Matematika Logiko en 1956.

Church havis 31 doktorajn studentojn. Inter ili estis, krom Turing, Stephen Kleene, John Kemeny kaj Raymond Smullyan.