Alonzo Church
matematician american / From Wikipedia, the free encyclopedia
Alonzo Church (n. , Washington, D.C., District of Columbia, SUA – d. , Hudson(d), Ohio, SUA) a fost un matematician și logician american care a adus contribuții majore în logica matematică și fundamentele informaticii teoretice(d). El este cel mai bine cunoscut pentru calculul lambda(d), teza Church–Turing care a demonstrat indecidabilitatea problemei deciziei, ontologia Frege–Church(d), și teorema Church–Rosser(d).
Mai multe informații Date personale, Născut ...
Alonzo Church | |
Date personale | |
---|---|
Născut | [1][2][3][4] Washington, D.C., District of Columbia, SUA |
Decedat | (92 de ani)[1][2][3][4] Hudson(d), Ohio, SUA[5] |
Înmormântat | cimitirul Princeton[*][6][7] |
Cetățenie | Statele Unite ale Americii |
Religie | prezbiterianism[8] |
Ocupație | matematician filozof cadru didactic universitar[*] informatician |
Limbi vorbite | limba engleză[9][10] |
Activitate | |
Domeniu | logică matematică informatică teoretică[*] matematică logică |
Instituție | Universitatea Princeton University of California, Los Angeles |
Alma Mater | Universitatea Harvard[8] Universitatea Princeton[8] Universitatea Georg-August din Göttingen[8] Universitatea din Amsterdam[8] |
Organizații | Academia Americană de Arte și Științe[*] Asociația Americană pentru Progresul Științei[*][11] Academia Națională de Științe a Statelor Unite ale Americii[*] |
Conducător de doctorat | Oswald Veblen[12] |
Doctoranzi | C. Anthony Anderson[*][13] Peter B. Andrews[*][[Peter B. Andrews (matematician american)|]][13] George Alfred Barnard[*][[George Alfred Barnard (British statistician (1915-2002))|]][13] Martin Davis[*][[Martin Davis (matematician american)|]][14] Leon Henkin[*][[Leon Henkin (matematician american)|]][13] Kemény János[*][[Kemény János (Jewish-Hungarian American mathematician, computer scientist, educator, and President of Dartmouth College)|]][13] Stephen Cole Kleene[13] Michael Rabin[13] Hartley Rogers, Jr.[*][[Hartley Rogers, Jr. (matematician american)|]][13] J. Barkley Rosser[*][[J. Barkley Rosser (American logician)|]][13] ...încă 26 |
Cunoscut pentru | teza Church-Turing Church–Turing–Deutsch principle[*][[Church–Turing–Deutsch principle (stronger, physical form of the Church–Turing thesis, that a universal Turing machine can simulate every physical process)|]] Frege–Church ontology[*][[Frege–Church ontology |]] Church–Rosser theorem[*][[Church–Rosser theorem (theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result)|]] Church–Turing theorem[*][[Church–Turing theorem |]] calculul lambda[*] |
Modifică date / text |
Închide