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)
로그인하여 댓글 달기
아직 댓글이 없습니다. 첫 번째로 생각을 공유하세요!