發(fā)布時(shí)間：2025-02-11 17:23

　　 數(shù)學(xué)對(duì)象的實(shí)在性問(wèn)題一直是數(shù)學(xué)哲學(xué)中爭(zhēng)論的焦點(diǎn)。作為二十世紀(jì)數(shù)學(xué)基礎(chǔ)三大流派之一的形式主義常常被認(rèn)為是反實(shí)在論的;而新近頗受矚目的多宇宙觀則似乎應(yīng)持有實(shí)在論立場(chǎng)。本文試圖論證,形式主義的要義或許在于形式系統(tǒng)以及元數(shù)學(xué),因此經(jīng)過(guò)某種重構(gòu)后的形式主義在本體論上可以是中立的;另一面,多宇宙觀中的核心概念則可視為理想元,因而多宇宙觀可以納入到這一新的形式主義框架中;進(jìn)而,這兩者的結(jié)合可以支持、推動(dòng)當(dāng)前的數(shù)學(xué)實(shí)踐甚至創(chuàng)造新的數(shù)學(xué)實(shí)踐形式。

【文章頁(yè)數(shù)】：13 頁(yè)

【文章目錄】：
1 引言
2 多樣的多宇宙觀
3 形式主義的本體論立場(chǎng)
4 重構(gòu)形式主義
5 形式主義視角下的多宇宙觀
6 結(jié)束語(yǔ)



本文編號(hào)：4033598