Perguntas com a marcação «computability»

Sabe-se que com um conjunto contável de algoritmos (caracterizado por um número de Gödel), não podemos computar (construir um algoritmo binário que verifique a pertença) todos os subconjuntos de N. Uma prova poderia ser resumida como: se pudéssemos, então o conjunto de todos os subconjuntos de N seria contável (poderíamos …

29 computability  halting-problem 

Existem linguagens de programação (funcionais?) Nas quais todas as funções têm uma forma canônica? Ou seja, quaisquer duas funções que retornam os mesmos valores para todo o conjunto de entradas são representadas da mesma maneira, por exemplo, se f (x) retornou x + 1 eg (x) retornou x + 2, …

29 computability  pl.programming-languages  functional-programming  function 

Um computador que recebe um fluxo infinito de bits verdadeiramente aleatórios é mais poderoso que um computador sem um. A questão é: ela é poderosa o suficiente para resolver o problema da parada? Ou seja, um computador probabilístico pode determinar se um programa determinístico é interrompido ou não ? Exemplo …

29 computability  randomness  turing-machines 

Em este artigo da Wikipedia sobre Turing completude afirma que: O cálculo lambda não digitado é Turing completo, mas muitos cálculos lambda digitados, incluindo o Sistema F, não são. O valor dos sistemas digitados é baseado em sua capacidade de representar a maioria dos programas de computador típicos enquanto detecta …

28 computability  turing-machines  haskell 

Se seguirmos o livro (ou qualquer outra versão da especificação da linguagem, se você preferir), quanta energia computacional pode uma implementação C? Observe que “implementação C” tem um significado técnico: é uma instanciação específica da especificação da linguagem de programação C em que o comportamento definido pela implementação é documentado. …

28 computability  turing-machines  pl.programming-languages  recreational 

Essa pode ser uma pergunta básica, mas eu tenho lido e tentado entender artigos sobre assuntos como computação de equilíbrio de Nash e teste de degeneração linear e não tenho certeza de como os números reais são especificados como entrada. Por exemplo, quando se afirma que o LDT possui certos …

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

Recentemente, tenho lido algumas das idéias e da história do trabalho inovador realizado por vários lógicos e matemáticos em relação à computabilidade. Embora os conceitos individuais sejam bastante claros para mim, estou tentando entender com firmeza as inter-relações e o nível abstrato em que todos estão ligados. Sabemos que o …

27 lo.logic  computability  turing-machines 

Não consigo pensar em nenhum modelo desse tipo, talvez alguma forma de cálculo lambda digitado? algum autômato celular elementar? Isso quase refutaria o "Princípio da Equivalência Computacional" de Wolfram: Quase todos os processos que não são obviamente simples podem ser vistos como cálculos de sofisticação equivalente

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

O problema de parada indica que é impossível escrever um programa que possa determinar se outro programa é interrompido para todos os programas de entrada possíveis . Eu posso, no entanto, certamente escrever um programa que pode calcular o tempo de execução de um programa como: for(i=0; i<N; i++) { …

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

Eu estava lendo o artigo de Andrej Bauer Primeiros Passos na Teoria da Computabilidade Sintética . Na conclusão, ele observa que Nossa axiomatização tem seu limite: não pode provar nenhum resultado na teoria da computabilidade que falhe em relativizar os cálculos da Oracle. Isso ocorre porque a teoria pode ser …

22 computability  relativization 

Como não permite computação não-terminativa, Coq não é necessariamente completo em Turing. Qual é a classe de funções que a Coq pode calcular? (existe uma caracterização interessante?)

22 computability  pl.programming-languages  coq 

Um tensor é uma generalização de vetores e matrizes para dimensões mais altas e a classificação de um tensor também generaliza a classificação de uma matriz. Ou seja, a classificação de um tensor é o número mínimo de grau um tensores que soma a T . Um vetor e uma …

22 ds.algorithms  reference-request  computability  tensor-rank 

Tenho dificuldade em ensinar o conceito de funções computáveis. Tentei desenvolver a idéia de por que pesquisadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaram a noção de 'computabilidade'. Os alunos imediatamente perguntaram: "o que significa computabilidade?" e não posso responder a menos que eu …

22 soft-question  computability  turing-machines  teaching 

Por exemplo, nas linguagens de programação, é comum escrever um compilador / intérprete X-in-X, mas em um nível mais geral, muitos sistemas completos de Turing conhecidos podem simular-se de maneiras impressionantes (por exemplo, simulando o Jogo da Vida de Conway no Jogo da Vida de Conway. ) Então, minha pergunta …

20 computability  automata-theory  turing-machines 

Lendo alguns tópicos recentes sobre computação quântica ( aqui , aqui e aqui ), lembro-me de uma pergunta interessante sobre o poder de algum tipo de máquina de preservação -norm.ℓpℓp\ell_p Para as pessoas que trabalham com a teoria da complexidade na complexidade quântica, um excelente texto introdutório é o artigo …

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