Les deux formes de la thèse de Church-Turing et l'épistémologie du calcul
La thèse de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing. En distinguant, à la suite de nombreux auteurs, une forme algorithmique de la thèse de Church-Turing portant sur les fonctions calculables par un algorithme d’une forme empirique de cette même t...
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Article ou chapitre numérique |
| 語言: | Français |
| 出版: |
2012
|
| 在線閱讀: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |