Mots-clés – Auteurs

métamathématique

Il y a 14 résultats pour cette recherche

2021 Repères-IREM. N° 122. p. 15-46. Réflexions sur les quadrilatères et leur enseignement.
Auteur : Bernat Julien
2021 Repères-IREM. N° 122.
Auteur : Repères-IREM Comité de rédaction. Dir.
2015 Tangente Hors-série. N° 55. Démontrer : l’art de convaincre.
Auteur : Cohen Gilles. Dir.
2015 Tangente Hors-série. N° 55. p. 22-25. Kurt Gödel : le vrai et le démontrable.
Auteur : Justens Daniel
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Kurt Gödel : le vrai et le démontrable. p. 34-38.
Auteur : Justens Daniel
2006 Revue d’histoire des mathématiques. N° 12. Vol. 1. p. 119-162. La « machine de Grothendieck » se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante.
Auteur : Krömer Ralf
2002 Le théorème de Gödel.
Auteur : César Jean
1993 Hilbert et la logique interne des mathématiques.
Auteur : Gauthier Yvon
1981 Recherches en didactique des mathématiques. Vol. 2/1. p. 37-127. Problèmes de didactique des décimaux.
Auteur : Brousseau Guy
1980 Le théorème de Gödel.
Auteur : César Jean
1962 Bulletin de l’APMEP. N° 222. p. 155-164. Un exemple d’abstraction, de formalisme et de métathéorie (suite).
Auteurs : Balibar Jean ; Gödel Kurt
1962 Lecture commentée d’une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l’axiome du choix et de l’hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.
Auteurs : Balibar Jean ; Gödel Kurt
1961 Bulletin de l’APMEP. N° 217. p. 11-26. Un exemple d’abstraction, de formalisme et de métathéorie.
Auteurs : Balibar Jean ; Gödel Kurt