A tese de Church-Turing afirma que tudo o que pode ser fisicamente calculado, pode ser computado em uma máquina de Turing. O artigo "Computação analógica via redes neurais" (Siegelmannn e Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) afirma que uma rede neural de uma determinada...
Esta é uma pergunta ingênua e, portanto, possivelmente malformada, portanto peça desculpas antecipadamente! Minha opinião é que uma máquina de Turing pode ser vista como a base computacional para linguagens de programação procedurais / imperativas. Da mesma forma, o cálculo lambda é a base para...
Existem muitos (e eu digo muitos) idiomas contáveis que são decidíveis por Turing. Qualquer idioma incontável pode ser Turing
Existem espaços-tempo relativísticos (por exemplo, espaços-tempo MH; ver Hogarth 1994) em que uma linha do mundo de duração infinita pode estar contida no passado de um observador finito. Isso significa que um observador normal pode ter acesso a um número infinito de etapas de computação. Supondo...
Se temos algum programa de computador arbitrário que pode modificar suas instruções, é possível simular esse programa com um programa que não pode modificar suas instruções? Editar: Eu sou novo no stackexchange, então não tenho certeza se posso fazer uma nova pergunta aqui, mas aqui vai: Ok,...
Vi sites que pretendem "provar" que o HTML5 + CSS é Turing Complete. Eu já vi sites que pretendem "provar" que o SQL é Turing Complete. Eu já vi vários sites que pretendem "explicar" o que significa ser Turing Complete. O suficiente! Onde posso encontrar um livro (escrito por um especialista em...
Gostaria de citar Nielsen & Chuang, Computação Quântica e Informação Quântica, edição do 10º aniversário, página 5 (grifo meu): Uma classe de desafios para a forte tese de Church-Turing vem do campo da computação analógica. Nos anos desde Turing, muitas equipes diferentes de pesquisadores...
Espero que minha pergunta faça sentido: começando com a premissa de que o não digitado λλ\lambda o cálculo é equivalente em potência a uma máquina de Turing; ao que em uma máquina de Turing corresponde a adição de tipos ao cálculo ? Existe algum tipo de autômato analógico para digitação, estático...
Pela tese de Church-Turing, é impossível projetar um algoritmo para decidir o problema da parada. A palavra algoritmo, neste contexto, inclui inteligência artificial ou não, isto é, a tese de Church-Turing também se aplica à inteligência artificial? É possível projetar um sistema de...
Quando li sobre a tese de Church-Turing, parece ser uma afirmação comum que "a realidade física é computável em Turing". Qual é a base para esta reivindicação? Existem resultados teóricos nesse sentido? Por um contexto, sou um pesquisador que trabalha em simulações físicas, portanto, é claro que...
Antes de tudo, peço desculpas se isso foi solicitado, mas realmente não encontrei nada. Eu tropecei neste artigo . Ele diz que há um problema que apenas a Quantum Computers pode resolver. No meu entendimento, isso deve significar, intuitivamente, que esse problema é "efetivamente computável", pois...