Alonzo Church
Alonzo Church (urodzony 14 czerwca 1903 w Waszyngtonie, † 11 sierpnia 1995 w Hudson , Ohio ) był amerykańskim matematykiem , logikiem i filozofem oraz jednym z twórców teoretycznej informatyki .
Kariera
Church studiował na Uniwersytecie Princeton , gdzie ukończył matematykę z tytułem doktora w 1927 roku. Po pobycie na Uniwersytecie w Chicago , Uniwersytecie im. Georga Augusta w Getyndze i Uniwersytecie w Amsterdamie został profesorem matematyki na Princeton w 1929 roku. Church pozostał profesorem w Princeton przez prawie cztery dekady, aż do 1967 roku. Następnie przeniósł się na Uniwersytet Kalifornijski w Los Angeles (UCLA), gdzie był profesorem matematyki i filozofii do 1990 roku.
Jego doktoranci obejmują 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 .
roślina
Stał się znany swoim matematycznym i logicznym kolegom w latach trzydziestych XX wieku dzięki uniwersalnemu modelowi formalnemu do obliczeń, rachunku lambda , który opracował w ramach swoich badań nad podstawami matematyki i twierdzeniami Gödla o niezupełności . Dane i operatory są osadzone w rachunku lambda przy użyciu kodowania Churcha , liczby naturalne są reprezentowane przez cyfry Church . Church wykazał w 1936 r., Że nie ma obliczalnej funkcji dla dwóch podanych wyrażeń w rachunku lambda, aby zdecydować, czy są one równoważne, czy nie, tj. Problemy nierozstrzygalne według twierdzenia o liczbach (twierdzenie Churcha); dwa równoważne wyrażenia mają zostać zamienione na siebie lub zredukowane do tej samej postaci normalnej ( twierdzenie Churcha-Rossera ). To skłoniło jego ucznia Alana Turinga do zastanowienia się nad problemem trzymania maszyny wykonującej operacje arytmetyczne. Church i Turing odkryli następnie, że rachunek lambda i maszyna Turinga są równymi modelami pod względem problemu decyzyjnego ; wywodząca się z tego koncepcja przewidywalności znana jest jako teza Churcha-Turinga .
W dziedzinie filozofii znany jest z wysokiego poziomu argumentacji, bronił pozycji platońskiej we współczesnym, powszechnym sporze.
Czcionki
- Wprowadzenie do logiki matematycznej ( ISBN 978-0-691-02906-1 )
- Obliczenia konwersji lambda ( ISBN 978-0-691-08394-0 )
- Bibliografia logiki symbolicznej, 1666-1935 ( ISBN 978-0-8218-0084-3 )
literatura
- C. Anthony Anderson, Michael Zelëny (red.): Logic, Meaning and Computation: Essays in Memory of Alonzo Church , Synthesis Library, Vol. 305, 2002, ISBN 978-1-4020-0141-3
linki internetowe
- John J. O'Connor, Edmund F. Robertson : Alonzo Church. W: MacTutor Archiwum historii matematyki .
Indywidualne dowody
- ^ Mathematics Genealogy Project . Zarchiwizowane od oryginału w dniu 4 sierpnia 2010 r. Pobrano 12 sierpnia 2010 r.
- ↑ Alonzo Church, „An Unsolvable Problem of Elementary Number Theory”, American Journal of Mathematics, tom 58, nr 2, kwiecień 1936, s. 345-363.
- ^ Joseph Maria Bocheński , Alonso Church, Nelson Goodman : The Problem of Universals. A Symposium , Notre Dame, Ind., 1956, 33–57
dane osobiste | |
---|---|
NAZWISKO | Kościół, Alonzo |
KRÓTKI OPIS | Amerykański matematyk i jeden z twórców informatyki teoretycznej |
DATA URODZENIA | 14 czerwca 1903 |
MIEJSCE URODZENIA | Waszyngton |
DATA ZGONU | 11 sierpnia 1995 |
MIEJSCE ŚMIERCI | Hudson (Ohio) |