Alonzo Church
Alonzo Church sebuah prinsip yang dirumuskan oleh ahli logika Amerika abad ke-20, Alonzo Church, yang menyatakan bahwa fungsi rekursif adalah satu-satunya fungsi yang dapat dihitung secara mekanis. Teorema tersebut menyiratkan bahwa prosedur aritmatika tidak dapat digunakan untuk menentukan konsistensi pernyataan yang dirumuskan sesuai dengan hukum aritmatika.[1]
Algoritma
Algoritma , prosedur sistematis yang menghasilkan—dalam sejumlah langkah terbatas—jawaban atas sebuah pertanyaan atau solusi suatu masalah. Nama ini berasal dari terjemahan Latin, Algoritmi de numero Indorum, dari risalah aritmatika matematikawan Muslim abad ke-9 al-Khwarizmi “Al-Khawarizmi Tentang Seni Hisab Hindu.” Untuk pertanyaan atau masalah yang hanya memiliki sekumpulan kasus atau nilai terbatas, suatu algoritma selalu ada (setidaknya secara prinsip); itu terdiri dari tabel nilai jawaban.[2]
Referensi
- ^ "Church's thesis | Computability, Algorithms & Logic | Britannica". www.britannica.com (dalam bahasa Inggris). Diakses tanggal 2024-02-17.
- ^ "Algorithm | Definition, Types, & Facts | Britannica". www.britannica.com (dalam bahasa Inggris). 2024-01-14. Diakses tanggal 2024-02-17.