计算主义论文

莱布尼茨、计算主义与两个哲学难题
论文摘要莱布尼茨的单子是无形的自动机,如果把它看作抽象的图灵机,莱布尼茨单子论式的可能世界就是当下计算主义关心的数字宇宙。在这种抽象的"单子"宇宙中,数学的...