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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Αλόνζο Τσερτς
Γενικές πληροφορίες
Όνομα στη
μητρική γλώσσα
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]
Εκπαίδευση και γλώσσες
Μητρική γλώσσαΑγγλικά
Ομιλούμενες γλώσσεςΑγγλικά[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
λογισμός λάμδα

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

Βιογραφία[Επεξεργασία | επεξεργασία κώδικα]

Γεννήθηκε το 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. 1,0 1,1 1,2 Εθνική Βιβλιοθήκη της Γαλλίας: (Γαλλικά) καθιερωμένοι όροι της Εθνικής Βιβλιοθήκης της Γαλλίας. data.bnf.fr/ark:/12148/cb14575590d. Ανακτήθηκε στις 10  Οκτωβρίου 2015.
  2. 2,0 2,1 2,2 MacTutor History of Mathematics archive. Ανακτήθηκε στις 22  Αυγούστου 2017.
  3. 3,0 3,1 3,2 (Αγγλικά) SNAC. w6320nsm. Ανακτήθηκε στις 9  Οκτωβρίου 2017.
  4. «Introduction Alonzo Church: Life and Work».
  5. 5,0 5,1 (Αγγλικά) Find A Grave.
  6. 6,0 6,1 nassauchurch.org/about/princetoncemetery/interment-records/.
  7. 7,0 7,1 7,2 7,3 7,4 MacTutor History of Mathematics archive.
  8. Εθνική Βιβλιοθήκη της Γαλλίας: (Γαλλικά) καθιερωμένοι όροι της Εθνικής Βιβλιοθήκης της Γαλλίας. data.bnf.fr/ark:/12148/cb14575590d. Ανακτήθηκε στις 10  Οκτωβρίου 2015.
  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. 

Πηγές[Επεξεργασία | επεξεργασία κώδικα]

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]