Perguntas com a marcação «philosophy»

Por curiosidade, se a computação clássica é sobre matrizes de permutação e a computação quântica é sobre matrizes unitárias (das quais as matrizes de permutação são um subgrupo), haverá algum paradigma de computação além das matrizes unitárias?

18 quantum-computing  philosophy 

Muitas publicações de ciência da computação das décadas de 1950 e 1960 contêm especulações filosóficas fascinantes sobre a natureza da mente e o significado da informação em relação ao mundo físico. Exemplos famosos são o "Teste de Turing", o "Calculating Space" de Zuse, o Wheeler "from bit" etc. Hoje, esses …

16 reference-request  soft-question  philosophy 

Encontro alguns livros sobre computadores, mas todos são sobre tecnologia. Eu quero algo mais ligado à teoria.

15 reference-request  soft-question  philosophy 

Eu estive pensando por um tempo sobre a origem dos nomes "imune" e "simples". Também fiz a mesma pergunta a Andrea Sorbi, que por sua vez envolveu mais alguns colegas na discussão. Sobre "simples", temos algumas conjecturas. Martin Davis sugere que o nome deriva de uma analogia com grupos simples. …

8 reference-request  lo.logic  computability  philosophy 

[Editar em 21 de julho de 2011: editei a pergunta para pedir mais exemplos] Esta pergunta está solicitando uma discussão documentada de ou mais exemplos de uma observação heurística. Alguns problemas matemáticos que admitem algoritmos eficientes parecem ter natureza convexa. Estou pensando em programas lineares e semi-definidos e em vários …

8 ds.algorithms  convex-optimization  philosophy