Accueil Publimath  Aide à la recherche  Requête : "principe du tiers exclu"
Certification IDDN Valid HTML 4.01 Transitional

  dans Afficher les fiches par  
45 fiches trouvées Debut Precedent Reponses 21 à 40 Suivant Fin

212011 Tangente. N° 141. p. 26-27. Ile logique, la question du clown ?
222009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.Ressource en ligne
232009 Vous avez dit hasard ?
242004 Bibliothèque Tangente. N° 15. La logique.
252004 Bibliothèque Tangente. N° 15. Le tiers-exclu. p. 32-34.
262004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
272003 Repères-IREM. N° 50.
282003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
292003 Tangente Hors-série. N° 15. Vol. 1. La logique.
302003 Tangente Hors-série. N° 15. Vol. 1. p. 12-14. Les règles de la déduction.
312003 Tangente Hors-série. N° 15. Vol. 1. p. 16-17. Le tiers-exclu.
322002 Revue d'histoire des mathématiques. N° 8. Vol. 1. p. 113-140. L'autre axiome du choix.Ressource en ligne
332001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique - variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.Ressource en ligne
342000 Logique, ensemble, catégories. Le point de vue constructif.Ressource en ligne
352000 Pour la Science. N° spécial. 278. Les infinis. p. 74-81. L'infini, pierre de touche du constructivisme.
361996 Logique et raisonnement mathématique.
371995 Différents types de savoirs et leur articulation.
381995 Différents types de savoirs et leur articulation. Place de la logique formelle comme outil d'analyse des connaissances mises en oeuvre dans le raisonnement mathématique dans une perspective didactique. p. 205-233.
391994 Histoire d'infini.Ressource en ligne
401994 Histoire d'infini. De la difficulté d'être omniscient. p. 129-149.Ressource en ligne