Bonjour
Wikipédia affirme sur la page du tiers exclu que celui-ci équivaut au raisonnement par l'absurde,
je vois bien que le tiers exclu est nécessaire pour faire une preuve par l'absurde mais le contraire est-il si sûr ? comment on le prouve ?
Mais surtout svp : on dit souvent que nier le tiers exclu a pour conséquence que toutes les preuves sont constructives, savez-vous comment on prouve ça svp ?
Est-ce qu'on ne devrait pas appeler "constructivistes" les "intuitionnistes" ?
merci,
-----