Accueil Publimath  Aide à la recherche  Requête : "mathématiques constructives"
Certification IDDN Valid HTML 4.01 Transitional

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

12017 Repères-IREM. N° 107.Ressource en ligne
22017 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
32015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
42015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
52011 Epistémologie mathématique.
62009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.Ressource en ligne
72007 Les métamorphoses du calcul.
82003 Repères-IREM. N° 50.Ressource en ligne
92003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
102000 Logique, ensemble, catégories. Le point de vue constructif.Ressource en ligne
111999 Repères-IREM. N° 34.Ressource en ligne
121999 Repères-IREM. N° 34. p. 55-69. A propos du théorème des accroissements finis.Ressource en ligne
131997 Repères-IREM. N° 29.Ressource en ligne
141997 Repères-IREM. N° 29. p. 27-42. Le raisonnement par l'absurde.Ressource en ligne
151994 Histoire d'infini.Ressource en ligne
161994 Histoire d'infini. De la difficulté d'être omniscient. p. 129-149.Ressource en ligne
171994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.Ressource en ligne
181994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
191994 Mathématiques constructives. Hier et demain. p. 3-14.Ressource en ligne
201994 Mathématiques constructives. De la difficulté d'être omniscient. p. 25-37.Ressource en ligne