Le raisonnement par l’absurde
Alain Prouté
Un exposé fait en mai 2008 sur le raisonnement par l'absurde. Sans entrer dans les détails techniques, on apprend en quoi consistent les mathématiques ``structurelles'' (également appelées ``intuitionnistes'') et ce qu'est le constructivisme. On explique la différence de comportement entre connecteurs additifs et connecteurs multiplicatifs. Enfin, on explore le principe de la double négation et du raisonnement par l'absurde et on distingue deux sortes de tels raisonnements dont l'une est constructive et l'autre pas.
Catégories:
Année:
2016
Edition:
version 8 Feb 2016
Langue:
french
Pages:
8
Collection:
expository notes
Fichier:
PDF, 241 KB
IPFS:
,
french, 2016