Path: ...!weretis.net!feeder8.news.weretis.net!usenet.goja.nl.eu.org!aioe.org!7a25jG6pUKCqa0zKnKnvdg.user.46.165.242.75.POSTED!not-for-mail
From: Python <python@example.invalid>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?B?UmU6IETDqW1vIDM9MA==?=
Date: Thu, 17 Mar 2022 14:10:51 +0100
Organization: Aioe.org NNTP Server
Message-ID: <t0vc0o$r3j$1@gioia.aioe.org>
References: <JcjsJQA-3cf6TO8LUk3pGa3hhAg@jntp> <t0nh6b$apu$1@dont-email.me>
 <t0nneg$mnh$1@gioia.aioe.org> <t0v6mm$kb1$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="27763"; posting-host="7a25jG6pUKCqa0zKnKnvdg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0)
 Gecko/20100101 Thunderbird/91.7.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: fr
Bytes: 2766
Lines: 46

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 ?

Roger Zierouhli a écrit
> La seconde vague est un fantasme psychotique !
> [...] La réalité des faits, la voici: il n'y a jamais eu de
> seconde vague de grippe. Pour aucune grippe. Jamais !