métamathématique

Il y a 14 résultats avec cette recherche.

1981 Recherches en didactique des mathématiques. Vol. 2/1. p. 37-127. Problèmes de didactique des décimaux.

Auteur : Brousseau Guy
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 Bibliothèque Tangente. N° 55. Les démonstrations.

Auteur : Cohen Gilles. Dir.
1980 Le théorème de Gödel.

Auteur : César Jean
2002 Le théorème de Gödel.

Auteur : César Jean
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. 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
2021 Repères-IREM. N° 122. p. 15-46. Réflexions sur les quadrilatères et leur enseignement.

Auteur : Bernat Julien
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
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
1993 Hilbert et la logique interne des mathématiques.

Auteur : Gauthier Yvon