Perguntas com a marcação «church-turing-thesis»

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 forma (as …

29 computability  turing-machines  church-turing-thesis 

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 linguagens de programação funcionais. Aprendi …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Existem muitos (e eu digo muitos) idiomas contáveis ​​que são decidíveis por Turing. Qualquer idioma incontável pode ser Turing decidível?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

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 que seja possível que …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

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, então a prova …

12 computability  computation-models  turing-completeness  church-turing-thesis 

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 …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

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 notaram que certos tipos de computadores …

9 computation-models  church-turing-thesis 

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 temos um método real …

8 turing-machines  quantum-computing  church-turing-thesis 

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 estou ciente de …

8 computability  simulation  church-turing-thesis  hypercomputation 

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 inteligência no futuro para resolver esse problema …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

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, …

8 turing-machines  lambda-calculus  type-theory  church-turing-thesis