Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 03-07-2019 12: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 13:19:25

freddy
Membre chevronné
Lieu : Paris
Inscription : 27-03-2009
Messages : 6 573

Re : Logique intuitionniste

Salut,

peux-tu nous expliquer ce qu'est la logique intuitionniste, stp ?


More Majorum ... ad Unum !

Hors ligne

#3 03-07-2019 16:33:38

yoshi
Modo Ferox
Inscription : 20-11-2005
Messages : 13 350

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...

Hors ligne

#4 12-07-2019 17: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

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
cinquante deux plus seize
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums