Accueil Publimath  Aide à la recherche  Requête : "logique intuitionniste"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
25 fiches trouvées Réponses 1 à 20 Suivant Fin

12019 Généalogie des mathématiques.Ressource en ligne
22017 Repères-IREM. N° 107.Ressource en ligne
32017 Repères-IREM. N° 107. p. 45-66. Roger Apéry, l'humour au service d'une pensée libre et originale sur les mathématiques constructives.Ressource en ligne
42015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
52015 La logique pas à pas.
62015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
72013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
82013 Bibliothèque Tangente. N° 49. L'échelle de l'existence mathématique. p. 90-94.
92013 La Créativité en mathématiques.Ressource en ligne
102013 Tangente Hors-série. N° 49. p. 12-14. L'échelle de l'existence mathématique.
112012 50 ans de carrière d'un enseignant-chercheur.
122007 Les métamorphoses du calcul.
132003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
142002 Revue d'histoire des mathématiques. N° 8. Vol. 1. p. 113-140. L'autre axiome du choix.Ressource en ligne
152001 Expressions. N° 18. Histoire et philosophie des sciences. p. 87-116. Géométrie avec ou sans tiers exclu ? Motivation pour l'intuitionnisme à travers la géométrie.Ressource en ligne
162001 Introduction à la logique.
172001 La logique ou l'art de raisonner.
182000 Logique, ensemble, catégories. Le point de vue constructif.Ressource en ligne
191995 La machine de Turing.
201994 Bulletin de l'APMEP. N° 396. p. 549-566. Catégories et topos : des univers à explorer.Ressource en ligne