Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxCapcha has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php on line 9

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxErreur has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.erreur.php on line 9

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxGlob has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.glob.php on line 10

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxRecord has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.record.php on line 10

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxMotor has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 10

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxFeed has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.feed.php on line 9

Warning: Declaration of plxFeed::prechauffage() should be compatible with plxMotor::prechauffage($mode = '', $motif = '', $bypage = '') in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.feed.php on line 500

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxShow has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 9

Deprecated: Non-static method plxDate::microtime() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 57

Deprecated: Non-static method plxUtils::getGets() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 58

Deprecated: Non-static method plxUtils::mobileDetect() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 66

Warning: Cannot modify header information - headers already sent by (output started at /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php:9) in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.utils.php on line 548

Warning: Cannot modify header information - headers already sent by (output started at /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php:9) in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.utils.php on line 549

Deprecated: Non-static method plxDate::dateToIso() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 468

Warning: Cannot modify header information - headers already sent by (output started at /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php:9) in /homepages/3/d170528928/htdocs/jm/bn/index.php on line 51

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxStats has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 9

Deprecated: Non-static method plxUtils::getIp() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 130

Deprecated: Non-static method plxUtils::getIp() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 131

Strict Standards: date(): We selected 'Europe/London' for 'BST/1.0/DST' instead in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 142

Deprecated: Non-static method plxUtils::write() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 98
Linenn - Jeux et Mathematiques - <br /> <b>Deprecated</b>: Non-static method plxUtils::strCheck() should not be called statically in <b>/homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php</b> on line <b>127</b><br /> Intuitionnisme constructif - linenn


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.

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 ihzia ? :