Fondements des mathématiques

Discussion générale entre passionnés et amateurs de mathématiques sur des sujets mathématiques variés
Etienne21
Messages: 1
Enregistré le: 08 Juil 2019, 22:25

Fondements des mathématiques

par Etienne21 » 07 Oct 2019, 14:19

Bonjour à tous. Si vous avez une impression de déjà-vu en lisant la suite, c'est à cause d'un message semblable mystérieusement disparu...

Je suis l'auteur d'une nouvelle série d'ouvrages mathématiques (niveau 1er/2e cycle), les Éléments de mathématiques pour le XXIe siècle, dont les deux premiers volumes viennent de sortir. Je vous présente ces deux livres, consacrés aux fondements des mathématiques :
- Le premier volume traite essentiellement de la logique des propositions et de la logique des prédicats, de systèmes formels utilisés en théorie de la démonstration (logique classique et intuitionniste), de la théorie de l'arithmétique de Peano, et donne une première approche de quelques structures algébriques classiques (groupes, anneaux, treillis et algèbres de Boole, ...).
- Le deuxième volume détaille la théorie des ensembles de Zermelo-Fraenkel et présente quelques applications : introduction des concepts de fonctions, relations, cardinaux, structures algébriques (compléments sur les groupes, anneaux, ...) et morphismes ; construction de l'ensemble des entiers naturels et de l'ensemble des entiers relatifs, et applications à quelques éléments de mathématiques discrètes (introduction à l'analyse combinatoire et à la théorie des nombres).

Des extraits (sous la forme de fichiers pdf) sont disponibles via ce site (ou directement : volume 1, volume 2).

Cette série d'ouvrages devrait, en théorie, être accessible même sans connaissance préalable. Elle est construite de telle sorte que chaque définition et théorème ne fasse appel qu'à ce qui a été vu précédemment, et selon trois axes : l'ensemble est
- didactique, avec des preuves très détaillées, des explications informelles, et de nombreux exemples et contre-exemples ;
- complet, voire encyclopédique, avec un exposé de nombreuses notions, des théorèmes tous démontrés (pas de "la preuve est laissée en exercice" et autres "on démontre facilement que"!), et de nombreux détails historiques (notamment sur l'origine des notations et du vocabulaire mathématique) ;
- synthétique, avec en particulier la volonté de multiplier les points de vue ; par exemple, les sujets peuvent être abordés de façon à la fois formelle et informelle, et il peut arriver que je donne plusieurs définitions équivalentes d'un même concept, ou plusieurs preuves d'un même théorème.



 

Retourner vers ⚜ Salon Mathématique

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 7 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite