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
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...
Saya menemukan beberapa buku tentang komputer, tetapi semuanya tentang teknologi. Saya ingin sesuatu yang lebih terkait dengan
[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...
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...