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

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

 Γεννήθηκε το 1903 στην Ουάσινγκτον και το 1920 φοίτησε στο Πανεπιστήμιο Πρίνστον, όπου και αποφοίτησε με επαίνους. Έλαβε ένα πλήθος διακρίσεων, από πολλά αξιότιμα πανεπιστήμια σε όλο το κόσμο. Είναι περισσότερο γνωστός για το lamda calculus, για τη συνεργασία με τον Άλαν Τούρινγκ για τη θέση Τσερτς-Τούρινγκ, για την απόδειξη ότι το Entscheidungsproblem δεν λύνεται, για την οντολογία Φρεζ-Τσερτς, καθώς επίσης και για το θεώρημα Τσερτς-Ροσέρ. Μαζί με τον μαθητή του Αλαν Τούρινγκ, θεωρείται ένας από τους πατεράδες της επιστήμης των υπολογιστών και της πληροφορικής. Ο Αλόνζο απεβίωσε στης 11 Αυγούστου 1995 σε ηλικία 92 ετών και θάφτηκε στο Κοιμητήριο Πρίνστον. Αλόνζο Τσερτς, Introduction to Mathematical Logic (1944) ((ISBN 978-0-691-02906-1)) Αλόνζο Τσερτς, The Calculi of Lambda-Conversion (1941) Αλόνζο Τσερτς, 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) Enderton, Herbert B., Alonzo Church: Life and Work. Introduction to the Collected Works of Alonzo Church, MIT Press, not yet published. Enderton, Herbert B., In memoriam: Alonzo Church, The Bulletin of Symbolic Logic, vol. 1, no. 4 (Dec. 1995), σελ. 486–488. Wade, Nicholas, Alonzo Church, 92, Theorist of the Limits of Mathematics (obituary), The New York Times, September 5, 1995, σελ. B6. Hodges, Wilfred, Obituary: Alonzo Church, The Independent (London), September 14, 1995. Alonzo Church interviewed by William Aspray on 17 May 1984. The Princeton Mathematics Community in the 1930s: An Oral-History Project, transcript number 5. Rota, Gian-Carlo, Fine Hall in its golden age: Remembrances of Princeton in the early fifties. In A Century of Mathematics in America, Part II, edited by Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, σελ. 223–226. Also available here. Church, A. (1950). «On Carnap's Analysis of Statements of Assertion and Belief». The Journal of Symbolic Logic 10 (5): 97–99. doi:10.2307/3326684. Anderson, C. Anthony (1998). «Alonzo Church's contributions to philosophy and Intensional Logic». The Bulletin of Symbolic Logic 4 (2): 129–171. doi:10.2307/421020. O'Connor, John J.; Robertson, Edmund F., «Αλόνζο Τσερτς», MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Church.html . Princeton University Library, Manuscripts Division, The Alonzo Church Papers, 1924–1995: finding aid. A bibliography of Church's reviews for The Journal of Symbolic Logic, with a link to each 7076221 Αλόνζο Τσερτς στο Find a Grave (Αγγλικά) Alonzo Church, 92, Theorist Of the Limits of Mathematics New York Times OBITUARY: Alonzo Church από την The Independent In memoriam: Alonzo Church (1903–1995) του Irving H. Anellis, Modern Logic Vol. 5, No. 4 (1995). In memoriam: Alonzo Church 1903–1995 του H. B. Enderton, The Bulletin of Symbolic Logic Vol. 1, No.5 (1995).