Accueil Publimath  Aide à la recherche  Requête : récurrence
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
864 fiches trouvées Début Précédent Réponses 861 à 864

8611962 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
8621961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.
8631961 Le calcul des probabilités et l'enseignement. La mathématique des programmes économiques. p. 67-84.Ressource en ligne
8641956 Bulletin de l'APMEP. N° 176. p. 313-318. Exemple d'utilisation d'un formalisme : Théorèmes de Simson, de Miquel et de Clifford.