如题。题主对数学根底,数学哲学,数理逻辑的内容都比较感兴趣。前两天看到一个说法,不同数学家的哲学观不同(他们是xx主义者),可能导致他们对数学根底理论的”满足程度“不同。 我就想,这些xx主义的哲学观是否也是他们树立不同数学根底理论(集合论,范畴论,类型论..)的成因呢,或者说,数学理论是否反应了数学家(这里可能更多指(数理)逻辑学家)们看待国际的方法呢。 题主想借此看能不能略微了解到数学家们树立理论的“动机”。
如题。题主对数学基础,数学哲学,数理逻辑的内容都比较感兴趣。前两天看到一个说法,不同数学家的哲学观不同(他们是xx主义者),或许导致他们对数学基础理论…
