undecidable
/ˌʌndɪˈsaɪdəbəl/
🇬🇧Bahasa InggrisMatematikaIlmu KomputerLogikaNetral
Ringkasan Makna
Menjelaskan suatu masalah dalam matematika atau ilmu komputer yang tidak memiliki algoritma yang selalu dapat memberikan jawaban benar atau salah.
Penjelasan & Konteks Penggunaan
Dalam teori komputabilitas dan logika matematika, masalah yang 'undecidable' (tidak dapat diputuskan) adalah masalah keputusan yang terbukti tidak mungkin diselesaikan oleh mesin Turing atau algoritma umum mana pun yang selalu berhenti dengan jawaban 'ya' atau 'tidak' untuk setiap masukan yang valid. Contoh paling terkenal adalah Masalah Pemberhentian (Halting Problem) yang dibuktikan oleh Alan Turing.
Contoh Penggunaan dalam Kalimat
“The halting problem is a famous example of an undecidable problem in computer science.”
→Masalah pemberhentian adalah contoh terkenal dari masalah yang tidak dapat diputuskan dalam ilmu komputer.
“Alan Turing proved that certain mathematical questions are fundamentally undecidable.”
→Alan Turing membuktikan bahwa pertanyaan matematika tertentu pada dasarnya tidak dapat diputuskan.
Asal-usul & Konteks Budaya
Istilah ini berakar dari logika matematika abad ke-20 dan karya pionir Alan Turing mengenai mesin Turing dan teori komputabilitas pada tahun 1936.