Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Constructivism in Mathematics, Vol 1: Volume 121
Contenu du livre :
Ces deux volumes couvrent les principales approches du constructivisme en mathématiques.
Ils présentent une introduction approfondie et actualisée aux métamathématiques des mathématiques constructives, en accordant une attention particulière à l'intuitionnisme, au constructivisme de Markov et à la théorie des types de Martin-Lof avec sa sémantique opérationnelle. Une exposition détaillée des caractéristiques de base des mathématiques constructives, avec des illustrations tirées de l'analyse, de l'algèbre et de la topologie, est fournie, avec une attention particulière aux aspects métamathématiques.
Le volume 1 est une introduction autonome à la pratique et aux fondements du constructivisme, et ne nécessite pas de connaissances spécialisées au-delà de la logique mathématique de base. Le volume 2 contient principalement des sujets avancés de nature théorique et sémantique.
Autres informations sur le livre :
| ISBN : | 9780444702661 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 1988 |
| Nombre de pages : | 355 |
Achat:
Actuellement disponible, en stock.
