Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Intuitionistic Set Theory
Contenu du livre :
Bien que la théorie intuitionniste (ou constructive) des ensembles IST ait reçu une certaine attention de la part des logiciens mathématiques, à ma connaissance aucun livre fournissant une introduction systématique au sujet n'a encore été publié.
Cela peut être dû en partie au fait que, en tant que forme de logique intuitionniste d'ordre supérieur - la logique interne d'un topos - la TSI a été principalement développée dans un contexte de théorie des topos. En particulier, les preuves de cohérence relative avec la TSI pour les assertions mathématiques ont été (implicitement) formulées en termes de topos ou de sheaf-theoretic, plutôt que dans le cadre des modèles à valeurs d'algèbres de Heyting, l'extension naturelle à la TSI des modèles à valeurs booléennes bien connus pour la théorie classique des ensembles.
Dans ce livre, je propose une introduction brève mais systématique aux TSI, qui développe le sujet jusqu'à l'utilisation des modèles à valeur d'algèbre de Heyting dans les preuves de cohérence relative. Je pense que la TSI, présentée dans le langage familier de la théorie des ensembles, intéressera particulièrement les logiciens, mathématiciens et philosophes qui ne connaissent pas les méthodes de la théorie des topos.
Autres informations sur le livre :
| ISBN : | 9781848901407 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
