Αλόνζο Τσερτς

Ο Αλόνζο Τσερτς (αγγλικά: Alonzo Church) ήταν Αμερικάνος επιστήμονας υπολογιστών, μαθηματικός, φιλόσοφος και καθηγητής, ο οποίος συνείσφερε σημαντικά στην επιστήμη των μαθηματικών, καθώς υπήρξε ένας από τους θεμελιωτές της θεωρητικής επιστήμης υπολογιστών.

Αλόνζο Τσερτς
Γενικές πληροφορίες
Όνομα στη μητρική γλώσσα	Alonzo Church (Αγγλικά)
Γέννηση	14  Ιουνίου 1903[1][2][3] Ουάσινγκτον
Θάνατος	11  Αυγούστου 1995[1][2][3] Χάντσον[4]
Τόπος ταφής	νεκροταφείο του Πρίνστον (40°21′18″ s. š., 74°39′33″ z. d.)[5][6]
Χώρα πολιτογράφησης	Ηνωμένες Πολιτείες Αμερικής
Θρησκεία	Πρεσβυτεριανισμός[7]
Εκπαίδευση και γλώσσες
Μητρική γλώσσα	Αγγλικά
Ομιλούμενες γλώσσες	Αγγλικά[1][8]
Εκπαίδευση	διδάκτωρ φιλοσοφίας
Σπουδές	Πανεπιστήμιο Χάρβαρντ (1927–1928)[9][7] Πανεπιστήμιο του Πρίνστον (1920–1927)[9][7] Πανεπιστήμιο του Γκέτινγκεν (1928)[9][7] Πανεπιστήμιο του Άμστερνταμ (1929)[9][7]
Πληροφορίες ασχολίας
Ιδιότητα	μαθηματικός φιλόσοφος διδάσκων πανεπιστημίου επιστήμονας υπολογιστών
Εργοδότης	Πανεπιστήμιο του Πρίνστον (1929–1967)[9] Πανεπιστήμιο της Καλιφόρνιας, Λος Άντζελες (1967–1990)[9]
Αξιοσημείωτο έργο	Church–Turing thesis Church–Turing–Deutsch principle Frege–Church ontology Church–Rosser theorem Church–Turing theorem λογισμός λάμδα
δεδομένα

Βιογραφία

Γεννήθηκε το 1903 στην Ουάσινγκτον και το 1920 φοίτησε στο Πανεπιστήμιο Πρίνστον, όπου και αποφοίτησε με επαίνους. Έλαβε ένα πλήθος διακρίσεων, από πολλά αξιότιμα πανεπιστήμια σε όλο το κόσμο. Είναι περισσότερο γνωστός για το lamda calculus, για τη συνεργασία με τον Άλαν Τούρινγκ για τη θέση Τσερτς-Τούρινγκ, για την απόδειξη ότι το Entscheidungsproblem δεν λύνεται, για την οντολογία Φρεζ-Τσερτς, καθώς επίσης και για το θεώρημα Τσερτς-Ροσέρ. Μαζί με τον μαθητή του Αλαν Τούρινγκ, θεωρείται ένας από τους πατεράδες της επιστήμης των υπολογιστών και της πληροφορικής. Ο Αλόνζο απεβίωσε στης 11 Αυγούστου 1995 σε ηλικία 92 ετών και θάφτηκε στο Κοιμητήριο Πρίνστον.

Βιβλία

• Αλόνζο Τσερτς, Introduction to Mathematical Logic (1944) ( (ISBN 978-0-691-02906-1))^[10]
• Αλόνζο Τσερτς, The Calculi of Lambda-Conversion (1941)^[11]
• Αλόνζο Τσερτς, A Bibliography of Symbolic Logic, 1666–1935
• C. Anthony Anderson and Michael Zelëny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church
• Tyler Burge and Herbert Enderton (eds.), The Collected Works of Alonzo Church (2019) (ISBN 978-0-262-02564-5)^[12]