Théorème de compacitéThéorème de compacité
Commune
Rareté : Commune
La rareté la plus courante : la plupart des articles de Wikipédia deviennent des Communes.
La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.
Ce qu’il faut savoir
- Classe
- Notion
- Domaine
- Sciences et techniques
- Dans les collections
- Personne ne l’a encore tirée.
Ce qu’en dit Wikipédia
En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes).
Extrait de l’article « Théorème de compacité » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Image : Fschwarzentruber, CC BY-SA 4.0, via Wikimedia Commons.
Ouvre des boosters gratuits et ajoute Théorème de compacité à ta collection.
Jouer gratuitement
