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

Paul Wegner e Dina Goldin publicam há mais de uma década artigos e livros, argumentando principalmente que a tese de Church-Turing é frequentemente deturpada na comunidade da Teoria da CS e em outros lugares. Ou seja, é apresentado como abrangendo todo o cálculo quando, de fato, se aplica apenas ao …

38 computability  turing-machines  machine-models  church-turing-thesis 

Uma das perguntas mais discutidas no site foi O que significaria refutar a tese de Church-Turing . Isso ocorre em parte porque Dershowitz e Gurevich publicaram uma prova da tese de Church-Turing é o Boletim da Lógica Simbólica em 2008. (Não discutirei isso aqui, mas para obter um link e …

35 soft-question  lo.logic  church-turing-thesis 

Eu estava conversando recentemente com um amigo (que é um defensor de idiomas fortemente tipados). Ele fez o comentário: Os inventores do Lambda Calculus sempre pretendiam que fosse digitado. Agora podemos ver que a Igreja estava associada ao Cálculo Lambda de Digitação Simples . De fato, parece que ele explicou …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Esta pode ser uma pergunta ingênua, mas aqui vai. (Editar - não está recebendo votos positivos, mas ninguém ofereceu uma resposta; talvez a pergunta seja mais difícil, obscura ou pouco clara do que eu pensava?) O primeiro teorema da incompletude de Gödel pode ser comprovado como um corolário da indecidibilidade …

11 lo.logic  computability  church-turing-thesis 

Minha compreensão da tese de Church-Turing é a: Ele limita o que pode ser calculado por qualquer processo discreto e finito. Embora ainda seja uma tese, não um teorema, se fosse refutada, isso não significaria apenas uma atualização para nossos modelos atuais de computação. Seria um resultado de mudança de …

8 church-turing-thesis  hypercomputation