Alonzo Church

40°21′14.8″K 74°39′34.1″B / 40.354111°K 74.659472°B / 40.354111; -74.659472VatandaşlıkAmerikalıEğitimHarward Üniversitesi (1927-28), Princeton Üniversitesi (1920), Göttingen Üniversitesi (1928), Amsterdam Üniversitesi (1929)Mezun olduğu okul(lar)Princeton ÜniversitesiTanınma nedeni
  • Lamda kalkülüs
  • Church-Turing tezi
  • Frege-Church ontolojisi
  • Church-Rosser teoremi
  • Church kodlaması
  • Church teoremi
  • Church–Kleene ordinali
  • İçlem mantığı
EvlilikMary Julia Kuczinski (1925)Çocuk(lar)Alonzo Church, Jr. (1929), Mary Ann (1933) ve Mildred (1938)KariyeriDalıMatematik, Felsefe, Mantık, Bilgisayar bilimleriÇalıştığı kurumPrinceton Üniversitesi (1929-67)
UCLA (1967-90)TezAlternatives to Zermelo's Assumption (1927)Doktora
danışmanıOswald VeblenDoktora öğrencileriC. Anthony Anderson (1977), Peter Andrews (1964), Bijan Arbab (1988), George Alfred Barnard (1936), James Bennett (1962), William W. Boone (1952), Enrique Bustamente-Llaca (1944), Edward Chapin (1970), Donald Collins (1967), Aubert Daigneault (1959), Martin Davis (1950), William Easton (1964), Alfred Foster (1930), James Guard (1961), Leon Henkin (1947), Gustav Hensel (1963), David Kaplan, John George Kemeny (1949), Stephen Cole Kleene (1934), Simon B. Kochen (1959), Maurice L'Abbé (1951), Isaac (Richard) Malitz (1976), Gary R. Mar (1985), Gerald Massey (1964), Michael O. Rabin (1957), Nicholas Rescher (1951), Wayne Richter (1963), Robert Ritchie (1960), Joel Robbin (1965), Hartley Rogers, Jr (1952), J. Barkley Rosser (1934), Dana Scott (1958), Norman Shapiro (1955), Raymond Smullyan (1959), Alan Turing (1938),[1] Robert Winder (1962)

Alonzo Church (14 Haziran 1903 - 11 Ağustos 1995), matematiksel mantığa ve teorik bilgisayar biliminin temellerine büyük katkılarda bulunan Amerikalı bir matematikçi ve mantıkçıydı. En çok, Entscheidungsproblem, Frege-Church ontolojisi ve Church-Rosser teoreminin çözülemezliğini kanıtlayan lambda kalkülüs, Church-Turing tezi ile tanınır.[2] Ayrıca dil felsefesi üzerinde çalıştı (bkz. Church 1970).

Hayatı

Alonzo Church, 14 Haziran 1903'te, babası Samuel Robbins Church'un Columbia Bölgesi Belediye Mahkemesi yargıcı olduğu Washington, DC'de doğdu. Aile daha sonra, babasının görme yetersizliği nedeniyle bu pozisyonunu kaybetmesinin ardından Virginia'ya taşındı. Aynı zamanda Alonzo Church ile aynı isme sahip olan amcasının da yardımıyla, Ridgefield, Connecticut'deki özel Ridgefield Erkek Okulu'na katıldı.[3] 1920'de Ridgefield'den mezun olduktan sonra Church, istisnai bir öğrenci olduğu Princeton Üniversitesi'ne girdi. Lorentz dönüşümleri üzerine ilk makalesini yayınladı ve 1924'te matematik diplomasıyla mezun oldu. Yüksek lisans çalışması için Princeton'da kaldı ve Oswald Veblen yönetiminde üç yıl içinde matematikte doktora derecesi aldı.

1925'te Mary Julia Kuczinski ile evlendi. Çiftin üç çocuğu vardı: Alonzo Church, Jr. (1929), Mary Ann (1933) ve Mildred (1938).

