... 数学输入面板 Panel zapisu matematycznego 数学直觉主义 intuicjonizm 数学自动更正 Autokorekta matematyczna ...
基于2个网页-相关网页
数学直觉主义
Mathematical intuitionism
以上为机器翻译结果,长、整句建议使用 人工翻译 。
在20世纪关于数学基础的争论当中,直觉主义流派往往将康德认作是其理论的鼻祖。
In the dispute about the foundation of mathematics in the 20th century, philosophers approving Intuitionalism usually take Kant for the originator of their theory.
youdao
在数学哲学中,直觉主义,或者新直觉主义 (对应于前直觉主义),是用人类的构造性思维活动进行数学研究的方法。任何数学对象被视为思维构造的产物,所以一个对象的存在性等价于它的构造的可能性。
详细内容
应用推荐
模块上移
模块下移
不移动