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

35
Tese Estendida de Church-Turing

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 comentários...

8
Entendendo mal a tese de Church-Turing?

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...