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.
Kategorije:
Godina:
2016
Izdanje:
version 8 Feb 2016
Jezik:
french
Strane:
8
Serije:
expository notes
Fajl:
PDF, 241 KB
IPFS:
,
french, 2016