Discussion:Métalogique
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Logique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Moyenne |  | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Propositions de modification
modifierDans un souci de cohérence et de simplification, je remplacerais: "La métalogique est l'étude de la métathéorie de la logique. Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire un argument valide et correct, la métalogique concerne les vérités qui peuvent être dérivées des langages et des systèmes qui sont utilisés pour exprimer des vérités."
par:
"La métalogique est la métathéorie mathématique de l'information. Alors que la théorie mathématique de l'information est une branche des mathématiques qui étudie les langages et systèmes logiques, la métalogique étudie les vérités dérivées ou induites par cette théorie."
NB: La théorie mathématique de l'information inclut les théorèmes d'incomplétude de Godel, la théorie des ordinaux et des cardinaux de Cantor (liée à la théorie des ensembles), les machines de Turing, et le lambda-calcul. Le second théorème d'incomplétude de Godel et les cardinaux de Cantor sont la base de la théorie des grands cardinaux et des théories ZF et ZFC (cf. livre "La théorie des ensembles" de Calvage et Mounet).
Toutes les suggestions sont les bienvenues... Nikpsy (discuter) 2 septembre 2024 à 04:11 (CEST)