Système U
mathématiques
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
- Croyances et pensée
- Dans les collections
- Personne ne l’a encore tirée.
Ce qu’en dit Wikipédia
En logique mathématique, le Système U et le Système U− sont des systèmes de types purs (en), c'est-à-dire des formes spéciales d'un lambda-calcul typé avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes). Ils ont tous deux été prouvés incohérents par Jean-Yves Girard en 1972.
Extrait de l’article « Système U (mathématiques) » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Ouvre des boosters gratuits et ajoute Système U à ta collection.
Jouer gratuitement
