Pertanyaan yang diberi tag «philosophy»

Hanya ingin tahu, jika perhitungan klasik adalah tentang permutasi matriks dan komputasi kuantum adalah tentang matriks kesatuan (dari mana matriks permutasi adalah subkelompok), maka akankah ada paradigma perhitungan di luar matriks kesatuan?

18 quantum-computing  philosophy 

Banyak publikasi ilmu komputer dari tahun 1950-an dan 1960-an mengandung spekulasi filosofis yang menarik tentang sifat pikiran dan makna informasi dalam kaitannya dengan dunia fisik. Contoh terkenal adalah "Turing Test", Zuse's "Menghitung Ruang", Wheeler's "itu dari bit" dll. Dewasa ini tema-tema semacam itu banyak dibahas dalam buku-buku sains populer, tetapi …

16 reference-request  soft-question  philosophy 

Saya menemukan beberapa buku tentang komputer, tetapi semuanya tentang teknologi. Saya ingin sesuatu yang lebih terkait dengan teori.

15 reference-request  soft-question  philosophy 

Saya sudah lama bertanya-tanya tentang asal-usul nama "kebal" dan "sederhana". Saya juga mengajukan pertanyaan yang sama kepada Andrea Sorbi, yang pada gilirannya melibatkan beberapa rekan kerja lagi dalam diskusi. Tentang "sederhana" kami memiliki beberapa dugaan. Martin Davis mengemukakan bahwa namanya berasal dari analogi dengan kelompok-kelompok sederhana. Grup sederhana tidak memiliki …

8 reference-request  lo.logic  computability  philosophy 

[Sunting 21 Juli 2011: Saya mengedit pertanyaan untuk meminta lebih banyak contoh] Pertanyaan ini meminta diskusi terdokumentasi atau lebih banyak contoh pengamatan heuristik. Beberapa masalah matematika yang mengakui algoritma yang efisien tampaknya cembung di alam. Saya sedang memikirkan program linier dan semi-pasti dan berbagai masalah kombinatorial yang mengurangi ini. Pertama, …

8 ds.algorithms  convex-optimization  philosophy