Logique intuitionnisteLogique intuitionniste
Peu commune
Rareté : Peu commune
Un sujet un peu plus connu que la moyenne, lu et traduit au-delà de son pays.
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
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que toute affirmation doit être démontrable par une preuve constructive. Cette logique rejette le principe classique de tiers exclu, selon lequel « P ou non P » est toujours vrai, ainsi que les démonstrations par l'absurde.
Extrait de l’article « Logique intuitionniste » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Image : Olinone, CC0, via Wikimedia Commons.
Ouvre des boosters gratuits et ajoute Logique intuitionniste à ta collection.
Jouer gratuitement
