Accueil Publimath  Aide à la recherche  Requête : métamathématique
Certification IDDN Valid HTML 4.01 Transitional

  dans Afficher les fiches par  
34 fiches trouvées Debut Precedent Reponses 21 à 34

211993 Cahier de DIDIREM. N° Spécial 1. Métaconnaissances en IA, en EIAO et en didactique des mathématiques.Ressource en ligne
221993 Démonstration et signification en mathématiques.
231993 Hilbert et la logique interne des mathématiques.
241990 Contribution à l'étude de l'enseignement à l'Université, des premiers concepts d'algèbre linéaire. Approche historique et didactique. Didactique des mathématiques.
251990 Enseigner autrement les mathématiques en Deug A première année. Deux exemples de discours sur les mathématiques et leur apprentissage à l'usage des étudiants. p. 251-252.Ressource en ligne
261989 Le théorème de Gödel.
271981 Recherches en didactique des mathématiques. Vol. 2/1. p. 37-127. Problèmes de didactique des décimaux.Ressource en ligne
281980 Le théorème de Gödel.
291977 Jeux avec l'infini.
301969 Bulletin de l'APMEP. N° 271. p. 587-596. Variations prudentes sur quelques problèmes d'écriture.
311964 Bulletin de l'APMEP. N° 240. p. 449-458. Les mots et les symboles.
321962 Bulletin de l'APMEP. N° 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
331962 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.Ressource en ligne
341961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.