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

Ο Αλόνζο Τσερτς (αγγλικά: 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)[7] Πανεπιστήμιο του Πρίνστον (1920–1927)[7] Πανεπιστήμιο του Γκέτινγκεν (1928)[7] Πανεπιστήμιο του Άμστερνταμ (1929)[7]
Πληροφορίες ασχολίας
Ιδιότητα	μαθηματικός φιλόσοφος διδάσκων πανεπιστημίου επιστήμονας υπολογιστών
Εργοδότης	Πανεπιστήμιο του Πρίνστον (1929–1967) Πανεπιστήμιο της Καλιφόρνιας, Λος Άντζελες (1967–1990)
Αξιοσημείωτο έργο	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))^[9]
• Αλόνζο Τσερτς, The Calculi of Lambda-Conversion (1941)^[10]
• Αλόνζο Τσερτς, 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)^[11]

Παραπομπές

1. Εθνική Βιβλιοθήκη της Γαλλίας: (Γαλλικά) καθιερωμένοι όροι της Εθνικής Βιβλιοθήκης της Γαλλίας. 14575590d. Ανακτήθηκε στις 10  Οκτωβρίου 2015.
2. MacTutor History of Mathematics archive. Ανακτήθηκε στις 22  Αυγούστου 2017.
3. (Αγγλικά) SNAC. w6320nsm. Ανακτήθηκε στις 9  Οκτωβρίου 2017.
4. «Introduction Alonzo Church: Life and Work».
5. (Αγγλικά) Find A Grave.
6. nassauchurch.org/about/princetoncemetery/interment-records/.
7. MacTutor History of Mathematics archive.
8. CONOR.SI. 198977379.
9. Henkin, Leon (1957). «Review: Introduction to Mathematical Logic by Alonzo Church». Bull. Amer. Math. Soc. 63 (5): 320–323. doi:10.1090/s0002-9904-1957-10129-3. https://www.ams.org/bull/1957-63-05/S0002-9904-1957-10129-3/S0002-9904-1957-10129-3.pdf.
10. Frink Jr., Orrin (1944). «Review: The Calculi of Lambda-Conversion by Alonzo Church». Bull. Amer. Math. Soc. 50 (3): 169–172. doi:10.1090/s0002-9904-1944-08090-7. https://www.ams.org/bull/1944-50-03/S0002-9904-1944-08090-7/S0002-9904-1944-08090-7.pdf.
11. Burge, Tyler· Enderton, Herbert, επιμ. (23 Απριλίου 2019). The Collected Works of Alonzo Church (στα Αγγλικά). Cambridge, MA, USA: MIT Press. 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).