Calculable
91Fonctionnalisme (philosophie de l'esprit) — Computationnalisme Le computationnalisme est une théorie fonctionnaliste en philosophie de l esprit qui, pour des raisons méthodologiques, conçoit l esprit comme un système de traitement de l information et compare la pensée à un calcul (en… …
92Métaphore du cerveau-ordinateur — Computationnalisme Le computationnalisme est une théorie fonctionnaliste en philosophie de l esprit qui, pour des raisons méthodologiques, conçoit l esprit comme un système de traitement de l information et compare la pensée à un calcul (en… …
93Nombre Normal — En mathématiques, un nombre normal est un nombre réel qui a ses chiffres équidistribués dans son développement décimal, ceux ci apparaissant tous à la même fréquence. Les « chiffres » font référence aux chiffres avant la virgule (la… …
94Nombre normal —  Pour l’article homonyme, voir nombre normal (informatique) (en), i.e. nombre qui est dans un intervalle normal de format en virgule flottante.  En mathématiques, un nombre normal est un nombre réel tel que la fréquence d… …
95Probleme de la decision — Problème de la décision En logique mathématique, on appelle problème de la décision le fait de déterminer de façon mécanique, par un algorithme, si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est à dire s il se dérive… …
96Problème de la décision — En logique mathématique, on appelle problème de la décision le fait de déterminer de façon mécanique, par un algorithme, si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est à dire s il se dérive dans un système de… …
97Theoreme de recursion de Kleene — Théorème de récursion de Kleene Le théorème de récursion de Kleene est un théorème important de la théorie de la calculabilité. Il permet d établir l égalité de fonctions calculables. Sommaire 1 Formulation avec les énumérations de fonctions… …
98Theorie des automates — Théorie des automates Pour les articles homonymes, voir Théorie et Automate. La théorie des automates, intimement liée à l étude des langages formels, est une branche de l informatique théorique qui étudie la puissance de calcul de divers modèles …
99Théorème de récursion de Kleene —  Ne doit pas être confondu avec Théorème de Kleene ni Théorème du point fixe de Kleene. En théorie de la calculabilité plusieurs théorèmes dus à à Kleene sont appelés théorèmes de la récursion. Ils établissent l existence de points fixes… …
100Théorème de récursion de kleene — Le théorème de récursion de Kleene est un théorème important de la théorie de la calculabilité. Il permet d établir l égalité de fonctions calculables. Sommaire 1 Formulation avec les énumérations de fonctions récursives 2 Autre formes 3 …
