calculable
41Fonction calculable — Une fonction calculable (ou fonction récursive) est une fonction semi calculable (ou fonction partielle récursive) qui est aussi totale, c est à dire définie pour toute entrée (en tout point). Ce sont les fonctions calculées par une machine de… …
42Fonction Semi-Calculable — En informatique théorique, les fonctions semi calculables ou fonctions partielles récursives sont les fonctions calculables par les machines de Turing ou tout autre système de programmation Turing complet. En logique mathématique les fonctions… …
43Équilibre général calculable — (début de traduction de la page anglaise) Les modèles d équilibre général calculable (MEGC) sont une classe de modèles économiques qui utilisent des données économiques réelles pour estimer comment une économie pourrait réagir à des changements… …
44Fonction semi-calculable — En informatique théorique, les fonctions semi calculables ou fonctions partielles récursives sont les fonctions calculables par les machines de Turing ou tout autre système de programmation Turing complet. En logique mathématique les fonctions… …
45calculabilité — calculable [ kalkylabl ] adj. • 1732; de calculer ♦ Qui peut se calculer. N. f. CALCULABILITÉ . ⊗ CONTR. Incalculable. ● calculabilité nom féminin Caractère de ce qui est calculable. calculabilité [kalkylabilite] n. f …
46History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …
47History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …
48Oméga de Chaitin — Un nombre Oméga de Chaitin est une suite de bits représentant, sous forme concentrée, la solution du problème de l arrêt pour tous les programme d une machine de Turing universelle donnée. En théorie algorithmique de l information, une constante… …
49Nombre incalculable — Nombre réel calculable En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d énumérer tous les chiffres de son développement décimal. Cette notion a été… …
50Nombres incalculables — Nombre réel calculable En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d énumérer tous les chiffres de son développement décimal. Cette notion a été… …