nonkomputabel
/non.kom.pu.ta.bɛl/
🇮🇩Bahasa IndonesiaMatematikaIlmu KomputerLogikaNetral
Ringkasan Makna
Sifat suatu masalah yang tidak dapat diselesaikan oleh algoritma atau mesin komputasi apa pun.
Penjelasan & Konteks Penggunaan
Dalam teori komputabilitas, nonkomputabel merujuk pada masalah keputusan atau fungsi yang tidak memiliki solusi algoritmik. Artinya, tidak ada program komputer yang dapat menghasilkan jawaban yang benar untuk semua input dalam waktu yang terbatas. Contoh klasik dari masalah ini adalah 'Masalah Berhenti' (Halting Problem) yang dibuktikan oleh Alan Turing.
Contoh Penggunaan dalam Kalimat
“Masalah berhenti merupakan salah satu contoh masalah yang bersifat nonkomputabel dalam teori komputasi.”
→The halting problem is one example of a noncomputable problem in computation theory.
“Beberapa fungsi matematika terbukti nonkomputabel karena tidak ada prosedur mekanis yang dapat menghitung nilainya.”
→Some mathematical functions are proven to be noncomputable because there is no mechanical procedure that can calculate their values.
Asal-usul & Konteks Budaya
Istilah ini berasal dari serapan bahasa Inggris 'noncomputable', yang berakar dari bahasa Latin 'computare' (menghitung) dengan awalan 'non-' (tidak). Istilah ini menjadi fondasi penting dalam logika matematika sejak abad ke-20 melalui karya Alan Turing dan Kurt Gödel.