Aide à la recherche   Requête : "logique intuitionniste"

25 fiches trouvées

Reponses 1 à 20

1	2019 Généalogie des mathématiques.
2	2017 Repères-IREM. N° 107.
3	2017 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.
4	2015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
5	2015 La logique pas à pas.
6	2015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
7	2013 Bibliothèque Tangente. N° 49. L'échelle de l'existence mathématique. p. 90-94.
8	2013 Bibliothèque Tangente. N° 49. Les maths de l'impossible.
9	2013 La Créativité en mathématiques.
10	2013 Tangente Hors-série. N° 49. p. 12-14. L'échelle de l'existence mathématique.
11	2012 50 ans de carrière d'un enseignant-chercheur.
12	2007 Les métamorphoses du calcul.
13	2003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
14	2002 Revue d'histoire des mathématiques. N° 8. Vol. 1. p. 113-140. L'autre axiome du choix.
15	2001 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.
16	2001 Introduction à la logique.
17	2001 La logique ou l'art de raisonner.
18	2000 Logique, ensemble, catégories. Le point de vue constructif.
19	1995 La machine de Turing.
20	1994 Bulletin de l'APMEP. N° 396. p. 549-566. Catégories et topos : des univers à explorer.