Pertanyaan yang diberi tag «computability»

Apakah ada bahasa pemrograman (fungsional?) Di mana semua fungsi memiliki bentuk kanonik? Yaitu, setiap dua fungsi yang mengembalikan nilai yang sama untuk semua rangkaian input direpresentasikan dengan cara yang sama, misalnya jika f (x) mengembalikan x + 1, dan g (x) mengembalikan x + 2, maka f (f (x) )) …

29 computability  pl.programming-languages  functional-programming  function 

Diketahui bahwa dengan seperangkat algoritma yang dapat dihitung (dicirikan oleh nomor Gödel), kita tidak dapat menghitung (membangun algoritma biner yang memeriksa kepemilikan) semua himpunan bagian dari N. Sebuah bukti dapat diringkas sebagai: jika kita bisa, maka himpunan semua himpunan bagian N akan dihitung (kita dapat mengasosiasikan ke setiap subset jumlah …

29 computability  halting-problem 

Komputer yang diberi aliran tak terbatas dari bit yang benar-benar acak lebih kuat daripada komputer tanpa itu. Pertanyaannya adalah: apakah ini cukup kuat untuk menyelesaikan masalah penghentian? Artinya, dapatkah komputer probabilistik menentukan apakah suatu program deterministik berhenti atau tidak ? Contoh komputer probabilistik yang melakukan sesuatu yang deterministik tidak dapat: …

29 computability  randomness  turing-machines 

Dalam artikel wikipedia ini tentang Turing Completeness disebutkan bahwa: Kalkulus lambda yang tidak diketik adalah Turing lengkap, tetapi banyak kalkulus lambda yang diketik, termasuk Sistem F, tidak. Nilai dari sistem yang diketik didasarkan pada kemampuan mereka untuk mewakili sebagian besar program komputer sambil mendeteksi lebih banyak kesalahan. Apa contoh dari …

28 computability  turing-machines  haskell 

Jika kita membaca buku (atau versi lain dari spesifikasi bahasa jika Anda mau), berapa banyak daya komputasi yang dapat dimiliki oleh implementasi C? Perhatikan bahwa "implementasi C" memiliki arti teknis: itu adalah contoh khusus dari spesifikasi bahasa pemrograman C di mana perilaku yang ditentukan implementasi didokumentasikan. Implementasi AC tidak harus …

28 computability  turing-machines  pl.programming-languages  recreational 

Ini mungkin pertanyaan dasar, tapi saya sudah membaca dan mencoba memahami makalah tentang mata pelajaran seperti perhitungan ekuilibrium Nash dan pengujian degenerasi linier dan tidak yakin bagaimana bilangan real ditentukan sebagai input. Misalnya, ketika dinyatakan bahwa LDT memiliki batas polinomial tertentu lebih rendah, bagaimana bilangan real ditentukan ketika mereka diperlakukan …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Saya baru-baru ini membaca beberapa ide dan sejarah dari pekerjaan inovatif yang dilakukan oleh berbagai ahli logika dan ahli matematika mengenai kemampuan komputasi. Sementara konsep-konsep individual cukup jelas bagi saya, saya sedang mencoba untuk memahami dengan kuat hubungan antar-hubungan di sana dan tingkat abstrak di mana mereka semua terkait. Kita …

27 lo.logic  computability  turing-machines 

Saya tidak bisa memikirkan model seperti itu, mungkin semacam kalkulus lambda yang diketik? beberapa otomat seluler dasar? Ini hampir akan menyangkal "Prinsip Kesetaraan Komputasi" dari Wolfram: Hampir semua proses yang tidak sederhana dapat dilihat sebagai perhitungan kecanggihan yang setara

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

Masalah Berhenti menyatakan bahwa tidak mungkin untuk menulis program yang dapat menentukan apakah program lain berhenti, untuk semua program input yang mungkin . Saya dapat, bagaimanapun, tentu saja menulis sebuah program yang dapat menghitung waktu berjalan dari program seperti: for(i=0; i<N; i++) { x = 1; } dan mengembalikan kompleksitas …

23 computability  time-complexity  formal-methods  se.software-engineering 

Saya sedang membaca makalah Andrej Bauer Langkah Pertama dalam Teori Komputasi Sintetis . Dalam kesimpulan dia mencatat itu Aksiomasiisasi kami memiliki batas: tidak dapat membuktikan hasil apa pun dalam teori komputabilitas yang gagal dikaitkan dengan perhitungan oracle. Ini karena teori dapat ditafsirkan dalam varian topos efektif yang dibangun dari fungsi …

22 computability  relativization 

Karena itu tidak memungkinkan perhitungan nonterminating, Coq tentu tidak Turing-lengkap. Apa kelas fungsi yang dapat dihitung Coq? (Adakah karakterisasi yang menarik darinya?)

22 computability  pl.programming-languages  coq 

Sebuah tensor adalah generalisasi dari vektor dan matriks untuk dimensi yang lebih tinggi dan peringkat dari tensor juga generalizes pangkat matriks. Yakni, peringkat dari tensor adalah jumlah minimal peringkat satu tensor bahwa jumlah untuk T . Vektor dan matriks masing-masing adalah tensor derajat 1 dan 2.TTTTTT Unsur-unsur di berasal dari …

22 ds.algorithms  reference-request  computability  tensor-rank 

Saya mengalami kesulitan mengajarkan konsep fungsi yang dapat dihitung. Saya mencoba mengembangkan ide mengapa para peneliti seperti Hilbert / Ackermann / Godel / Turing / Church / ... menciptakan gagasan 'kemampuan komputasi'. Para siswa segera bertanya: "apa artinya komputasi?" dan saya tidak bisa menjawab kecuali saya mengajari mereka mesin Turing, …

22 soft-question  computability  turing-machines  teaching 

Sebagai contoh, dalam bahasa pemrograman adalah umum untuk menulis kompiler / juru bahasa X-in-X, tetapi pada tingkat yang lebih umum banyak sistem Turing-complete yang dikenal dapat mensimulasikan diri mereka dengan cara yang mengesankan (misalnya mensimulasikan Game of Life Conway dalam Game of Life Conway ). Jadi pertanyaan saya adalah: apakah …

20 computability  automata-theory  turing-machines 

Membaca beberapa utas baru-baru ini tentang komputasi kuantum (di sini , di sini , dan di sini ), membuat saya ingat pertanyaan menarik tentang kekuatan beberapa jenis mesin pelestarian .ℓhalℓp\ell_p Bagi orang yang bekerja dalam teori kompleksitas menuju kompleksitas kuantum, teks pengantar yang bagus adalah makalah Fortnow yang tautannya diposting …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms