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 30秒で
- (noun) 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.
Meanings
-
1
noun 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.
Summary
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.
- (noun) 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.
役に立った？
コメント (0)
ログインしてコメント
まだコメントがありません。最初に考えをシェアしましょう！
