Page de Garde

Mathématiques et logique

Type doc. :

Livre

Langue :

Français

Editeur(s) :

Année d'édition :

1973
Voir Plus

Afficher le Résumé

Dans la première partie, le texte pourrait passer en revue l'histoire des mathématiques et de la logique, en retraçant les grandes étapes de leur évolution. Cela inclurait probablement des figures marquantes comme Euclide, Descartes, Leibniz, Cantor, G?del, et d'autres, ainsi que les progrès des différentes branches des mathématiques (algèbre, géométrie, analyse, etc.) et de la logique (logique formelle, théorie des ensembles, etc.). La rétrospective pourrait aussi s'intéresser aux problèmes qui ont marqué l'histoire, comme les paradoxes, les conjectures non résolues, ou les théorèmes fondamentaux. et dans La deuxième partie se concentrerait sur les directions futures que pourraient prendre ces disciplines. Cela pourrait inclure des domaines émergents comme les mathématiques computationnelles, l'intelligence artificielle, la cryptographie, ou encore les recherches actuelles en logique, telles que les théories de la complexité, la logique modale, ou les tentatives pour résoudre des problèmes ouverts. Cette partie pourrait aussi aborder les interactions croissantes entre les mathématiques, la physique, et d'autres sciences, et comment elles façonnent l'avenir de ces domaines. Dans l'ensemble, le titre suggère une réflexion sur l'histoire des mathématiques et de la logique tout en explorant les opportunités et défis à venir dans ces domaines essentiels.



N° Bulletin Date / Année de parution Titre N° Spécial Sommaire
Cote Localisation Type de Support Type de Prêt Statut Date de Restitution Prévue Réservation
510 KAC C1 BIB-Centrale / Ouvrages Papier externe disponible
510 KAC C2 BIB-Centrale / Ouvrages Papier externe disponible
510 KAC C3 BIB-Centrale / Ouvrages Papier externe disponible
510 KAC C4 BIB-Centrale / Ouvrages Papier externe disponible
510 KAC C5 BIB-Centrale / Ouvrages Papier externe disponible
510 KAC C6 BIB-Centrale / Ouvrages Papier externe disponible
Kac, M. et al. (1973). Mathématiques et logique . Dunod;