Doktora derecesini aldıktan sonra, kısa bir süre Chicago Üniversitesi'nde öğretim görevlisi olarak ders verdi.[4] 1927-1928'de Harvard Üniversitesi'ne, ertesi yıl Göttingen Üniversitesi ve Amsterdam Üniversitesi'ne katılmasını sağlayan iki yıllık Ulusal Araştırma Bursu aldı.

1929-1967 yılları arasında yaklaşık kırk yıl boyunca Princeton'da felsefe ve matematik öğretmenliği yaptı. 1967–1990 yılları arasında Los Angeles, Kaliforniya Üniversitesi'nde öğretmenlik yaptı. 1962'de Stockholm'de ICM'de Genel Konuşmacı olarak görev yaptı.[5]

Şerefine düzenlenen ve John Corcoran tarafından organize edilen uluslararası bir sempozyumla bağlantılı olarak, 1969'da Case Western Reserve Üniversitesi'nden,[6] 1985'te Princeton Üniversitesi'nden[7] ve Buffalo Üniversitesi, New York Eyalet Üniversitesi'nden onursal Doktora derecesi aldı.[8]

Son derece dindar bir kişi olan Church, Presbiteryen kilisesinin ömür boyu üyesidir.[9] 1995'te öldü ve Princeton Mezarlığı'na gömüldü.

Matematiksel çalışmaları

Church aşağıdaki önemli başarılarla tanınır:

  • Birinci dereceden matematiksel bir teoride keyfi önermelerin doğruluğunu belirlemek için bir karar prosedürü talep eden Entscheidungsproblem'in karar verilemez olduğunun kanıtı. Bu, Church teoremi olarak bilinir.[10]
  • Peano aritmetiğinin karar verilemez olduğunun kanıtı.
  • Church-Turing tezi olarak bilinen şeyi dile getirmesi.
  • Journal of Symbolic Logic’in kurucu editörüydü ve gözden geçirme bölümünü 1979'a kadar düzenledi.
  • Lamda kalkülüsü icat etti.

Lambda kalkülüs, Entscheidung probleminin çözülemezliğini gösteren 1936 tarihli makalesinde ortaya çıktı. Bu sonuç, Alan Turing'in mekanik yollarla çözülemeyen bir problemin varlığını da gösteren Sonlanma problemi üzerine çalışmasından önce geldi. Church ve Turing daha sonra Turing'in sonlandırma probleminde kullanılan lambda kalkülüs ve Turing makinesinin yetenekler açısından eşdeğer olduğunu gösterdi ve ardından çeşitli alternatif "hesaplama için mekanik işlemler" gösterdi. Bu Church-Turing tezi ile sonuçlandı.

Spesifikasyonlardan otomatik olarak bir denetleyici uygulaması oluşturma çabaları onun fikirlerinden kaynaklanmaktadır.[11]

Lambda kalkülüs, genel olarak LISP programlama dilinin ve fonksiyonel programlama dillerinin tasarımını etkiledi. Church kodlaması onun onuruna verilmiştir.

Onun onuruna, Alonzo Church Mantık ve Hesaplamaya Olağanüstü Katkılar Ödülü, 2015 yılında, Hesaplama Makineleri Derneği Mantık ve Hesaplama Özel İlgi Grubu (ACM SIGLOG), Avrupa Teorik Bilgisayar Bilimi Derneği (EATCS), Avrupa Birliği Bilgisayar Bilimleri Mantığı (EACSL) ve Kurt Gödel Derneği (KGS) tarafından kurulmuştur. Ödül, son 25 yıl içinde yayınlanan alana olağanüstü bir katkı sağlamak içindir ve Turing Ödülü, Paris Kanellakis Ödülü veya Gödel Ödülü gibi başka bir büyük ödülle henüz tanınmamış olmalıdır.[12][13]

Felsefi çalışmaları

