Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

intuitionism en · NOUN

Etymology

Etymology tree English intuition Proto-Indo-European *-id- Proto-Indo-European *-yéti Proto-Indo-European *-idyéti Proto-Hellenic *-íd͏̌d͏̌ō Ancient Greek -ῐ́ζω (-ĭ́zō) Proto-Indo-European *-mos Proto-Indo-European *-mós Ancient Greek -μός (-mós) Ancient Greek -ισμός (-ismós)der. English -ism English intuitionism From intuition + -ism.

Meanings

  1. (countable, uncountable) An approach to mathematics/logic which avoids proof by contradiction, and which requires that, in order to prove that something exists, one must construct it.

Forms

SpellingFeaturesLabelsSource
intuitionisms Number=Plur lexicographic

Coordinates

logicism · formalism

Deriveds

ultraintuitionism · pre-intuitionism

Relateds

intuitionist · intuitionistic · intuitionistic logic

Translations (25)

nl intuïtionisme (approach to mathematics which avoids proof by contradiction) · de Intuitionismus (approach to mathematics which avoids proof by contradiction) · ky интуитивизм (approach to mathematics which avoids proof by contradiction) · it intuitivismo (approach to mathematics which avoids proof by contradiction) · is innsæiskenning (approach to mathematics which avoids proof by contradiction) · it intuizionismo (approach to mathematics which avoids proof by contradiction) · pl intuicjonizm (approach to mathematics which avoids proof by contradiction) · fa شهودگرایی ریاضی (approach to mathematics which avoids proof by contradiction) · es intuicionismo (approach to mathematics which avoids proof by contradiction) · ja 直観主義 (approach to mathematics which avoids proof by contradiction) · kk интуиционизм (approach to mathematics which avoids proof by contradiction) · fi intuitionismi (approach to mathematics which avoids proof by contradiction) · km អព្ភន្តរញាណនិយម (approach to mathematics which avoids proof by contradiction) · cmn 直觀主義 /直观主义 (approach to mathematics which avoids proof by contradiction) · lt intuityvizmas (approach to mathematics which avoids proof by contradiction) · hy ինտուիցիոնիզմ (approach to mathematics which avoids proof by contradiction) · cmn 直覺主義 /直觉主义 (approach to mathematics which avoids proof by contradiction) · ru интуитиви́зм (approach to mathematics which avoids proof by contradiction) · tr sezgicilik (approach to mathematics which avoids proof by contradiction) · uk інтуїціоні́зм (approach to mathematics which avoids proof by contradiction) · kk интуитивизм (approach to mathematics which avoids proof by contradiction) · fr intuitionnisme (approach to mathematics which avoids proof by contradiction) · ga iomasachas (approach to mathematics which avoids proof by contradiction) · ka ინტუიციონიზმი (approach to mathematics which avoids proof by contradiction) · pt intuicionismo (approach to mathematics which avoids proof by contradiction)