- Notice
Mathématiques constructives
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Constructif, Théorie du
Constructivisme (mathématiques)
MSC 03Fxx (2000)
Théorie du constructif
Constructif, Théorie du
Constructivisme (mathématiques)
MSC 03Fxx (2000)
Théorie du constructif
>>Terme(s) spécifique(s) :
Fonctions calculables
Incomplétude, Théorèmes d'
Mathématiques intuitionnistes
Fonctions calculables
Incomplétude, Théorèmes d'
Mathématiques intuitionnistes
Source(s) :
Notions Philosophiques, 1990
Notions Philosophiques, 1990
Domaine(s) : 510
Correspondance(s) :
- LCSH (Library of Congress Subject Headings) : Constructive mathematics http://id.loc.gov/authorities/subjects/sh85031452
- LCSH (Library of Congress Subject Headings) : Constructive mathematics http://id.loc.gov/authorities/subjects/sh85031452
Correspondance(s) exacte(s) :
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Mathématiques constructives
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Mathématiques constructives
Identifiant de la notice : ark:/12148/cb119469160
Notice n° :
FRBNF11946916
Création :
82/09/08
Mise à jour :
04/07/15