Un cours d'algèbre constructive (Broché)
- Livres mathématiques
- Ray Mines, Fred Richman, Wim Ruitenburg
Date de parution
09/07/2020
Format
Broché
Editeur
Presses universitaires de Franche-Comté
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.
Dans l'univers mathématique constructif, le mathématicien idéal peut seulement réaliser des constructions finies par nature. Comme le dit Errett Bishop dans son Constructive Manifesto (1967), « la seule manière de démontrer qu'un objet existe est de donner une procédure finie pour le trouver ». En conséquence, les théorèmes d'existence dans ce livre ont tous un contenu algorithmique implicite qui permet de construire l'objet voulu lorsque les hypothèses sont satisfaites.
L'algèbre constructive peut aussi être vue comme une généralisation de l'algèbre classique en ce qu'elle ne suppose pas la loi du tiers exclu. Tout théorème dans ce livre peut donc également être compris comme se référant à l'univers conventionnel classique du discours mathématique, et les démonstrations du livre 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.
Auteur(s) | Ray Mines, Fred Richman, Wim Ruitenburg |
---|---|
Collaborateur | Stefan Neuwirth |
Traducteur(s) | Henri Lombardi, Stefan Neuwirth |
Rayon | Livre|Savoirs|Sciences et techniques|Mathématiques |
Libellé | Un cours d'algèbre constructive (Broché) |
Postfacier | Henri Lombardi |
Catégorie produits | sciences_pures |
Date de parution | 09/07/2020 |
Nombre de pages | XII-399 |
ISBN | 978-2-84867-782-8 |
Collection | Didactiques : Mathématiques |
Préfacier | Henri Lombardi |
Distributeur | CID |
Dimensions (cm) | 16 x 22 x 1.9 |
Poids du produit | 500 g |
Sciences pures | Mathématiques |
EAN | 9782848677828 |
Titre de l'œuvre | Un cours d'algèbre constructive |
Format | Broché |
Editeur | Presses universitaires de Franche-Comté |
Thème CLIL | Algèbre |
Des millions de
références en vente
Cumulez des Tickets
retrait gratuit en magasin
Tous vos produits
à prix E.LECLERC
Paiements
100% sécurisés
Options de livraisons du produit
Indisponible