数学哲学译文丨形式主义的两个教条（一） (11-11)

证明与其说是人类思维的记录, 不如说更像电影或戏剧的剧本, 相当于汽车或建筑物等人工制品的设计图. 就像作家写剧本, 技术人员绘制设计图一样, 数学家创作证明, 数学家追求的不是定理, 而是证明. 我们是作为数学活动的结果发现或创造出证明的, 而不是说证明就是演绎的记录. 正如9.3节所讨论的, 如果人类认知活动中有可称为演绎和发现的东西, 那么创作证明就是发现, 确认证明的正确性就是演绎. 而理解证明是一种不同于演绎和发现的心智活动, 似乎应该称之为类似于理解小说或电影的「理解故事」[40].

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。