Quine's Paradox

← paradoks.kyo.fyi

W.V.O. Quine menciptakan konstruksi: ambil frasa F = "menghasilkan kalimat salah jika disisipkan setelah tanda kutipnya sendiri". Gabungkan: "'menghasilkan kalimat salah jika disisipkan setelah tanda kutipnya sendiri' menghasilkan kalimat salah jika disisipkan setelah tanda kutipnya sendiri." Kalimat ini menyatakan dirinya salah — persis Liar Paradox, tapi dibangun tanpa kata "ini" atau self-reference eksplisit.

Teknik Quine ini (quining) menjadi alat penting dalam logika dan ilmu komputer: cara membuat program yang mencetak kode sumbernya sendiri (quine program dalam pemrograman) menggunakan prinsip yang sama.

← Kembali ke Daftar Paradoks