Intuitionnisme constructif

Par jp, le mardi 12 janvier 2010 à 15:26 | Logique | Page principale Jeux et Mathématiques

Cours de logique Constructive

Consultez mes pages de liens de logique pour obtenir des cours de logique.
Plusieurs autres pages concernent l'intuitionnisme, la logique linéaire, Gödel, Cantor, Peano, Tarski, Russell, Turing, Zermelo etc.

Un bon départ

Ce pseudo "cours de logique constructive" trouve une partie de son inspiration dans le cours de logique online du Laboratoire Disciplinaire Pensée des Sciences.

L'autre source d'inspiration est évidemment l'article du bloc-notes polynômes d'ensembles.

Que ceux qui seraient tentés de croire qu'il s'agit totalement d'une blague, se détrompent. La notation 1 + 1 = 1 se justifie parfaitement ici, par contre certaines étapes intermédiaires n'ont pas de sens, (ou alors il faudrait l'indiquer).

1 est ici quelque chose comme un arbre binaire vide ou encore l'ensemble vide, x=1 étant alors aussi l'ensemble vide, x^2 le produit cartésien... et l'écriture obtenue 1 + 1 = 1 affirme seulement que l'union disjointe de l'ensemble vide et de l'ensemble vide est l'ensemble vide. C.Q.F.D. !

Ecrire un commentaire




Quelle est la troisième lettre du mot zzmt ? :