超小小中大超大
数学哲学译文丨形式主义的两个教条（一） (11-11)
好书推荐：
数学联邦政治世界观、
万人迷被强制爱的日常、
惊世狂妃：皇叔一宠到底、
高冷冥夫宠上身、
潜执CP（自创版）、
穿书炮灰女配要修仙、
万人迷omega被疼爱了、
黑化徒弟萌宠师、
我的神宠、
幻境：多元宇、
证明与其说是人类思维的记录, 不如说更像电影或戏剧的剧本, 相当于汽车或建筑物等人工制品的设计图. 就像作家写剧本, 技术人员绘制设计图一样, 数学家创作证明, 数学家追求的不是定理, 而是证明. 我们是作为数学活动的结果发现或创造出证明的, 而不是说证明就是演绎的记录. 正如9.3节所讨论的, 如果人类认知活动中有可称为演绎和发现的东西, 那么创作证明就是发现, 确认证明的正确性就是演绎. 而理解证明是一种不同于演绎和发现的心智活动, 似乎应该称之为类似于理解小说或电影的「理解故事」[40].
数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。
相关小说
连载中
- 我的妻子是杀手
- 大纲设定：“你说，全球人口几十亿，我们相遇的概率是不是很小啊？”“好像是的。”“那，好在遇见了你。”一滴泪落在了地面上，也许，他已经离开了很......
- 0.5万字8个月前
连载中
- 重生回那年夏天之是不是搞错了什么
- 2.6万字8个月前
连载中
- 清卿仙缘
- 【本书与2019年12月17日正式签约，谢绝转载哦！】他，越梓清，是一步入神的仙者。却在登神的最后关头，被心爱之人和挚友背叛。走火入魔…落得......
- 36.1万字8个月前
连载中
- —我是妖—
- 黑衣赤瞳的女孩子对那温润的男人咧嘴笑了：“儿砸，多年不见，你居然比我高了？”……“打个赌，你能把站在天台上那个人救下来，我就请你吃一年的饭！......
- 10.3万字8个月前
连载中
- CH历史向（合集）
- CH、省拟圈的放心入，历史向，主讲坑日战争时期发生的一些事，作者刚来话本，有什么错误的地方请反馈，感谢
- 0.2万字8个月前
连载中
- 颜冰：兮遇倾城色
- “如果我死了，你会伤心吗？”“嗯……不会”“真的不会吗？”“真的不会”――――――――“如果我死了，你会伤心吗？”“不会”……“也好.那……......
- 5.7万字8个月前