Vocabulary and Alignment Repository

supported by

Repository homepage | STITCH

<< Back to Index

Concept information

URI	http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11944489b
prefLabel	x-notation FRBNF119444899 fr Mathématiques intuitionnistes
altLabel	fr Intuition (mathématiques) fr Intuitionnisme (mathématiques) fr MSC 03F55 (2000)
definition	fr 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
editorialNote	fr Source : Notions Philosophiques, 1990-08 (art. Constructivisme (mathématiques) et Intuitionnisme). - GLU
note	fr Domaine : 510
inScheme	Rameau Rameau - Noms Communs
broader	Logique symbolique et mathématique Mathématiques -- Fondements Mathématiques constructives
narrower	Logique intuitionniste
related	Formalisme (mathématiques)

---

Mappings (simple SKOS statements)

Mapping Relation	Concept
closeMatch	http://id.loc.gov/authorities/sh85067656#concept

---

Mappings (OAEI cells)

Concept as left hand side

URI	Link to details	prefLabel	Mapping Relation	Measure
http://id.loc.gov/authorities/sh85067656#concept	details	http://id.loc.gov/authorities/sh85067656#concept	http://www.w3.org/2004/02/skos/core#closeMatch	1.0
http://id.loc.gov/authorities/sh85067656#concept	details	http://id.loc.gov/authorities/sh85067656#concept	http://www.w3.org/2004/02/skos/core#closeMatch	1.0

No mappings found from other concepts to this concept

---

Downloading

Download

Format of the data:  XML-encoded RDF json

or as a URL: servicehost/vocreptags/RestVocabularyRepository/concept?format=rdf&uri=http%3A%2F%2Fstitch.cs.vu.nl%2Fvocabularies%2Frameau%2Fark%3A%2F12148%2Fcb11944489b