Biserica Alonzo
Biserica Alonzo (n . 14 iunie 1903 la Washington, DC , † 11 august 1995 la Hudson , Ohio ) a fost un matematician , logician și filosof american și unul dintre fondatorii informaticii teoretice .
Carieră
Church a studiat la Universitatea Princeton , unde a absolvit matematica cu doctoratul în 1927. După șederile la Universitatea din Chicago , Universitatea Georg August din Göttingen și Universitatea din Amsterdam, a devenit profesor de matematică la Princeton în 1929. Church a rămas profesor la Princeton timp de aproape patru decenii până în 1967. S-a mutat apoi la Universitatea din California, Los Angeles (UCLA), unde a fost profesor de matematică și filosofie până în 1990.
Studenții săi de doctorat includ 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. Cooking , Maurice L'Abbé , Isaac Malitz , Gary R. Mar , Michael O. Rabin , Nicholas Rescher , Hartley Rogers, Jr. , J. Barkley Rosser , Dana Scott , Raymond Smullyan și Alan Turing .
plantă
El a devenit cunoscut colegilor săi matematici și logici în anii 1930 cu un model formal universal pentru calcule, calculul lambda , pe care l-a dezvoltat ca parte a cercetărilor sale despre fundamentele matematicii și teoremele incompletei Gödel . Datele și operatorii sunt încorporați în calculul lambda folosind codificarea Bisericii , numerele naturale sunt reprezentate de numerele Bisericii . Biserica a demonstrat în 1936 că nu există o funcție calculabilă pentru două expresii date în calculul lambda pentru a decide dacă acestea sunt echivalente sau nu, adică probleme nedecidabile prin teorema numerelor (teorema Bisericii); două expresii echivalente trebuie transformate una în alta sau reduse la aceeași formă normală ( teorema Church-Rosser ). Acest lucru l-a determinat pe elevul său Alan Turing să se gândească la problema deținerii unei mașini care efectuează operații aritmetice. Church și Turing au descoperit atunci că calculul lambda și mașina Turing sunt modele egale în ceea ce privește problema deciziei ; un concept de predictibilitate derivat din aceasta este cunoscut sub numele de teza Church-Turing .
În domeniul filozofiei, este cunoscut pentru nivelul său ridicat de argumentare, a apărat poziția platonică în disputa universală modernă .
Fonturi
- Introducere în logica matematică ( ISBN 978-0-691-02906-1 )
- Calculele Lambda-Conversie ( ISBN 978-0-691-08394-0 )
- O bibliografie a logicii simbolice, 1666-1935 ( ISBN 978-0-8218-0084-3 )
literatură
- C. Anthony Anderson, Michael Zelëny (Eds.): Logică, semnificație și calcul: Eseuri în memoria bisericii Alonzo , Biblioteca de sinteză, Vol. 305, 2002, ISBN 978-1-4020-0141-3
Link-uri web
- John J. O'Connor, Edmund F. Robertson : Biserica Alonzo. În: arhiva MacTutor History of Mathematics .
Dovezi individuale
- ^ Matematică Genealogie Proiect . Arhivat din original la 4 august 2010. Adus la 12 august 2010.
- ↑ Alonzo Church, „An Unsolvable Problem of Elementary Number Theory”, American Journal of Mathematics, volumul 58, nr. 2, aprilie 1936, pp. 345-363.
- ^ Joseph Maria Bocheński , Biserica Alonso, Nelson Goodman : Problema universalilor. Un simpozion , Notre Dame, Ind., 1956, 33-57
| date personale | |
|---|---|
| NUME DE FAMILIE | Biserica, Alonzo |
| DESCRIERE SCURTA | Matematician american și unul dintre fondatorii informaticii teoretice |
| DATA DE NASTERE | 14 iunie 1903 |
| LOCUL NASTERII | Washington DC |
| DATA MORTII | 11 august 1995 |
| LOCUL DECESULUI | Hudson (Ohio) |