✨ อัปเดตล่าสุด: News Update

Mathématiques intuitionnistes

data.idref

Élément EAD

Identifiant pérenne de la notice : 027392767

URI de l'entité : http://www.idref.fr/027392767/id

Notice de type Rameau

Point d'accès autorisé

Mathématiques intuitionnistes

Variantes de point d'accès

Intuition (mathématiques)

[Nom commun]

Intuitionnisme (mathématiques)

[Nom commun]

MSC 03F55 (2000)

[Nom commun]

Informations

Note publique d''information :

L'intuitionnisme en mathématiques est une école de pensée, variante moderne du constructivisme mathématique, dont le précurseur est L. E. J. Brouwer et qui fonde les mathématiques sur l'intuition

Termes génériques

Logique mathématique

Mathématiques, Fondements

Mathématiques constructives

Terme spécifique

Logique intuitionniste

Notice d'autorité liée

Autre Formalisme (mathématiques) (Voir aussi)

Source

GLU

Notions Philosophiques, 1990-08 (art. Constructivisme (mathématiques) et Intuitionnisme)

Identifiants externes

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb11944489b

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet

Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

Terme équivalent dans un autre système : Mathématiques intuitionnistes

Date de consultation du référentiel ou de la classification externe : 2004-07-16

Code du système ou de la classification utilisé : RVMLaval

Terme équivalent dans un autre système : Intuitionistic mathematics

Date de consultation du référentiel ou de la classification externe : 2017-02-09

URI : http://id.loc.gov/authorities/subjects/sh85067656

Code du système ou de la classification utilisé : LCSH

Informations sur la notice

Identifiant de la notice : 027392767

RCR créateur de la notice : 0004

Date de création : 08-09-1982

RCR dernier modificateur de la notice : 1999

Date de dernière modification : 13-06-2023 à 05 h 50

... Références liées : ...