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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Dans ce recueil de 13 nouvelles, la jeune autrice mexicaine frappe fort mais juste
Une fiction historique glaçante et inoubliable, aux confins de l’Antarctique
Découvrez les derniers trésors littéraires de l'année !
"On n'est pas dans le futurisme, mais dans un drame bourgeois ou un thriller atmosphérique"
