Re: Démo 3=0

Liste des GroupesRevenir à fs maths 
Sujet : Re: Démo 3=0
De : python (at) *nospam* example.invalid (Python)
Groupes : fr.sci.maths
Date : 17. Mar 2022, 15:10:51
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <t0vc0o$r3j$1@gioia.aioe.org>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0) Gecko/20100101 Thunderbird/91.7.0
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 !

Date Sujet#  Auteur
10 Mar 22 * Démo 3=043Julien Arlandis
10 Mar 22 +* Re: Démo 3=02Python
11 Mar 22 i`- Re: Démo 3=01Stéphane CARPENTIER
10 Mar 22 +* Re: Démo 3=08pehache
10 Mar 22 i`* Re: Démo 3=07Julien Arlandis
11 Mar 22 i +* Re: Démo 3=02pehache
11 Mar 22 i i`- Re: Démo 3=01MAIxxxx
11 Mar 22 i `* Re: Démo 3=04robby
12 Mar 22 i  `* Re: Démo 3=03robby
12 Mar 22 i   `* Re: Démo 3=02Richard Hachel
12 Mar 22 i    `- Re: Démo 3=01Python
10 Mar 22 +* Re: Démo 3=03HB
11 Mar 22 i`* Re: Démo 3=02HB
11 Mar 22 i `- Re: Démo 3=01pehache
11 Mar 22 +- Re: Démo 3=01ast
11 Mar 22 +* Re: Démo 3=02Richard Hachel
11 Mar 22 i`- Re: Démo 3=01Python
14 Mar 22 +* Re: Démo 3=024Joe Cool
14 Mar 22 i+- Re: Démo 3=01Samuel DEVULDER
14 Mar 22 i`* Re: Démo 3=022Python
17 Mar 22 i `* Re: Démo 3=021Joe Cool
17 Mar 22 i  +* Re: Démo 3=07Python
17 Mar 22 i  i+* Re: Démo 3=02Richard Hachel
17 Mar 22 i  ii`- Re: Démo 3=01Python
19 Mar 22 i  i`* Re: Démo 3=04Joe Cool
19 Mar 22 i  i `* Re: Démo 3=03Python
20 Mar 22 i  i  `* Re: Démo 3=02Joe Cool
20 Mar 22 i  i   `- Re: Démo 3=01Python
17 Mar 22 i  `* Re: Démo 3=013Samuel DEVULDER
17 Mar 22 i   +- Re: Démo 3=01Python
19 Mar 22 i   `* Re: Démo 3=011Joe Cool
20 Mar 22 i    `* Re: Démo 3=010Samuel DEVULDER
23 Mar 22 i     `* Re: Démo 3=09Joe Cool
23 Mar 22 i      `* Re: Démo 3=08Samuel DEVULDER
23 Mar 22 i       `* Re: Démo 3=07Joe Cool
23 Mar 22 i        `* Re: Démo 3=06Samuel DEVULDER
23 Mar 22 i         `* Re: Démo 3=05Joe Cool
24 Mar 22 i          `* Re: Démo 3=04Samuel DEVULDER
24 Mar 22 i           `* Re: Démo 3=03Joe Cool
24 Mar 22 i            `* Re: Démo 3=02Samuel DEVULDER
26 Mar 22 i             `- Re: Démo 3=01MAIxxxx
20 Mar 22 `* Re: Démo 3=02MAIxxxx
20 Mar 22  `- Re: Démo 3=01MAIxxxx

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal