Un cours d'algèbre constructive

  • De : Wim Ruitenburg, : Fred Richman, : Ray Mines
  • Traduit par : Henri Lombardi
  • Paru le : 11/06/2020
  • Éditeur : Presses universitaires de Franche-Comté, Springer, New York, NY
  • Collection(s) : Pratiques et Techniques
  • Nombre de pages : 400
  • Format : 16 x 5,1 cm
  • Poids : 500 g
  • Référence : 9782848677828
20.00

Sur commande, habituellement expédié sous 4 à 7 jours ouvrés

Résumé

Ce livre est la traduction française du classique _A Course in Constructive
Algebra_ (1988). Il présente les notions de base de l'algèbre moderne d'un
point de vue constructif.

Les objets mathématiques ne sont pas limités à une classe restreinte d'«
objets constructifs ».

L'algèbre constructive est une généralisation de l'algèbre classique en ce que
l'on ne suppose pas la loi du tiers exclu. Tout théorème dans ce livre peut
donc être compris comme se référant à l'univers conventionnel classique du
discours mathématique, et les démonstrations sont correctes dans cet univers.
L'agréable surprise est que la démonstration constructive, normalement plus
précise, est dans bien des cas plus simple.