puff-puff-pass

puff-puff-pass
NSFL

puff-puff-pass关注的小站  · · · · · ·  ( 全部 )

张大春
张大春
陈丹青
陈丹青
西方文学理论
西方文学理论
漸近線文學季刊
漸近線文學季刊
中国现代文学馆公益讲座
中国现代文学馆公益讲座

puff-puff-pass的评论  · · · · · · · · · ·  ( 评论11 )

puff-puff-pass的书  · · · · · ·  ( 7本在读 · 318本想读 · 542本读过 · 11个书单 )

在读
想读

puff-puff-pass的电影  · · · · · ·  ( 22部想看 · 2346部看过 · 2个片单 )

想看
看过
N-omadic
S-cattered
F-rantic
L-ingering

puff-puff-pass的广播  · · · · · ·  ( 全部 )

puff-puff-pass 读过 Logicism, Intuitionism, and Formalism

作者在在序言中综述逻辑、直觉和形式三种理论视角的历时性的起源、发展与争论时，还特别关注其各自的哲学背景和逻辑结构等“元问题”：①逻辑主义试图将数学归约为逻辑，这涉及到逻辑与数学的关系、数学真理的性质等哲学问题；②直觉主义强调构造性和直觉，这涉及到数学对象的存在性和数学证明的性质；③形式主义则关注数学的形式化和证明论，这涉及到数学的工具性和一致性问题。进而通过分析这些理论发展的一致性和有效性，试图评估这些视角或方法在数学基础中的适用性（当代应用）和局限性（面临困境）。

2月8日    回应
- 未登录无法查看更多内容 -

> puff-puff-pass添加的条目

订阅puff-puff-pass的收藏:
feed: rss 2.0

投诉不良信息