“ Church'ün lojistik yöntemi içeren bir metodolojiyi detaylandırması, nominalizme yönelik felsefi eleştirileri ve gerçekçiliği savunması, anlam teorisi hakkında sonuçlara götüren argümantasyonu ve Frege ve Russel'in ayrıntılı inşası içlem mantığı, onu bu yüzyılın en önemli filozofları arasında üst sıralara yerleştirmek için fazlasıyla yeterlidir. „

—C. Anthony Anderson[14]

Öğrencileri

Church'in doktora öğrencilerinin çoğu, aralarında C. Anthony Anderson, Peter B. Andrews, George A. Barnard, David Berlinski, William W. Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L'Abbé, Isaac Malitz, Gary R. Mar, Michael O. Rabin, Nicholas Rescher, Hartley Rogers, Jr., J. Barkley Rosser, Dana Scott, Raymond Smullyan ve Alan Turing.[15] Church'un öğrencilerinin daha eksiksiz bir listesi Matematik Şecere Projesi 4 Ağustos 2010 tarihinde Wayback Machine sitesinde arşivlendi. aracılığıyla edinilebilir.

Kitapları

  • Alonzo Church, Introduction to Mathematical Logic (Matematiksel Mantığa Giriş) (978-0-691-02906-1)[16]
  • Alonzo Church, The Calculi of Lambda-Conversion (978-0-691-08394-0)[17]
  • Alonzo Church, A Bibliography of Symbolic Logic, 1666–1935 (Sembolik Mantığın Bir Bibliyografyası, 1666–1935) (978-0-8218-0084-3)
  • C. Anthony Anderson and Michael Zelëny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Mantık, Anlam ve Hesaplama: Alonzo Church Anısına Yazılar) (978-1-4020-0141-3)

Ayrıca bakınız

  • Church-Turing-Deutsch ilkesi
  • Daha yüksek mertebeden mantık
  • Bilgisayar bilimindeki öncüler listesi
  • Modern Platonculuk
  • Evrensel küme

Notlar

  1. ^ Bowen, Jonathan P. (2019). "The Impact of Alan Turing: Formal Methods and Beyond". Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (Ed.). Engineering Trustworthy Software Systems. SETSS 2018. Lecture Notes in Computer Science. 11430. Cham: Springer. ss. 202-235. doi:10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. 
  2. ^ "Alonzo Church | American mathematician". Encyclopedia Britannica (İngilizce). 7 Temmuz 2015 tarihinde kaynağından arşivlendi. Erişim tarihi: 29 Kasım 2020. 
  3. ^ The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938. See The Ridgefield School 3 Şubat 2020 tarihinde Wayback Machine sitesinde arşivlendi..
  4. ^ "An early history of computing at Princeton". Princeton Alumni Weekly (İngilizce). 4 Nisan 2012. 12 Mayıs 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Nisan 2020. 
  5. ^ Church, Alonzo (1962), "Logic, arithmetic and automata" (PDF), Proceedings of the International Congress of Mathematicians, ss. 23-35, 28 Aralık 2013 tarihinde kaynağından (PDF) arşivlendi 
  6. ^ "Honorary degrees awarded by Case Western Reserve University". 1 Ekim 2013 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Haziran 2012. 
  7. ^ "Honorary degrees awarded by Princeton University". 7 Şubat 2016 tarihinde kaynağından arşivlendi. 
  8. ^ "Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990". 17 Ekim 2013 tarihinde kaynağından arşivlendi. 
  9. ^ "Introduction Alonzo Church: Life and Work" (PDF). s. 4. 1 Eylül 2012 tarihinde kaynağından (PDF) arşivlendi. Erişim tarihi: 6 Haziran 2012. Son derece dindar bir kişi olarak, Presbiteryen kilisesinin ömür boyu üyesiydi. 
  10. ^ Church, A. (1936). "An unsolvable problem of elementary number theory". American Journal of Mathematics. 58 (2): 345-363. doi:10.2307/2371045. 
  11. ^ Lúcio, Levi; Rahman, Salman; Cheng, Chih-Hong; Mavin, Alistair (2017). "Just Formal Enough? Automated Analysis of EARS Requirements" (PDF). Lecture Notes in Computer Science. Cham: Springer International Publishing. doi:10.1007/978-3-319-57288-8_31. ISBN 978-3-319-57287-1. ISSN 0302-9743. 25 Eylül 2017 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 25 Ocak 2021. 
  12. ^ "Alonzo Church Award". 15 Temmuz 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 25 Ocak 2021. 
  13. ^ "Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019". 23 Ocak 2019 tarihinde kaynağından arşivlendi. Erişim tarihi: 25 Ocak 2021. 
  14. ^ Anderson 1998
  15. ^ "Mathematics Genealogy Project". 4 Ağustos 2010 tarihinde kaynağından arşivlendi. Erişim tarihi: 12 Ağustos 2010. 
  16. ^ Henkin, Leon (1957). "Review: Introduction to Mathematical Logic by Alonzo Church" (PDF). Bull. Amer. Math. Soc. 63 (5): 320-323. doi:10.1090/s0002-9904-1957-10129-3. 
  17. ^ Frink Jr., Orrin (1944). "Review: The Calculi of Lambda-Conversion by Alonzo Church" (PDF). Bull. Amer. Math. Soc. 50 (3): 169-172. doi:10.1090/s0002-9904-1944-08090-7. 

