Sebagian besar tutorial tentang Lambda Calculus memberikan contoh di mana Integer Positif dan Boolean dapat diwakili oleh Fungsi. Bagaimana dengan -1 dan
Seorang siswa baru-baru ini meminta saya untuk memeriksa bukti kekerasan NP untuk mereka. Mereka melakukan pengurangan sepanjang garis: Saya mengurangi masalah ini P′P′P' yang dikenal sebagai NP-lengkap untuk masalah saya PPP (dengan banyak-satu pengurangan poli-waktu), jadi PPP adalah...
Bagaimana bisa diputuskan apakah memiliki beberapa urutan digit? ππ\pimengilhami saya untuk bertanya apakah variasi yang tampak tidak bersalah berikut ini dapat dihitung: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation...
Titik mengambang saat ini (ANSI C float, dobel) memungkinkan untuk mewakili perkiraan bilangan real. Apakah ada cara untuk merepresentasikan bilangan real tanpa kesalahan ? Inilah ide yang saya miliki, yang sama sekali tidak sempurna. Misalnya, 1/3 adalah 0,33333333 ... (basis 10) atau...
Apakah "teorema Padi untuk real yang dapat dihitung" - yaitu, tidak ada properti nontrivial dari angka yang diwakili oleh real komputer yang diberikan yang dapat ditentukan - benar? Apakah ini sesuai dengan beberapa cara langsung dengan keterhubungan
COQ adalah prover teorema interaktif yang menggunakan kalkulus konstruksi induktif, yaitu sangat bergantung pada tipe induktif. Dengan menggunakan itu, struktur diskrit seperti bilangan asli, bilangan rasional, grafik, tata bahasa, semantik, dll terwakili dengan sangat ringkas. Namun, karena saya...