Alonzo Church
Ameerika Ühendriikide matemaatik / From Wikipedia, the free encyclopedia
Alonzo Church (14. juuni 1903 – 11. august 1995) oli Ameerika Ühendriikide matemaatik ja loogik, kes andis olulise panuse matemaatilise loogika arengusse ja teoreetilise informaatika alustesse. Teda tuntakse eeskätt lambda-arvutuse, Churchi-Turingi teesi, Entscheidungsproblemi mittelahenduvuse tõestamise, Frege-Churchi ontoloogia ja Churchi-Rosseri teoreemi järgi. Ta on ka töötanud keelefilosoofia teemadel.
| Alonzo Church | |
|---|---|
| Sündinud |
14. juuni 1903 Washington, USA |
| Surnud |
11. august 1995 (92-aastaselt) Hudson, Ohio, USA |
| Elukoht | Ameerika Ühendriigid |
| Rahvus | ameeriklane |
| Alma mater | Princeton University |
| Teadlaskarjäär | |
| Tegevusala(d) | matemaatika, loogika |
| Töökohad |
Princetoni ülikool (1929–67) UCLA (1967–95) |
| Tuntumad tööd |
Lambda-arvutus Churchi–Turingi tees Frege–Churchi ontoloogia Churchi–Rosseri teoreem |
| Tuntumad õpilased |
Loend
C. Anthony Anderson Peter Andrews George Alfred Barnard Martin Davis Alfred Foster Leon Henkin David Kaplan John George Kemeny Stephen Kleene Gary R. Mar Michael O. Rabin Hartley Rogers, Jr J. Barkley Rosser Dana Scott Raymond Smullyan Alan Turing |