Kaynakça

  • 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 13 Haziran 2020 tarihinde Wayback Machine sitesinde arşivlendi., The Bulletin of Symbolic Logic, vol. 1, no. 4 (Dec. 1995), pp. 486–488.
  • Wade, Nicholas, Alonzo Church, 92, Theorist of the Limits of Mathematics 16 Ocak 2021 tarihinde Wayback Machine sitesinde arşivlendi. (obituary), The New York Times, September 5, 1995, p. B6.
  • Hodges, Wilfred, Obituary: Alonzo Church 16 Ocak 2021 tarihinde Wayback Machine sitesinde arşivlendi., 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 29 Ağustos 2017 tarihinde Wayback Machine sitesinde arşivlendi.. In A Century of Mathematics in America, Part II, edited by Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, pp. 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. JSTOR 3326684. 
  • Anderson, C. Anthony (1998). "Alonzo Church's contributions to philosophy and Intensional Logic". The Bulletin of Symbolic Logic. 4 (2): 129-171. CiteSeerX 10.1.1.26.7389 $2. doi:10.2307/421020. JSTOR 421020. 

Dış bağlantılar

  • O'Connor, John J.; Robertson, Edmund F., "Alonzo Church", MacTutor Matematik Tarihi arşivi 
  • Princeton University Library, Manuscripts Division, The Alonzo Church Papers, 1924–1995: finding aid. (Princeton Üniversitesi Kütüphanesi, El Yazmaları Bölümü Alonzo Church Makaleleri, 1924–1995)
  • A bibliography of Church's reviews for The Journal of Symbolic Logic, with a link to each 4 Temmuz 2020 tarihinde Wayback Machine sitesinde arşivlendi. (The Journal of Symbolic Logic dergisi için Church'un incelemelerinin her birine bağlantı içeren bir kaynakça)
  • Find a Grave'de Alonzo Church
  • Alonzo Church, 92, Theorist Of the Limits of Mathematics 16 Ocak 2021 tarihinde Wayback Machine sitesinde arşivlendi. New York Times obituary (Alonzo Church, 92, Matematiğin Sınırları Teorisyeni New York Times ölüm ilanı)
  • OBITUARY: Alonzo Church 16 Ocak 2021 tarihinde Wayback Machine sitesinde arşivlendi. from The Independent
  • In memoriam: Alonzo Church (1903–1995) 2 Şubat 2021 tarihinde Wayback Machine sitesinde arşivlendi. by Irving H. Anellis, Modern Logic Vol. 5, No. 4 (1995).
  • In memoriam: Alonzo Church 1903–1995 11 Ağustos 2018 tarihinde Wayback Machine sitesinde arşivlendi. by H. B. Enderton, The Bulletin of Symbolic Logic Vol. 1, No.5 (1995).
Otorite kontrolü Bunu Vikiveri'de düzenleyin