Titre de l'article : Hiérarchie arithmétique

En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Kleene est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano. Un ensemble d'entiers est classé suivant les alternances de quantificateurs d'une formule sous forme prénexe qui permet de le définir. Les premiers niveaux de la hiérarchie correspondent à la classe des ensembles récursivement énumérables (Σ10) et à celle des ensembles dont le complémentaire est récursivement énumérable (Π10), leur intersection étant la classe des ensembles récursifs (Δ10).

[Dernier contributeur : Utilisateur Wikipedia non enregistré , Contenu soumis à la licence LGPL]

Statistiques détaillées

Nombre de vues de l'article nombre de vote de type 'article de qualité' Nombre de vote de type 'pas clair' Nombre de vite de type 'faux'
daily 1 0 0 0
global 118 5 11 6
Article de qualité
Article pas clair
Article faux

Participez à ce classement en donnant une note à ce résumé, et en donnant votre avis sur sa qualité.
Inscrivez-vous pour améliorer votre réputation et donc l'importance de votre vote.

Merci de patienter...
Popularité: 2.0/5 (23 votes)

Catégories relatives à cet article

Logique mathématiqueCalculabilité

Commentaires