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

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

## Βιογραφία

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

## Βιβλία
* Αλόνζο Τσερτς, *Introduction to Mathematical Logic* (1944) ()
* Αλόνζο Τσερτς, *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.
* 
* 

## Εξωτερικοί σύνδεσμοι
* 
* 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
* 
**[https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html Alonzo Church, 92, Theorist Of the Limits of Mathematics]* New York Times
**[https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html OBITUARY: Alonzo Church]* από την The Independent
**[https://projecteuclid.org/euclid.rml/1204835575 In memoriam: Alonzo Church (1903–1995)]* του Irving H. Anellis, *Modern Logic* Vol. 5, No. 4 (1995). 
**[https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EDB7DCE04575AF06CCC94E95B3DD0F72/S1079898600008040a.pdf/in-memoriam-alonzo-church-1903-1995.pdf In memoriam: Alonzo Church 1903–1995]* του H. B. Enderton, *The Bulletin of Symbolic Logic* Vol. 1, No.5 (1995).

Κατηγορία:Αμερικανοί μαθηματικοί
Κατηγορία:Αμερικανοί φιλόσοφοι
Κατηγορία:Απόφοιτοι του Πανεπιστημίου Πρίνστον
Κατηγορία:Απόφοιτοι του Πανεπιστημίου Χάρβαρντ