如題。題主對數學根底,數學哲學,數理邏輯的內容都比較感興趣。前兩天看到一個說法,不同數學家的哲學觀不同(他們是xx主義者),可能導致他們對數學根底理論的”滿足程度“不同。 我就想,這些xx主義的哲學觀是否也是他們樹立不同數學根底理論(集合論,范疇論,類型論..)的成因呢,或者說,數學理論是否反應了數學家(這里可能更多指(數理)邏輯學家)們看待國際的方法呢。 題主想借此看能不能略微了解到數學家們樹立理論的“動機”。
如題。題主對數學基礎,數學哲學,數理邏輯的內容都比較感興趣。前兩天看到一個說法,不同數學家的哲學觀不同(他們是xx主義者),或許導致他們對數學基礎理論…