Alonzo Church | |
|---|---|
| Doğum | 14 Haziran 1903(1903-06-14) Washington,ABD |
| Ölüm | 11 Ağustos 1995 (92 yaşında) Hudson, Ohio,ABD |
| Defin yeri | Princeton Mezarlığı 40°21′14.8″K74°39′34.1″B / 40.354111°K 74.659472°B /40.354111; -74.659472 |
| Vatandaşlık | Amerikalı |
| Eğitim | Harward Üniversitesi (1927-28),Princeton Üniversitesi (1920),Göttingen Üniversitesi (1928),Amsterdam Üniversitesi (1929) |
| Mezun olduğu okul(lar) | Princeton Üniversitesi |
| Tanınma nedeni | |
| Evlilik | Mary Julia Kuczinski (1925) |
| Çocuk(lar) | Alonzo Church, Jr. (1929), Mary Ann (1933) ve Mildred (1938) |
| Kariyeri | |
| Dalı | Matematik,Felsefe,Mantık,Bilgisayar bilimleri |
| Çalıştığı kurum | Princeton Üniversitesi (1929-67) UCLA (1967-90) |
| Tez | Alternatives to Zermelo's Assumption (1927) |
| Doktora danışmanı | Oswald Veblen |
| Doktora öğrencileri | C. 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 veteorik bilgisayar biliminin temellerine büyük katkılarda bulunanAmerikalı birmatematikçi vemantıkçıydı. En çok,Entscheidungsproblem,Frege-Church ontolojisi veChurch-Rosser teoreminin çözülemezliğini kanıtlayanlambda kalkülüs,Church-Turing tezi ile tanınır.[2] Ayrıcadil felsefesi üzerinde çalıştı (bkz. Church 1970).
Alonzo Church, 14 Haziran 1903'te, babası Samuel Robbins Church'un Columbia Bölgesi Belediye Mahkemesi yargıcı olduğuWashington, 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ğuPrinceton Ü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ı veOswald Veblen yönetiminde üç yıl içinde matematiktedoktora 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üreChicago Üniversitesi'nde öğretim görevlisi olarak ders verdi.[4] 1927-1928'deHarvard Üniversitesi'ne, ertesi yılGöttingen Üniversitesi veAmsterdam Üniversitesi'ne katılmasını sağlayan iki yıllıkUlusal 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ındaLos Angeles,Kaliforniya Üniversitesi'nde öğretmenlik yaptı. 1962'de Stockholm'deICM'de Genel Konuşmacı olarak görev yaptı.[5]
Şerefine düzenlenen veJohn Corcoran tarafından organize edilen uluslararası bir sempozyumla bağlantılı olarak, 1969'daCase Western Reserve Üniversitesi'nden,[6] 1985'tePrinceton Üniversitesi'nden[7] veBuffalo Ü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ü vePrinceton Mezarlığı'na gömüldü.
Church aşağıdaki önemli başarılarla tanınır:
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österenSonlanma problemi üzerine çalışmasından önce geldi. Church ve Turing daha sonra Turing'in sonlandırma probleminde kullanılan lambda kalkülüs veTuring 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 olarakLISP programlama dilinin vefonksiyonel 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) veKurt 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 veTuring Ödülü,Paris Kanellakis Ödülü veyaGödel Ödülü gibi başka bir büyük ödülle henüz tanınmamış olmalıdır.[12][13]
| “ | 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. | „ |
Church'in doktora öğrencilerinin çoğu, aralarındaC. 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 veAlan Turing.[15] Church'un öğrencilerinin daha eksiksiz bir listesiMatematik Şecere Projesi 4 Ağustos 2010 tarihindeWayback Machine sitesindearşivlendi. aracılığıyla edinilebilir.
Son derece dindar bir kişi olarak, Presbiteryen kilisesinin ömür boyu üyesiydi.
