English Dictionary

intuitionism

名詞

可算名詞 不可算名詞

(mathematics) 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.

日本語の意味

直感主義とは、数学・論理学におけるアプローチであり、矛盾による証明を避け、存在の証明には具体的な構成が必要とされる考え方です

Intuitionism challenges the use of the law of excluded middle in proofs within classical mathematics.

直観主義は古典数学の証明における排中律の使用に異議を唱える。

意味（1）

(mathematics) 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.

intuitionisms （ plural ）