Sujet : Re: Démo 3=0
De : r.hachel (at) *nospam* tiscali.fr (Richard Hachel)
Groupes : fr.sci.mathsDate : 17. Mar 2022, 15:17:16
Autres entêtes
Organisation : Nemoweb
Message-ID : <ZWk-0_w6WgE--EwFdfNFDSkrGf8@jntp>
References : 1 2 3 4 5
User-Agent : Nemo/0.999a
Le 17/03/2022 à 14:10, Python a écrit :
Le 17/03/2022 à 12:38, Roger Zierouhli, aka Joe Cool a écrit :
Le 14/03/2022 à 16:37, Python a écrit :
Roger Zierouhli, aka Joe Cool a écrit :
Le paradoxe est issu de l'effroyable incompréhension de la négation qui
règne dans les milieux académiques. Cette ignorance-crasse déteint sur
tous les étudiants, quelque soit leur niveau. Savez-vous combien de
chercheurs dans le monde étudient officiellement la négation en
mathématiques ?
>
Zéro !
>
Allons bon, personne ne travaille sur la logique intuitionniste, c'est
bien connu.
Quel est le rapport avec la question ? Il n'y en a pas.
Vous êtes un bel exemple de l'indigence que je dénonce. Vous n'y
connaissez rien et cela vous autorise à faire preuve d'autorité et à
invoquer les portes-flingues du domaine.
Ça fera plaisir aux membres de l'IRIF, ex PPS, de savoir qu'ielles
n'existent pas...
Voilà, vous avez appelé à l'aide les Lopez du 75. C'est fait.
Maintenant la spécificité de la logique intuitionniste, donc par rapport
à la logique classique, ne concerne pas la négation.
«Mais le tiers exclu, c'est bien A ou non-A, il y a un "non" ! Ha !»
Certes, mais le tiers exclu est réductible à la loi de Pierce:
((A -> B) -> A) -> A
Mince, plus de négation !
Autrement dit, 1 - 1 = 0. Python se mord encore la queue.
Au fait, n'est-il pas faux que tu ne te sois pas fait virer de
Quora, Roger-la-ramasse ?
Attaque personnelle.
Du pur Jean-Pierre Messager.
LOL. R.H.