date: 2019-01-21 17:22:30
title: 图灵电子书阅读奖励计划| 极简算法史：从数学到机器的故事
http://www.ituring.com.cn/book/2590
读后感
- 时间轴: 数学-逻辑学-计算机科学-哲学
- 简史类的书籍, 建议画一个时间轴加上各个关键节点, 再来梳理就清晰多了
- 算法简史, 花了很长时间论述数学, 可以参考这本书「计算进化史: 改变数学的命运」
- 还有一本更轻松的「算法小时代：从数学到生活的历变」, 总之, 离不开的都是你 -- 数学
推荐:
- 计算进化史: 改变数学的命运: http://www.ituring.com.cn/book/1926
- 算法小时代：从数学到生活的历变: http://www.ituring.com.cn/book/1994
时间轴
数学-逻辑学-计算机科学-哲学
三次抽象运动(当没有什么事可做的时候, 你在做什么?): 算术 几何 代数
数字 0
一切皆几何 -- 泰勒斯对几何学的热爱最终让他自己完全脱离了数学——他被认为是世界上第一个提出关于永恒与 变化问题的哲学家
数学是被发现还是被证明
逻辑: 三段论 演绎法 归纳法 溯因法
说谎者悖论: 所有克里特人都是骗子 -> 罗素悖论
不完备定理: 真实的 vs 可证明的
三座丰碑: 贝叶斯(概率->网络->理论的阴谋) 香农(证明1+1 信息论) 维纳(控制论)
系统方法: 强有力的定义, 优雅的定理, 既注重事物又注重事物之间的关系
算法如何工作
连接互联网却脱离现实: 柏拉图的洞穴 AR VR
三种不确定性: 未知 预测影响未来 黑天鹅
AI(作者现在持有的态度): 机器翻译 -> 计算机辅助翻译
笔记
哲学就是喝咖啡呀
数学语言是上帝用来书写宇宙的文字
在数学中, 我们永远不会理解所有的事, 但会习惯它
那好吧, 让我们来计算一下
站在巨人的肩膀上 -> 科学是基于假设的
科学知晓原因 -> 大数据+统计 -> 科学的终结 -> 黑天鹅
想合乎逻辑总是容易的，但是想从头至尾一直都合乎逻辑几乎是不可能的
莱布尼茨信仰上帝，对于他来说，这是宇宙和谐唯一的可能解释
互联网，它其实来自不谈论上帝的莱布尼茨
科学是父亲教给儿子, 科技是儿子教给父亲
世人所生活的世界是所有可能存在的世界中最好的一个
人的一切痛苦都来自一件事，那就是不知如何在房间里停下来休息
斯多葛学派: 爬上山丘
智力/智慧的测量
智慧本身是不存在的，但我们有关于这样或那样的事情的智慧 -> 人工智能本身是不存在的，但我们拥有越来越强大的工具，而这些工具可以帮助我们完成这样或那样的事
数学的乐趣: 可以不用计算就做数学
逻辑的乐趣: 完全不合乎逻辑
算法如何工作:
- 一切似乎都在最好的数字世界中发挥着最好的作用
- 算法会根据使用者是谁，而做出不同的反应
- 避免矛盾或争议 -> 试图给用户提供他们想接 收的内容 -> 科学教
- 算法不能解决所有问题
互联网
- 并非公共空间
- 并非全球性的
- 并非环保
- 既不虚拟也非物质
- 并非透明
- 并非中立
- 运作过程并没有完全被理解
- 并非经济市场的保障
- 并非民主的保障
- 并非掌握真相
- 积累的信息正在变得无用
- 并非友善
- 脆弱的
- 并非自动
- 并非自由
- 只有部分可访问
- 并非优质教育的保障
- 并非公平
- 并非免费
- 互为工具
- 不好也不坏
- 民主国家的空前挑战