Accueil > Français > Apprendre et partager > Principes > Cohérence et complétude

Cohérence et complétude

Date de publication : jeudi 13 juin 2024 | Date de la dernière modification : jeudi 13 juin 2024 | Auteurs : Graine

Identifiant unique de l’article: 130

Peut-on être cohérent pour toute chose avec un seul système.

La complétude

La conception de modèle nous permettent une meilleure compréhension du monde.
En logique, la complétude est atteinte lorsque qu’un principe est prouvé par une démonstration formelle et s’applique à tout le système. Il y a incomplétude s’il y a des exceptions par exemple.

La cohérence

La cohérence est atteinte lorsque qu’un principe n’est peut pas être contredit.

Cohérence et complétude

Il n’existe pas à ce jour un seul système s’appliquant à toutes choses qui soit cohérent et complet.

Voir l’historique

Il n’y a pas d’autre version de cet article
Contribuez à l’amélioration de cette page

Mots-clés

• Développement durable
Environnement
Social

• Activités
Toutes les activités
Environnement

• Public
Individus
Personnes morales

Merci d’indiquer ici les circonstances, les conditions d’application et s’il y a des préalables à faire avant. S’il y a des controverses dans le cadre d’un des piliers du développement durable, merci d’indiquer le contexte et les sources.

Ressources libres ou ouvertes

Merci d’indiquer les ressources libres sous le format suivant:
|Description|Type|Licence (libre ou ouverte)|Lien|

Type
Images, logiciels, applications, BDD, texte, audio, vidéo…

Licence (libre ou ouverte)
Elle doit permettre a minima la réutilisation sans modification.
Complétude (logique) (Wikipédia) Texte CC BY-SA https://fr.wikipedia.org/wiki/Compl%C3%A9tude_(logique))
Cohérence (logique) (Wikipédia) Texte CC BY-SA https://fr.wikipedia.org/wiki/Coh%C3%A9rence_(logique)
Théorèmes d’incomplétude de Gödel (Wikipédia) Texte CC BY-SA https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8mes_d%27incompl%C3%A9tude_de_G%C3%B6del
Théorème de complétude de Gödel (Wikipédia) Texte CC BY-SA https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_compl%C3%A9tude_de_G%C3%B6del

Sources d’information

Merci d’indiquer ici les sources d’information sous le format suivant:
|Description|Type|Lien|

Type
Article, livre, audio, vidéo…

Acceptabilité
Merci de consulter les critères d’acceptation et de refus.
Le contenu n’existe pas encore. Si vous pouvez contribuer à indiquer des details, vous êtes les bienvenus!

Mise en œuvre

Étapes et outils de mise en œuvre.
Le contenu n’existe pas encore. Si vous pouvez contribuer à indiquer des details, vous êtes les bienvenus!

Contributeurs

Contributeurs en plus des auteurs de l’article sous le format suivant:
|Type de contribution|Nom|
Le contenu n’existe pas encore. Si vous pouvez contribuer à indiquer des details, vous êtes les bienvenus!

Forum

Tous les messages postés ici seront visibles par tout le monde! Si vous souhaitez nous envoyer un mail privé, merci de passer par la page "contact".

Une information à ajouter? Une ressource à faire connaître? Une erreur à corriger? Un échange à avoir? Merci pour votre contribution ! Nous avons des critères d’acceptation et de refus comme garde-fou.

Un message, un commentaire ?

Qui êtes-vous ?
Se connecter
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.