Algèbre de Heyting
Algèbre de Heyting
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 mathématiques, une algèbre de Heyting est une structure algébrique introduite en 1930 par le mathématicien néerlandais Arend Heyting pour rendre compte formellement de la logique intuitionniste de Brouwer, alors récemment développée.
Extrait de l’article « Algèbre de Heyting » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Ouvre des boosters gratuits et ajoute Algèbre de Heyting à ta collection.
Jouer gratuitement
