Alonzo Church: Perbedaan antara revisi

'''Alonzo Church''' (lahir 14 Juni 1903, Washington, D.C., AS—meninggal 11 Agustus 1995, Hudson, Ohio), ahli matematika AS. Ia memperoleh gelar Ph.D. dari Universitas Princeton. Kontribusinya terhadap teori bilangan dan teori algoritma serta komputasi meletakkan dasar-dasar ilmu komputer. Aturan yang dikenal sebagai teorema Church atau tesis Church (diusulkan secara independen oleh Alan M. Turing) menyatakan bahwa hanya fungsi rekursif yang dapat dihitung secara mekanis dan menyiratkan bahwa prosedur aritmatika tidak dapat digunakan untuk menentukan konsistensi pernyataan yang dirumuskan sesuai dengan hukum aritmatika. Dia menulis buku teks standar Pengantar Logika Matematika (1956) dan membantu mendirikan Jurnal Logika Simbolik, yang dia edit hingga tahun 1979.<ref name=":0">{{Cite web|title=Church’s thesis {{!}} Computability, Algorithms & Logic {{!}} Britannica|url=https://www.britannica.com/science/Churchs-thesis|website=www.britannica.com|language=en|access-date=2024-02-17}}</ref>

'''Alonzo Church''' adalah ahli matematika AS. Ia memperoleh gelar Ph.D. dari Universitas Princeton. Kontribusinya terhadap teori bilangan dan teori algoritma serta komputasi meletakkan dasar-dasar ilmu komputer. Aturan yang dikenal sebagai teorema Church atau tesis Church (diusulkan secara independen oleh Alan M. Turing) menyatakan bahwa hanya fungsi rekursif yang dapat dihitung secara mekanis dan menyiratkan bahwa prosedur aritmatika tidak dapat digunakan untuk menentukan konsistensi pernyataan yang dirumuskan sesuai dengan hukum aritmatika. Dia menulis buku teks standar Pengantar Logika Matematika (1956) dan membantu mendirikan Jurnal Logika Simbolik, yang dia edit hingga tahun 1979.<ref>{{Cite web|titlename=Church’s":0" thesis {{!}} Computability, Algorithms & Logic {{!}} Britannica|url=https://www.britannica.com/science/Churchs-thesis|website=www.britannica.com|language=en|access-date=2024-02-17}}</ref>