Questions marquées «church-turing-thesis»

2
Certains langages de programmation utilisent-ils des fonctions récursives générales comme base?
C'est une question naïve et, par conséquent, peut-être malformée, donc excuses à l'avance! À mon avis, une machine de Turing peut être considérée comme la base de calcul des langages de programmation procéduraux / impératifs. De même, le lambda calcul est le fondement des langages de programmation fonctionnels. J'ai récemment …
3
Chaque algorithme auto-modifiable peut-il être modélisé par un algorithme non auto-modifiable?
Si nous avons un programme informatique arbitraire qui peut modifier ses instructions, est-il possible de simuler ce programme avec un programme qui ne peut pas modifier ses instructions? Éditer: Je suis nouveau sur stackexchange, donc je ne sais pas si je suis autorisé à poser une NOUVELLE question ici, mais …
2
Cet article implique-t-il que Turing-Computability n'est pas la même chose que «effectivement calculable»?
Tout d'abord, je m'excuse si cela a été demandé, mais je n'ai vraiment rien trouvé. Je suis tombé sur cet article . Il indique qu'il existe un problème que seuls les ordinateurs quantiques peuvent résoudre. À ma connaissance, cela devrait signifier, intuitivement, que ce problème est "effectivement calculable", car nous …
1
La thèse de Church-Turing s'applique-t-elle également à l'intelligence artificielle?
Selon la thèse de Church-Turing, il est impossible de concevoir un algorithme pour décider du problème d'arrêt. Le mot algorithme dans ce contexte inclut-il ou non l'intelligence artificielle, c'est-à-dire que la thèse de Church-Turing s'applique-t-elle également à l'intelligence artificielle? Est-il possible de concevoir un système de renseignement à l'avenir pour …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.