théorie de la calculabilité
Sign in to saveAlso known as recursion theory
domaine de la logique mathématique et de l’informatique théorique étudiant les fonctions calculables et les degrés Turing
In the Vinony graph
Vinony's link graph records 741 inbound references to théorie de la calculabilité, and connects out to recursively enumerable set, Gödel's incompleteness theorems and arithmetical hierarchy.
It sits within the topics Computability theory and Mathematical logic.
Vinony links it to 42 Wikipedia language editions.
Wikidata facts
- Subclass of
- theory of computation
Show 3 more facts
- topic's main category
- Category:Computability theory
- Commons category
- Computer science
- on focus list of Wikimedia project
- Wikipedia:Vital articles/Level/4
Sources (2)
via Wikidata · CC0
Article · Français
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité »[réf. nécessaire], de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs. Mais la notion de calculabilité ne se limite pas aux fonctions. On peut parler également de nombres calculables (réels ou complexes).
Abstract from DBpedia / Wikipedia · CC BY-SA