Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!pasdenom.info!from-devjntp
Message-ID: <ZWk-0_w6WgE--EwFdfNFDSkrGf8@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: =?UTF-8?Q?D=C3=A9mo=20=33=3D=30?=
References: <JcjsJQA-3cf6TO8LUk3pGa3hhAg@jntp> <t0nh6b$apu$1@dont-email.me> <t0nneg$mnh$1@gioia.aioe.org>
 <t0v6mm$kb1$1@dont-email.me> <t0vc0o$r3j$1@gioia.aioe.org>
Newsgroups: fr.sci.maths
JNTP-HashClient: I4ciDqIar9Zdf9NdcLe1Y7ud63Q
JNTP-ThreadID: 8KSpdXEKF5Cy88c7DCErDTexfPM
JNTP-Uri: http://news2.nemoweb.net/?DataID=ZWk-0_w6WgE--EwFdfNFDSkrGf8@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Thu, 17 Mar 22 13:17:16 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/58.0.2988.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="715f4dfd8d1425b5c05e700269f567faa1839f7c"; logging-data="2022-03-17T13:17:16Z/6714564"; posting-account="4@news2.nemoweb.net"; mail-complaints-to="newsmaster@news2.nemoweb.net"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: Richard Hachel <r.hachel@tiscali.fr>
Bytes: 3118
Lines: 49

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.