Alonzo Church

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. 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ı. 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. 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ı. 19671990 yılları arasında Los Angeles, Kaliforniya Üniversitesi'nde öğretmenlik yaptı. 1962'de Stockholm'de ICM'de Genel Konuşmacı olarak görev yaptı.
Şerefine düzenlenen ve John Corcoran tarafından organize edilen uluslararası bir sempozyumla bağlantılı olarak, 1969'da Case Western Reserve Üniversitesi'nden, 1985'te Princeton Üniversitesi'nden ve Buffalo Üniversitesi, New York Eyalet Üniversitesi'nden onursal Doktora derecesi aldı.
Son derece dindar bir kişi olan Church, Presbiteryen kilisesinin ömür boyu üyesidir. 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.
Peano aritmetiğinin karar verilemez olduğunun kanıtı.
Church-Turing tezi olarak bilinen şeyi dile getirmesi.
Journal of Symbolic Logicin 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.
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.
Felsefi çalışmaları
Öğ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. Church'un öğrencilerinin daha eksiksiz bir listesi Matematik Şecere Projesi aracılığıyla edinilebilir.
Kitapları
Alonzo Church, Introduction to Mathematical Logic (Matematiksel Mantığa Giriş) ()
Alonzo Church, The Calculi of Lambda-Conversion ()
Alonzo Church, A Bibliography of Symbolic Logic, 16661935 (Sembolik Mantığın Bir Bibliyografyası, 16661935) ()
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) ()