Alonzo Church: Revizyonlar arasındaki fark

Vikipedi, özgür ansiklopedi
Etkileşimli olarak geçmişe göz at
[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
← Önceki sürümle aradaki farkSonraki sürümle aradaki fark →
İçerik silindi İçerik eklendi
GörselVikimetin
"Alonzo Church" sayfasının çevrilmesiyle oluşturuldu.
Etiketler: İçerik Çevirmeni [Çevirmeni 2]
çeviri aracı sonrası gözden geçirme ve düzeltme
1. satır: 1. satır:

{{Bilim insanı bilgi kutusu
{{Bilim insanı bilgi kutusu
| isim = Alonzo Church
| ad = Alonzo Church
| resim_adı = Alonzo Church.jpg
| resim = <!--Alonzo Church.jpg-->
| resim_boyutu = 200pik
| resim_başlığı = Alonzo Church (1903–1995)
| altyazı = <!--Alonzo Church (1903–1995)-->
| doğum_tarihi = {{Birth date|1903|6|14}}
| doğum_tarihi = {{Doğum tarihi|1903|6|14}}
| doğum_yeri = [[Washington, D.C.]], US
| doğum_yeri = [[Washington, DC|Washington]], [[Amerika Birleşik Devletleri|ABD]]
| ölüm_tarihi = {{death date and age|1995|8|11|1903|6|14}}
| ölüm_tarihi = {{Ölüm tarihi ve yaşı|1995|8|11|1903|6|14}}
| ölüm_yeri = [[Hudson, Ohio]], US
| ölüm_yeri = [[Hudson, Ohio]], [[Amerika Birleşik Devletleri|ABD]]
| milliyeti = American
| yattığı_yer = Princeton Mezarlığı
| dalı = [[Mathematics]], [[logic]]
| yattığı_yerin_koordinatları = {{koordinat|40|21|14.8|N|74|39|34.1|W|type:landmark|display=inline}}
⚫
| öğrenim = [[Princeton University]]
| vatandaşlık = [[Amerikalılar|Amerikalı]]
⚫
| doktora_hocası = [[Oswald Veblen]]
| dalı = [[Matematik]], [[Felsefe]], [[Mantık]], [[Bilgisayar bilimleri]]
⚫
| doktora_öğrencileri = [[C. Anthony Anderson]] 1977<br/>[[Peter Andrews (mathematician)|Peter Andrews]] 1964<br/>Bijan Arbab 1988<br/>[[George Alfred Barnard]] 1936<br/>James Bennett 1962<br/>[[William Boone (mathematician)|William W. Boone]] 1952<br/>Enrique Bustamente-Llaca 1944<br/>Edward Chapin 1970<br/>Donald Collins 1967<br/>Aubert Daigneault 1959<br/>[[Martin Davis (mathematician)|Martin Davis]] 1950<br/>[[William Bigelow Easton|William Easton]] 1964<br/>[[Alfred Foster (mathematician)|Alfred Foster]] 1930<br/>James Guard 1961<br/>[[Leon Henkin]] 1947<br/>Gustav Hensel 1963<br/>[[David Kaplan (philosopher)|David Kaplan]]<br/>[[John George Kemeny]] 1949<br/>[[Stephen Cole Kleene]] 1934<br/>[[Simon B. Kochen]] 1959<br/>[[Maurice L'Abbé]] 1951<br/>[[Isaac Malitz|Isaac (Richard) Malitz]] 1976<br/>[[Gary R. Mar]] 1985<br/>Gerald Massey 1964<br/>[[Michael O. Rabin]] 1957<br/>[[Nicholas Rescher]] 1951<br/>Wayne Richter 1963<br/>Robert Ritchie 1960<br/>[[Joel Robbin]] 1965<br/>[[Hartley Rogers, Jr]] 1952<br/>[[J. Barkley Rosser]] 1934<br/>[[Dana Scott]] 1958<br/>[[Norman Shapiro]] 1955<br/>[[Raymond Smullyan]] 1959<br/>[[Alan Turing]] 1938<ref name="bowen19">{{cite chapter| first=Jonathan P. |last=Bowen | author-link=Jonathan Bowen | chapter=The Impact of Alan Turing: Formal Methods and Beyond | editor-last1=Bowen | editor-first1=Jonathan P. | editor-last2=Liu | editor-first2=Zhiming | editor-link2=Zhiming Liu (computer scientist) | editor-last3=Zhang | editor-first3=Zili | title=Engineering Trustworthy Software Systems. SETSS 2018 | series=[[Lecture Notes in Computer Science]] | volume=11430 | pages=202–235 | date=2019 | publisher= [[Springer Nature|Springer]] | location=Cham | doi=10.1007/978-3-030-17601-3_5 |isbn=978-3-030-17600-6 }}</ref><br/>Robert Winder 1962
| çalıştığı_yer = [[Princeton Üniversitesi]] (1929-67)<br/>[[Kaliforniya Üniversitesi, Los Angeles|UCLA]] (1967-90)
| önemli_başarıları = [[Lambda calculus]]<br/>[[Simply typed lambda calculus]]<br>[[Church encoding]]<br>[[Church's theorem]]<br/>[[Church–Kleene ordinal]]<br>[[Church–Turing thesis]]<br/>[[Frege–Church ontology]]<br/>[[Church–Rosser theorem]]<br>[[Intensional logic]]
| eğitim = [[Harward Üniversitesi]] (1927-28), [[Princeton Üniversitesi]] (1920), [[Göttingen Üniversitesi]] (1928), [[Amsterdam Üniversitesi]] (1929)
⚫
| alma_mater = Princeton University
| tez_başlığı = Alternatives to Zermelo's Assumption
| tez_url = https://www.ams.org/journals/tran/1927-029-01/S0002-9947-1927-1501383-1/S0002-9947-1927-1501383-1.pdf
| tez_yılı = 1927
⚫
| doktora_danışmanı = [[Oswald Veblen]]
⚫
| doktora_öğrencileri = {{küçük|[[C. Anthony Anderson]] (1977), [[Peter Andrews (matematikçi)|Peter Andrews]] (1964), Bijan Arbab (1988), [[George Alfred Barnard]] (1936), James Bennett (1962), [[William Boone (matematikçi)|William W. Boone]] (1952), Enrique Bustamente-Llaca (1944), Edward Chapin (1970), Donald Collins (1967), Aubert Daigneault (1959), [[Martin Davis (matematikçi)|Martin Davis]] (1950), [[William Bigelow Easton|William Easton]] (1964), [[Alfred Foster (matematikçi)|Alfred Foster]] (1930), James Guard (1961), [[Leon Henkin]] (1947), Gustav Hensel (1963), [[David Kaplan (filozof)|David Kaplan]], [[John George Kemeny]] (1949), [[Stephen Cole Kleene]] (1934), [[Simon B. Kochen]] (1959), [[Maurice L'Abbé]] (1951), [[Isaac Malitz|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)<ref name="bowen19">{{kitap kaynağı| first=Jonathan P. |last=Bowen | author-link=Jonathan Bowen | chapter=The Impact of Alan Turing: Formal Methods and Beyond | editor-last1=Bowen | editor-first1=Jonathan P. | editor-last2=Liu | editor-first2=Zhiming | editor-link2=Zhiming Liu (bilgisayar bilimcisi) | editor-last3=Zhang | editor-first3=Zili | title=Engineering Trustworthy Software Systems. SETSS 2018 | series=[[Lecture Notes in Computer Science]] | volume=11430 | pages=202–235 | date=2019 | publisher= [[Springer Nature|Springer]] | location=Cham | doi=10.1007/978-3-030-17601-3_5 |isbn=978-3-030-17600-6 }}</ref>, Robert Winder (1962)}}
| önemli_öğrencileri =
| tanınma_nedeni = {{yalın liste|
* [[Lamda kalkülüs]]
* [[Church-Turing tezi]]
* [[Frege-Church ontolojisi]]
* [[Church-Rosser teoremi]]
* [[Church kodlaması]]
* [[Church teoremi]]
* [[Church–Kleene ordinali]]
* [[İçlem mantığı]]}}
| etkilendikleri =
| etkiledikleri =
| ödüller =
| evlilik = Mary Julia Kuczinski (1925)
| çocukları = Alonzo Church, Jr. (1929), Mary Ann (1933) ve Mildred (1938)
}}
}}
'''Alonzo Kilisesi''' (14 Haziran 1903 - 11 Ağustos 1995), [[Matematiksel mantık|matematiksel mantığa]] ve [[Teorik bilgisayar bilimi|teorik bilgisayar biliminin]] temellerine büyük katkılarda bulunan [[Amerika Birleşik Devletleri|Amerikalı]] bir [[matematikçi]] ve [[Mantıkçıların listesi|mantıkçıydı]]. En çok, [[Entscheidungsproblem]], [[Frege – Kilise ontolojisi|Frege-Church ontolojisi]] ve [[Church-Rosser teoremi|Church-Rosser teoreminin]] çözülemezliğini kanıtlayan [[Lamda kalkülüs|lambda kalkülüs]], [[Church-Turing tezi]] ile tanınır. Ayrıca dil felsefesi üzerinde çalıştı (bkz. Church 1970).
'''Alonzo Kilisesi''' (14 Haziran 1903 - 11 Ağustos 1995), [[Matematiksel mantık|matematiksel mantığa]] ve [[teorik bilgisayar bilimi]]nin temellerine büyük katkılarda bulunan [[Amerika Birleşik Devletleri|Amerikalı]] bir [[matematikçi]] ve [[Mantıkçıların listesi|mantıkçı]]ydı. En çok, [[Entscheidungsproblem]], [[Frege-Church ontolojisi]] ve [[Church-Rosser teoremi]]nin çözülemezliğini kanıtlayan [[Lamda kalkülüs|lambda kalkülüs]], [[Church-Turing tezi]] ile tanınır.<ref>{{Web kaynağı | url = https://www.britannica.com/biography/Alonzo-Church | başlık = Alonzo Church {{!}} American mathematician | erişimtarihi =29 Kasım 2020| dil =İngilizce| çalışma = Encyclopedia Britannica | arşivurl = https://web.archive.org/web/20150707004112/https://www.britannica.com/biography/Alonzo-Church | arşivtarihi = 7 Temmuz 2015}}</ref> Ayrıca dil felsefesi üzerinde çalıştı (bkz. Church 1970).


== Hayatı ==
== Hayatı ==
Alonzo Church, 14 Haziran 1903'te, babası Samuel Robbins Church'un Columbia Bölgesi Belediye Mahkemesi yargıcı olduğu [[Washington, DC|Washington D.C.'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|Connecticut, Ridgefield'deki]] özel Ridgefield Erkek Okulu'na katıldı.<ref>The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938. See [http://jackfsanders.tripod.com/rschool2.htm The Ridgefield School].</ref> 1920'de Ridgefield'den mezun olduktan sonra Church, istisnai bir öğrenci olduğu [[Princeton Üniversitesi|Princeton Üniversitesi'ne]] girdi. [[Lorentz dönüşümü|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 [[Doktor (akademik derece)|doktora derecesi]] aldı.
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ı.<ref>The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938. See [http://jackfsanders.tripod.com/rschool2.htm The Ridgefield School].</ref> 1920'de Ridgefield'den mezun olduktan sonra Church, istisnai bir öğrenci olduğu [[Princeton Üniversitesi]]'ne girdi. [[Lorentz dönüşümü|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 [[Doktor (akademik derece)|doktora derecesi]] aldı.


1925'te Mary Julia Kuczinski ile evlendi. Çiftin üç çocuğu vardı: Alonzo Church, Jr. (1929), Mary Ann (1933) ve Mildred (1938).
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|Chicago Üniversitesi'nde]] öğretim görevlisi olarak ders verdi.<ref>{{Web kaynağı|url=https://paw.princeton.edu/article/early-history-computing-princeton|başlık=An early history of computing at Princeton|erişimtarihi=2020-04-19|tarih=2012-04-04|dil=en|çalışma=Princeton Alumni Weekly}}</ref> 1927-1928'de [[Harvard Üniversitesi|Harvard Üniversitesi'ne]], ertesi yıl [[Göttingen Üniversitesi|Göttingen]] [[Amsterdam Üniversitesi|Üniversitesi]] ve [[Amsterdam Üniversitesi|Amsterdam Üniversitesi'ne]] katılmasını sağlayan iki yıllık [[Amerika Birleşik Devletleri Fen Bilimleri, Mühendislik ve Tıp Millî Akademileri|Ulusal Araştırma Bursu]] aldı.
Doktora derecesini aldıktan sonra, kısa bir süre [[Chicago Üniversitesi]]'nde öğretim görevlisi olarak ders verdi.<ref>{{Web kaynağı|url=https://paw.princeton.edu/article/early-history-computing-princeton|başlık=An early history of computing at Princeton|erişimtarihi=19 Nisan 2020|tarih=4 Nisan 2012|dil=İngilizce|website=Princeton Alumni Weekly}}</ref> 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 [[Amerika Birleşik Devletleri Fen Bilimleri, Mühendislik ve Tıp Millî Akademileri|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, Los Angeles|Kaliforniya Üniversitesi'nde]] öğretmenlik yaptı. 1962'de Stockholm'de [[Uluslararası Matematikçiler Kongresi|ICM'de]] Genel Konuşmacı olarak görev yaptı.<ref>Church, Alonzo. [http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf "Logic, arithmetic and automata."] {{Webarchive|url=https://web.archive.org/web/20131228050922/http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf|date=2013-12-28}} In ''Proceedings of the International Congress of Mathematicians'', pp. 23–35. 1962.</ref>
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, Los Angeles|Kaliforniya Üniversitesi]]'nde öğretmenlik yaptı. 1962'de Stockholm'de [[Uluslararası Matematikçiler Kongresi|ICM]]'de Genel Konuşmacı olarak görev yaptı.<ref>{{kaynak|soyadı=Church|ad=Alonzo|url=http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf|başlık=Logic, arithmetic and automata|arşivurl=https://web.archive.org/web/20131228050922/http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf|arşivtarihi=28 Aralık 2013|çalışma= Proceedings of the International Congress of Mathematicians|sayfalar=23–35|yıl=1962}}</ref>


Şerefine düzenlenen ve [[John Corcoran (mantıkçı)|John Corcoran]] tarafından organize edilen uluslararası bir sempozyumla bağlantılı olarak, 1969'da [[Case Western Rezerv Üniversitesi|Case Western Reserve Üniversitesi'nden]],<ref>{{Web kaynağı|url=http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm|başlık=Honorary degrees awarded by Case Western Reserve University|erişimtarihi=2012-06-01|arşivtarihi=2013-10-01|arşivurl=https://web.archive.org/web/20131001093739/http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm}}</ref> 1985'te [[Princeton Üniversitesi|Princeton Üniversitesi'nden]]<ref>[https://www.princeton.edu/main/about/facts/honorary/ Honorary degrees awarded by Princeton University] {{webarchive|url=https://web.archive.org/web/20160207011946/http://www.princeton.edu/main/about/facts/honorary/|date=2016-02-07}}</ref> ve [[Buffalo Üniversitesi, New York Eyalet Üniversitesi|New York Eyalet Üniversitesi Buffalo'daki Üniversiteden]] onursal Doktora derecesi aldı.<ref>[http://purl.org/net/findingaids/view?docId=ead/archives/ubar_1216.xml Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990]</ref>
Şerefine düzenlenen ve [[John Corcoran (mantıkçı)|John Corcoran]] tarafından organize edilen uluslararası bir sempozyumla bağlantılı olarak, 1969'da [[Case Western Reserve Üniversitesi]]'nden,<ref>{{Web kaynağı|url=http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm|başlık=Honorary degrees awarded by Case Western Reserve University|erişimtarihi=1 Haziran 2012 | arşivtarihi=1 Ekim 2013 |arşivurl=https://web.archive.org/web/20131001093739/http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm}}</ref> 1985'te [[Princeton Üniversitesi]]'nden<ref>{{web kaynağı|url=https://www.princeton.edu/main/about/facts/honorary/|başlık=Honorary degrees awarded by Princeton University| arşivurl=https://web.archive.org/web/20160207011946/http://www.princeton.edu/main/about/facts/honorary/|arşivtarihi=7 Şubat 2016}}</ref> ve [[Buffalo Üniversitesi, New York Eyalet Üniversitesi]]'nden onursal Doktora derecesi aldı.<ref>{{web kaynağı|arşivurl=https://web.archive.org/web/20131017083756/http://libweb1.lib.buffalo.edu:8080/findingaids/view?docId=ead/archives/ubar_1216.xml|url=http://libweb1.lib.buffalo.edu:8080/findingaids/view?docId=ead/archives/ubar_1216.xml|arşivtarihi=17 Ekim 2013|başlık=Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990}}</ref>


Son derece dindar bir kişi olan Church, [[Presbiteryenlik|Presbiteryen]] kilisesinin ömür boyu üyesidir.<ref>{{Web kaynağı|url=https://www.math.ucla.edu/~hbe/church.pdf|başlık=Introduction Alonzo Church: Life and Work|erişimtarihi=6 June 2012|arşivtarihi=1 September 2012|arşivurl=https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf|sayfa=4|alıntı=A deeply religious person, he was a lifelong member of the Presbyterian church.}}</ref> 1995'te öldü ve [[Princeton Mezarlığı]]'na gömüldü.
Son derece dindar bir kişi olan Church, [[Presbiteryenlik|Presbiteryen]] kilisesinin ömür boyu üyesidir.<ref>{{Web kaynağı|url=https://www.math.ucla.edu/~hbe/church.pdf|başlık=Introduction Alonzo Church: Life and Work|erişimtarihi=6 Haziran 2012|arşivtarihi=1 Eylül 2012|arşivurl=https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf|sayfa=4|alıntı=Son derece dindar bir kişi olarak, Presbiteryen kilisesinin ömür boyu üyesiydi.}}</ref> 1995'te öldü ve [[Princeton Mezarlığı]]'na gömüldü.


== Matematiksel çalışmaları ==
== Matematiksel çalışmaları ==
Church aşağıdaki önemli başarılarla tanınır:
Church aşağıdaki önemli başarılarla tanınır:


* Birinci dereceden matematiksel bir [[Teori (matematiksel mantık)|teoride]] keyfi önermelerin doğruluğunu belirlemek için bir [[Karar problemi|karar prosedürü]] talep eden [[Entscheidungsproblem|Entscheidungsproblem'in]] [[Karar verilemez problem|karar verilemez]] olduğunun kanıtı. Bu, [[Church teoremi]] olarak bilinir.<ref>{{Akademik dergi kaynağı|başlık=An unsolvable problem of elementary number theory|yazarlar=Church|sayı=2|sayfalar=345–363|çalışma=American Journal of Mathematics|yıl=1936|cilt=58|doi=10.2307/2371045}}</ref>
* Birinci dereceden matematiksel bir [[Teori (matematiksel mantık)|teori]]de keyfi önermelerin doğruluğunu belirlemek için bir [[Karar problemi|karar prosedürü]] talep eden [[Entscheidungsproblem]]'in [[Karar verilemez problem|karar verilemez]] olduğunun kanıtı. Bu, [[Church teoremi]] olarak bilinir.<ref>{{Akademik dergi kaynağı|başlık=An unsolvable problem of elementary number theory|ad=A. |soyadı=Church |yazarbağı=Alonzo Church|sayı=2|sayfalar=345–363|dergi=American Journal of Mathematics|yıl=1936|cilt=58|doi=10.2307/2371045}}</ref>
* [[Peano aksiyomları|Peano aritmetiğinin]] karar verilemez olduğunun kanıtı.
* [[Peano aksiyomları|Peano aritmetiğinin]] karar verilemez olduğunun kanıtı.
* [[Church-Turing tezi|Kilise-Turing tezi]] olarak bilinen şeyi dile getirmesi.
* [[Church-Turing tezi]] olarak bilinen şeyi dile getirmesi.
* ''[[Journal of Symbolic Logic|Journal of Symbolic Logic'in]]'' kurucu editörüydü ve gözden geçirme bölümünü 1979'a kadar düzenledi.
* ''[[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|Lambda kalkülüsü]] icat etti.
* [[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|Alan Turing'in]] mekanik yollarla çözülemeyen bir problemin varlığını da gösteren [[Sonlanma problemi|sonlandırma 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 makinesi|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ı.
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 makinesi]]nin 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. <ref>[http://msdl.cs.mcgill.ca/people/levi/30_publications/files/paper_NFM_2017.pdf Just Formal Enough? Automated Analysis of EARS Requirements]</ref>
Spesifikasyonlardan otomatik olarak bir denetleyici uygulaması oluşturma çabaları onun fikirlerinden kaynaklanmaktadır.<ref>{{Akademik dergi kaynağı| soyadı1=Lúcio | ad1=Levi | soyadı2=Rahman | ad2=Salman | soyadı3=Cheng | ad3=Chih-Hong | soyadı4=Mavin | ad4=Alistair | dergi=Lecture Notes in Computer Science | başlık=Just Formal Enough? Automated Analysis of EARS Requirements | yayıncı=Springer International Publishing | yer=Cham | yıl=2017 | isbn=978-3-319-57287-1 | issn=0302-9743 | doi=10.1007/978-3-319-57288-8_31|url=http://msdl.cs.mcgill.ca/people/levi/30_publications/files/paper_NFM_2017.pdf}}</ref>


Lambda kalkülüs, genel olarak [[Lisp|LISP programlama dilinin]] ve [[fonksiyonel programlama]] dillerinin tasarımını etkiledi. [[Church kodlaması]] onun onuruna verilmiştir.
Lambda kalkülüs, genel olarak [[Lisp|LISP programlama dili]]nin 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]]), [[European Association for Theoretical Computer Science|Avrupa Teorik Bilgisayar Bilimi Derneği]] (EATCS), Avrupa Birliği tarafından kurulmuştur. Bilgisayar Bilimleri Mantığı ([[EACSL]]) ve [[Kurt Gödel Derneği]] (KGS). Ö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.<ref>[https://www.eatcs.org/index.php/church-award Alonzo Church Award]</ref> <ref>https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019/</ref>
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]]), [[European Association for Theoretical Computer Science|Avrupa Teorik Bilgisayar Bilimi Derneği]] (EATCS), Avrupa Birliği tarafından kurulmuştur. Bilgisayar Bilimleri Mantığı ([[EACSL]]) ve [[Kurt Gödel Derneği]] (KGS). Ö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.<ref>{{web kaynağı|url=https://www.eatcs.org/index.php/church-award|başlık=Alonzo Church Award|erişimtarihi=25 Ocak 2021}}</ref><ref>{{web kaynağı|url=https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019/|başlık=Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019|erişimtarihi=25 Ocak 2021}}</ref>


== Felsefi çalışmaları ==
== Felsefi çalışmaları ==
{{Alıntı|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ı [[Model mantık|iç boyutlu mantık]] , onu bu yüzyılın en önemli filozofları arasında üst sıralara yerleştirmek için fazlasıyla yeterlidir.}}
{{Alıntı|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ı [[Model mantık|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]]<ref>{{Harv|Anderson|1998}}</ref>}}


== Öğrencileri ==
== Öğrencileri ==
Church'in doktora öğrencilerinin çoğu, aralarında [[C. Anthony Anderson|C.Anthony Anderson]], [[Peter B. Andrews (matematikçi)|Peter B. Andrews]], [[George Alfred Barnard|George A. Barnard]], [[David Berlinski]], [[William Boone (matematikçi)|William W. Boone]], [[Martin Davis (matematikçi)|Martin Davis]], [[Alfred L. Foster]], [[Leon Henkin]], [[John G. Kemeny]], [[Stephen Cole Kleene|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]].<ref>{{Web kaynağı|url=http://genealogy.math.ndsu.nodak.edu/id.php?id=8011|başlık=Mathematics Genealogy Project|erişimtarihi=12 August 2010|arşivtarihi=4 August 2010|arşivurl=https://web.archive.org/web/20100804125134/http://www.genealogy.math.ndsu.nodak.edu/id.php?id=8011}}</ref> Churc'un öğrencilerinin daha eksiksiz bir listesi [http://genealogy.math.ndsu.nodak.edu/id.php?id=8011 Matematik Şecere Projesi] aracılığıyla edinilebilir.
Church'in doktora öğrencilerinin çoğu, aralarında [[C. Anthony Anderson|C.Anthony Anderson]], [[Peter B. Andrews (matematikçi)|Peter B. Andrews]], [[George Alfred Barnard|George A. Barnard]], [[David Berlinski]], [[William Boone (matematikçi)|William W. Boone]], [[Martin Davis (matematikçi)|Martin Davis]], [[Alfred L. Foster]], [[Leon Henkin]], [[John G. Kemeny]], [[Stephen Cole Kleene|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]].<ref>{{Web kaynağı|url=http://genealogy.math.ndsu.nodak.edu/id.php?id=8011|başlık=Mathematics Genealogy Project|erişimtarihi=12 Ağustos 2010|arşivtarihi=4 Ağustos 2010 | arşivurl=https://web.archive.org/web/20100804125134/http://www.genealogy.math.ndsu.nodak.edu/id.php?id=8011}}</ref> Church'un öğrencilerinin daha eksiksiz bir listesi [http://genealogy.math.ndsu.nodak.edu/id.php?id=8011 Matematik Şecere Projesi] aracılığıyla edinilebilir.


== Kitapları ==
== Kitapları ==
* Alonzo Church, ''Introduction to Mathematical Logic'' ({{ISBN|978-0-691-02906-1}})<ref>{{Akademik dergi kaynağı|yazar=Henkin, Leon|başlık=Review: ''Introduction to Mathematical Logic'' by Alonzo Church|dergi=Bull. Amer. Math. Soc.|yıl=1957|cilt=63|sayı=5|sayfalar=320–323|url=http://www.ams.org/bull/1957-63-05/S0002-9904-1957-10129-3/S0002-9904-1957-10129-3.pdf|doi=10.1090/s0002-9904-1957-10129-3}}</ref> (''Matematiksel Mantığa Giriş'')

* Alonzo Kilisesi, ''Matematiksel Mantığa Giriş'' ({{ISBN|978-0-691-02906-1}} ) <ref>{{Akademik dergi kaynağı|url=http://www.ams.org/bull/1957-63-05/S0002-9904-1957-10129-3/S0002-9904-1957-10129-3.pdf|başlık=Review: ''Introduction to Mathematical Logic'' by Alonzo Church|yazarlar=Henkin, Leon|sayı=5|sayfalar=320–323|çalışma=Bull. Amer. Math. Soc.|yıl=1957|cilt=63|doi=10.1090/s0002-9904-1957-10129-3}}</ref>
* Alonzo Church, ''The Calculi of Lambda-Conversion'' ({{ISBN|978-0-691-08394-0}})<ref>{{Akademik dergi kaynağı|yazarbağı=Orrin Frink|yazar=Frink Jr., Orrin|başlık=Review: ''The Calculi of Lambda-Conversion'' by Alonzo Church|dergi=Bull. Amer. Math. Soc.|yıl=1944|cilt=50|sayı=3|sayfalar=169–172|url=http://www.ams.org/bull/1944-50-03/S0002-9904-1944-08090-7/S0002-9904-1944-08090-7.pdf|doi=10.1090/s0002-9904-1944-08090-7}}</ref>
* Alonzo Church, ''A Bibliography of Symbolic Logic, 1666–1935'' ({{ISBN|978-0-8218-0084-3}}) (''Sembolik Mantığın Bir Bibliyografyası, 1666–1935'')
* Alonzo Kilisesi, ''Lambda Dönüşümü Kalkülü'' ({{ISBN|978-0-691-08394-0}} ) <ref>{{Akademik dergi kaynağı|url=http://www.ams.org/bull/1944-50-03/S0002-9904-1944-08090-7/S0002-9904-1944-08090-7.pdf|başlık=Review: ''The Calculi of Lambda-Conversion'' by Alonzo Church|yazarlar=Frink Jr., Orrin|sayı=3|sayfalar=169–172|çalışma=Bull. Amer. Math. Soc.|yıl=1944|cilt=50|doi=10.1090/s0002-9904-1944-08090-7}}</ref>
* C. Anthony Anderson and Michael Zelëny, (eds.), ''Logic, Meaning and Computation: Essays in Memory of Alonzo Church'' ({{ISBN|978-1-4020-0141-3}}) (''Mantık, Anlam ve Hesaplama: Alonzo Church Anısına Yazılar'')
* Alonzo Kilisesi, ''Sembolik Mantığın Bir Bibliyografyası, 1666–1935'' ({{ISBN|978-0-8218-0084-3}} )
* C. Anthony Anderson ve Michael Zelëny, (ed. ), ''Mantık, Anlam ve Hesaplama: Alonzo Kilisesi Anısına Yazılar'' ({{ISBN|978-1-4020-0141-3}} )


== Ayrıca bakınız ==
== Ayrıca bakınız ==
<nowiki>{{</nowiki>

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


== Notlar ==
== Notlar ==
{{Kaynakça}}
{{Kaynakça|2}}


== Kaynakça ==
== Kaynakça ==
* [[Herbert Enderton|Enderton, Herbert B.]], [https://web.archive.org/web/20120901152639/https://www.math.ucla.edu/~hbe/church.pdf Alonzo Church: Life and Work]. Introduction to the ''Collected Works of Alonzo Church'', MIT Press, not yet published.

* [[Herbert Enderton|Enderton, Herbert B.]], [https://web.archive.org/web/20120901152639/https://www.math.ucla.edu/~hbe/church.pdf Alonzo Church: Yaşam ve Çalışma] . ''Alonzo Kilisesi Toplu Eserlerine'' Giriş, MIT Press, henüz yayınlanmadı.
* Enderton, Herbert B., [https://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps In memoriam: Alonzo Church], ''The Bulletin of Symbolic Logic'', vol. 1, no. 4 (Dec. 1995), pp.&nbsp;486–488.
* Enderton, Herbert B., [https://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps Memoriam: Alonzo Church], ''The Bulletin of Symbolic Logic'', cilt. 1, hayır. 4 (Aralık 1995), s.&nbsp;486–488.
* Wade, Nicholas, [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] (obituary), ''The New York Times'', September 5, 1995, p. B6.
* Wade, Nicholas, [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] (ölüm ilanı), ''The New York Times'', 5 Eylül 1995, s. B6.
* [[Wilfred Hodges|Hodges, Wilfred]], [https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html Obituary: Alonzo Church], ''The Independent (London)'', September 14, 1995.
⚫
* [https://web.archive.org/web/20150310080250/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm Alonzo Church] interviewed by William Aspray on 17 May 1984. ''The Princeton Mathematics Community in the 1930s: An Oral-History Project'', transcript number 5.
⚫
* [[Wilfred Hodges|Hodges, Wilfred]], [https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html Ölüm ilanı: Alonzo Church], ''The Independent (Londra)'', 14 Eylül 1995.
⚫
* [[Gian-Carlo Rota|Rota, Gian-Carlo]], [http://www.ams.org/samplings/math-history/hmath2-prince.pdf 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, pp.&nbsp;223–226. Also available [https://web.archive.org/web/20150310024937/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm here].
⚫
* [https://web.archive.org/web/20150310080250/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm Alonzo Church] William Aspray ile 17 Mayıs 1984'te röportaj yaptı. ''1930'larda Princeton Matematik Topluluğu: Bir Sözlü Tarih Projesi'', 5 numaralı transkript.
⚫
* {{cite journal|title=On Carnap's Analysis of Statements of Assertion and Belief|journal=The Journal of Symbolic Logic|year=1950|volume=10|issue=5|pages=97–99|doi=10.2307/3326684|last1=Church|first1=A.|jstor=3326684}}
⚫
* [[Gian-Carlo Rota|Rota, Gian-Carlo]], [http://www.ams.org/samplings/math-history/hmath2-prince.pdf Altın Çağında Güzel Salon: Ellili yılların başındaki Princeton'un Hatıraları] . In ''A Century of Mathematics in America, Part II'', editör Peter Duren, AMS History of Mathematics, cilt 2, American Mathematical Society, 1989, s.&nbsp;223–226. Ayrıca [https://web.archive.org/web/20150310024937/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm burada] mevcuttur.
* {{Cite journal|first = C. Anthony |last=Anderson|title = Alonzo Church's contributions to philosophy and Intensional Logic|journal = The Bulletin of Symbolic Logic |volume = 4 |issue = 2 |pages = 129–171 |year = 1998|citeseerx=10.1.1.26.7389|jstor=421020|doi = 10.2307/421020 }}
⚫
* {{Akademik dergi kaynağı|başlık=On Carnap's Analysis of Statements of Assertion and Belief|yazarlar=Church|sayı=5|sayfalar=97–99|çalışma=The Journal of Symbolic Logic|yıl=1950|cilt=10|doi=10.2307/3326684}}
* {{Akademik dergi kaynağı|başlık=Alonzo Church's contributions to philosophy and Intensional Logic|yazarlar=Anderson|sayı=2|sayfalar=129–171|çalışma=The Bulletin of Symbolic Logic|yıl=1998|cilt=4|doi=10.2307/421020}}


== Dış bağlantılar ==
== Dış bağlantılar ==
⚫
* {{MacTutor Biography|id=Church}}
* Princeton University Library, Manuscripts Division, [http://arks.princeton.edu/ark:/88435/fx719m49m The Alonzo Church Papers, 1924–1995: finding aid.] (Princeton Üniversitesi Kütüphanesi, El Yazmaları Bölümü Alonzo Church Makaleleri, 1924–1995)
⚫
* [http://johnmacfarlane.net/church.html A bibliography of Church's reviews for The Journal of Symbolic Logic, with a link to each] (The Journal of Symbolic Logic dergisi için Church'un incelemelerinin her birine bağlantı içeren bir kaynakça)
⚫
* {{Find a Grave|7076221}}
⚫
*''[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]'' [[The New York Times|New York Times]] obituary (Alonzo Church, 92, Matematiğin Sınırları Teorisyeni New York Times ölüm ilanı)
⚫
*''[https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html OBITUARY: Alonzo Church]'' from [[The Independent]]
⚫
*''[https://projecteuclid.org/euclid.rml/1204835575 In memoriam: Alonzo Church (1903–1995)]'' by 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]'' by H. B. Enderton, ''[[The Bulletin of Symbolic Logic]]'' Vol. 1, No.5 (1995).


{{Otorite kontrolü}}
⚫
* {{MacTutor|id=Church}}

* Princeton Üniversitesi Kütüphanesi, El Yazmaları Bölümü, [http://arks.princeton.edu/ark:/88435/fx719m49m Alonzo Church Belgeleri, 1924–1995: yardım bulmak.]
{{DEFAULTSORT:Church, Alonzo}}
⚫
* [http://johnmacfarlane.net/church.html The Journal of Symbolic Logic için Church'un incelemelerinin her birine bir bağlantı içeren bir kaynakça]
⚫
[[Kategori:1903 doğumlular]]
⚫
* {{Find a Grave|7076221}}
⚫
[[Kategori:1995 yılında ölenler]]
⚫
* ''[https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html Alonzo Church, 92, Matematiğin Sınırları Teorisyeni]'' [[The New York Times|New York Times]] ölüm ilanı
* ''[https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html OBITUARY:]'' [[The Independent|The Independent'tan]] ''[https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html Alonzo Church]''
⚫
* ''[https://projecteuclid.org/euclid.rml/1204835575 Anısına: Alonzo Church (1903–1995)]'', Irving H. Anellis, ''Modern Logic'' Cilt. 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 Anısına: Alonzo Church 1903–1995]'', H. B. Enderton, ''[[Sembolik Mantık Bülteni|The Bulletin of Symbolic Logic]]'' Vol. 1, No. 5 (1995).
[[Kategori:20. yüzyıl Amerikalı filozofları]]
[[Kategori:20. yüzyıl Amerikalı filozofları]]
⚫
[[Kategori:20. yüzyıl Amerikalı matematikçileri]]
[[Kategori:Amerikalı Presbiteryenler]]
[[Kategori:Amerikalı mantıkçılar]]
⚫
[[Kategori:Harvard Üniversitesi'nde öğrenim görenler]]
⚫
[[Kategori:Kaliforniya Üniversitesi, Los Angeles öğretim üyeleri]]
[[Kategori:New Jersey'de defnedilenler]]
[[Kategori:Princeton Mezarlığı'na defnedilenler]]
[[Kategori:Princeton Mezarlığı'na defnedilenler]]
⚫
[[Kategori:Kaliforniya Üniversitesi, Los Angeles öğretim üyeleri]]
[[Kategori:Princeton Üniversitesi öğretim üyeleri]]
[[Kategori:Princeton Üniversitesi öğretim üyeleri]]
⚫
[[Kategori:Harvard Üniversitesi'nde öğrenim görenler]]
[[Kategori:Princeton Üniversitesi'nde öğrenim görenler]]
[[Kategori:Princeton Üniversitesi'nde öğrenim görenler]]
[[Kategori:Amerikalı Presbiteryenler]]
[[Kategori:Resim aranan kişiler]]
[[Kategori:Amerikalı mantıkçılar]]
[[Kategori:Washington (eyalet) doğumlu bilim insanları]]
⚫
[[Kategori:20. yüzyıl Amerikalı matematikçileri]]
⚫
[[Kategori:1995 yılında ölenler]]
⚫
[[Kategori:1903 doğumlular]]
[[Kategori:İncelenmemiş çeviri içeren sayfalar]]

Sayfanın 19.01, 25 Ocak 2021 tarihindeki hâli

Alonzo Church
Doğum14 Haziran 1903(1903-06-14)
Washington, ABD
Ölüm11 Ağustos 1995 (92 yaşında)
Hudson, Ohio, ABD
Defin yeriPrinceton Mezarlığı
40°21′14.8″K 74°39′34.1″B / 40.354111°K 74.659472°B / 40.354111; -74.659472
VatandaşlıkAmerikalı
EğitimHarward Üniversitesi (1927-28), Princeton Üniversitesi (1920), Göttingen Üniversitesi (1928), Amsterdam Üniversitesi (1929)
Mezun olduğu okul(lar)Princeton University
Tanınma nedeni
EvlilikMary 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ığı kurumPrinceton Üniversitesi (1929-67)
UCLA (1967-90)
TezAlternatives to Zermelo's Assumption (1927)
Doktora
danışmanı		Oswald Veblen
Doktora öğ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 Kilisesi (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:

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 tarafından kurulmuştur. Bilgisayar Bilimleri Mantığı (EACSL) ve Kurt Gödel Derneği (KGS). Ö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 aracılığıyla edinilebilir.

Kitapları

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

Ayrıca bakınız

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.
  4. ^ "An early history of computing at Princeton". Princeton Alumni Weekly (İngilizce). 4 Nisan 2012. 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. 
  12. ^ "Alonzo Church Award". Erişim tarihi: 25 Ocak 2021. 
  13. ^ "Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019". 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

Dış bağlantılar

"https://tr.wikipedia.org/w/index.php?title=Alonzo_Church&oldid=24730719" sayfasından alınmıştır