Informatique théorique church-turing-thesis

7

Applicabilité de la thèse de Church-Turing aux modèles de calcul interactifs

Paul Wegner et Dina Goldin publient depuis plus de 10 ans des articles et des livres dans lesquels ils affirment principalement que la thèse de Church-Turing est souvent mal représentée dans la communauté CS Theory et ailleurs. Autrement dit, il est présenté comme englobant tout le calcul, alors qu’il s’applique …

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

3

Thèse Eglise-Turing étendue

Une des questions les plus discutées sur le site a été Qu'est-ce que cela signifierait de réfuter la thèse de Church-Turing ? C'est en partie parce que Dershowitz et Gurevich ont publié une preuve de la thèse de Church-Turing est le Bulletin de la logique symbolique de 2008. (Je n'en …

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

1

Relation historique entre le calcul lambda typé et le lisp?

J'ai eu une discussion avec un ami récemment (qui est un défenseur des langues fortement typées). Il a fait le commentaire: Les inventeurs de Lambda Calculus ont toujours voulu le taper. Maintenant , nous pouvons voir que l' église a été associée à la simplement dactylographié Calcul Lambda . En …

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

2

La relation des théorèmes d'incomplétude de Gödel à la thèse de Church-Turing

C'est peut-être une question naïve, mais voilà. (Edit - il n'y a pas de votes positifs, mais personne n'a proposé de réponse non plus; peut-être que la question est plus difficile, obscure ou floue que je ne le pensais?) Le premier théorème d'incomplétude de Gödel peut être prouvé comme un …

11 lo.logic computability church-turing-thesis

Questions marquées «church-turing-thesis»