Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
Discussion fermée
#1 03-07-2019 13:05:44
- Nicolom11
- Invité
Logique intuitionniste
Bonjour à tous,
J'ai lu qu'en logique intuitionniste, si [tex]A[/tex] est une assertion valide, alors [tex]\neg ( \neg ( A ) ) \neq A[/tex]. Pouvez vous m'en donner un exemple concret de la vie quotidienne ?
Merci d'avance.
#2 03-07-2019 14:19:25
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : Logique intuitionniste
Salut,
peux-tu nous expliquer ce qu'est la logique intuitionniste, stp ?
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#3 03-07-2019 17:33:38
- yoshi
- Modo Ferox
- Inscription : 20-11-2005
- Messages : 16 948
Re : Logique intuitionniste
Ave,
Je ne savais pas non plus...
Vite fait comme ça, ça m'a eu l'air assez nébuleux : https://fr.wikipedia.org/wiki/Logique_intuitionniste
@+
Arx Tarpeia Capitoli proxima...
En ligne
#4 12-07-2019 18:11:52
- Maenwe
- Invité
Re : Logique intuitionniste
Bonsoir, en complément de la page wikipédia :
J'ai trouvé cette vidéo : Les maths : invention ou découverte ? Infini 22, qui explique le pourquoi de la logique intuitionniste, et en supposant que ce qui est dit est vrai, la logique intuitionniste semble être une manière plus terre à terre de considérer la mathématique.
Cordialement
Pages : 1
Discussion fermée