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

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

4411966 Mathématiques et sciences humaines. N° 15. p. 1-14. Logique, mathématiques et langage dans l'oeuvre de G. Boole - I.Ressource en ligne
4421965 Mathématiques et sciences humaines. N° 10. p. 31-46. Les diagrammes de Venn.Ressource en ligne
4431962 Bulletin de l'APMEP. N° 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
4441962 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
4451961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.