Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 381
Intuitionnisme constructif
Par
Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 393
jp,
le
Deprecated: Non-static method plxDate::dateIsoToHum() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 405
Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 109
Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 110
mardi 12 janvier 2010 à
Deprecated: Non-static method plxDate::dateIsoToHum() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 417
Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 109
Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 110
15:26
|
Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 448
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.
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. !