Alonzo Church

matematikawan dan ahli logika Amerika Serikat (1903-1995)
Revisi sejak 17 Februari 2024 04.50 oleh Adelline3 (bicara | kontrib)

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.[1]

Biografi

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.[2]

Pekerjaan Matematika

Buktinya bahwa masalah Entscheidung, yang meminta prosedur pengambilan keputusan untuk menentukan kebenaran proposisi arbitrer dalam teori matematika orde pertama, tidak dapat diputuskan. Hal ini dikenal sebagai teorema Gereja.[3] Penemuannya tentang kalkulus lambda. Penggunaan kalkulus lambda untuk membuktikan bahwa aritmatika Peano tidak dapat ditentukan.[4]

Teori automata , kumpulan prinsip fisik dan logika yang mendasari pengoperasian perangkat elektromekanis (robot) yang mengubah informasi dari satu bentuk ke bentuk lain menurut prosedur tertentu. Automata nyata atau hipotetis dengan kompleksitas yang berbeda-beda telah menjadi alat yang sangat diperlukan untuk penyelidikan dan implementasi sistem yang memiliki struktur yang dapat dianalisis secara matematis.

Referensi

  1. ^ "Church's thesis | Computability, Algorithms & Logic | Britannica". www.britannica.com (dalam bahasa Inggris). Diakses tanggal 2024-02-17. 
  2. ^ "Church's thesis | Computability, Algorithms & Logic | Britannica". www.britannica.com (dalam bahasa Inggris). Diakses tanggal 2024-02-17. 
  3. ^ "Alonzo Church". Wikipedia (dalam bahasa Inggris). 2024-02-13. 
  4. ^ "Alonzo Church". Wikipedia (dalam bahasa Inggris). 2024-02-13.