Percobaan 3

Apa yang terjadi jika NCEK diberi input dirinya sendiri? Seolah-olah kita memberikan robot NCEK memeriksa bayangan cerminnya sendiri.

a1c-pemikiran-godel-turing-media-image74-png

Apa yang akan dikatakan oleh NCEK?

Jika dirinya akan hang, berarti ia harus mengatakan, “akan hang,” yang berarti ia tidak hang.
Jika dirinya tidak akan hang, berarti ia harus hang.

NCEK tidak akan sanggup memutuskan apa yang harus ia lakukan, karena jika ia akan hang, ia tidak boleh hang. Karena tidak boleh hang, berarti ia harus hang. Tetapi karena harus hang, ia tidak boleh hang. Dan seterusnya.

Sekarang kita akan kembali pada pertanyaan ini: Adakah persoalan yang tak dapat dijawab oleh komputer?

NCEK sudah menunjukkan kepada kita bahwa tidak semua hal dapat dilakukan oleh komputer. Ternyata tidak semua persoalan dapat dijawab oleh komputer. Karena inti dari komputer adalah proses komputasi, permasalahan yang dapat dikerjakan oleh komputer disebut permasalahan yang komputabel, dan yang tidak dapat dikerjakan oleh komputer disebut sebagai non-komputabel.

Proof That Computers Can’t Do Everything (The Halting Problem) - udiprod

Impossible Program (The Halting Problem) - Undefined Behavior

Berikutnya: Apakah permasalahan ini hanya untuk komputer?