数学结构主义_数学哲学术语 - 威林百科weilinceramic.com

数学结构主义

数学哲学术语

数学结构主义是数学哲学术语。

在数学哲学中，结构主义(构造主义)认为要证明一个数学对象存在就必须把它构造出来。如果假设一个对象不存在并从该假设推导出一个矛盾，对于结构主义者来说不足以证明该对象存在。见构造式证明。

结构主义常常和直觉主义混淆，实际上，直觉主义只是结构主义的一种。直觉主义强调数学的基础建立在数学家们个人的直觉上，这样就把数学在本质上作为一种主观活动。结构主义不这样强调，并和对数学的客观看法保持一致。

参考资料

最新修订时间：2022-12-16 14:42

条目作者

概述

参考资料