Questions marquées «church-turing-thesis»

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

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

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