Corps et modèles

Ce livre résulte de recherches sur les transformations récentes d'un concept aussi vieux que la mathématique elle-même, celui de nombre réel. De l'analyse classique à l'algèbre "moderne" et de celle-ci à la théorie des modèles, on trace ici le parcours singulier d'une alliance réussie des mathématiques et de la logique. La structure algébrique de corps réel clos et la théorie élémentaire de cette structure conduisent à déplacer la frontière du champ d'intervention des concepts analytiques dans de nombreux problèmes. Ce déplacement est l'objet de cette enquête, qui décèle l'émergence d'une perspective inédite, offerte à présent aux stratégies de la recherche mathématique : combiner l'analyse formelle aux techniques spécifiques de l'algèbre, la géométrie, de la théorie des nombres, etc. S'il est possible de songer aujourd'hui à un philosophie des mathématiques, on ne pourra négliger le matériau ici présenté, l'auteur mettant en valeur les éléments qui invitent à repenser le rapport de cette science à la logique en qui, aujourd'hui, elle découvre pour ses multiples facettes une partenaire universelle.