Liste fiches - Publimath

principe du tiers exclu

Il y a 36 résultats pour cette recherche

2021 Quadrature. N° 119. p. 27-39. Une occasion manquée.
Auteur : Keller Olivier
2020 Histoires de Mathématiques. Logique. Socrate est mortel.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Dialogue du cheval blanc.
Auteur : Ycart Bernard
2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
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.
Auteurs : Lombardi Henri ; Neuwirth Stefan
2015 Tangente Hors-série. N° 55. p. 21-21. La démonstration par le contre-exemple (1).
Auteur : Hauchecorne Bertrand
2015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
Auteur : Delaunay David
2015 La logique pas à pas.
Auteur : Duparc Jacques
2015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
Auteur : Delaunay David
2015 Bibliothèque Tangente. N° 55. La démonstration par le contre-exemple (1). p. 17-17.
Auteur : Hauchecorne Bertrand
2012 Petite philosophie des mathématiques vagabondes.
Auteurs : De Brabandere Luc ; Ribesse Christophe
2012 Enseigner la démonstration au collège.
Auteurs : IREM d'Aix-Marseille Groupe Collège ; Barichard Alain ; Crumière Anne ; Fleury Marie-Renée ; Gouillon Nicolas ; Quatrini Myriam ; Tanner Michel
2011 La droite amoureuse du cercle.
Auteur : Nordon Didier
2011 Tangente. N° 141. p. 26-27. Ile logique, la question du clown ?
Auteur : Lehning Hervé
2011 De la méthode.
Auteur : Serfati Michel. Dir.
2011 De la méthode. Thèses d'existence et travail mathématique. p. 243-264.
Auteur : Michel Alain
2009 Vous avez dit hasard ?
Auteur : Gauvrit Nicolas
2009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.
Auteur : Lombardi Henri
2004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.
Auteur : Temam Daniel
2004 Bibliothèque Tangente. N° 15. Le tiers-exclu. p. 32-34.
Auteur : Rittaud Benoît
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Tangente Hors-série. N° 15. Vol. 1. p. 16-17. Le tiers-exclu.
Auteur : Rittaud Benoît
2003 Tangente Hors-série. N° 15. Vol. 1. p. 12-14. Les règles de la déduction.
Auteur : Temam Daniel
2002 Revue d'histoire des mathématiques. N° 8. Vol. 1. p. 113-140. L'autre axiome du choix.
Auteur : Ageron Pierre
2001 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.
Auteurs : Arsac Gilbert ; Durand-Guerrier Viviane
2000 Pour la Science. N° spécial. 278. Les infinis. p. 74-81. L'infini, pierre de touche du constructivisme.
Auteur : Calder Allan
2000 Logique, ensemble, catégories. Le point de vue constructif.
Auteur : Ageron Pierre
1996 Logique et raisonnement mathématique.
Auteur : Durand-Guerrier Viviane
1995 Différents types de savoirs et leur articulation.
Auteurs : Arsac Gilbert ; Grea Jean ; Grenier Denise ; Tiberghien Andrée ; Balacheff Nicolas. Dir.
1995 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.
Auteur : Durand-Guerrier Viviane
1994 Histoire d'infini.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1994 Histoire d'infini. De la difficulté d'être omniscient. p. 129-149.
Auteur : Lombardi Henri
1994 L'Ouvert. N° 76 spécial Georges Reeb. p. 42-77. Intuitionnisme 84.
Auteurs : Harthong Jacques ; Reeb Georges
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Mathématiques constructives. De la difficulté d'être omniscient. p. 25-37.
Auteur : Lombardi Henri
1992 Bulletin de l'APMEP. N° 385. p. 401-418. L'universalité des mathématiques.
Auteur : Arsac Gilbert