读书笔记：《艾伦 . 图灵 传》

    《艾伦 . 图灵 传 . 如谜的解谜者 ALAN TURING THE ENIGMA》 英 . 安德鲁 . 霍奇斯 著

    艾伦·麦席森·图灵（英语：Alan Mathison Turing，1912年6月23日~1954年6月7日），英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。-- 百度百科
    图灵试验：如果一个人使用任意一串问题去询问两个他不能看见的对象：一个是正常思维的人；一个是机器，如果经过若干询问以后他不能得出实质的区别，则他就可以认为该机器也具备了人的“智能”(Intelligence)。-- 百度百科   
    自洽：内在逻辑一致，不存在悖论

    艾伦：他在语言方面似乎没有任何天赋；总是愿意阳光地对待这个世界；智商很高，但心智不健全；孩子气；用各种方式，解决各种问题；小池塘里的大鱼；不善于处理麻烦的细节；不追求舒服，要追求事实；寻找自己感兴趣的问题；总结和泛化；没想过改变这个世界，只是想解释这个世界；孤独，图灵的自我意识核心，内省；纯粹而简单
    我们可能还需要花很多年，才能确定更远的东西是什么，但我看不出来有任何理由可以证明，机器无法达到人类的智能，并与人类进行平等的竞争。
    如果一台机器具有与大脑一样的工作原理，那么这台机器就同样具有思维
    新的技术改变了人们的沟通方式
    任何东西的存在都是有原因的，而且这种原因源自科学，而非上帝
    怀疑，严肃地考查每一个问题，得出一个符合逻辑的结论，绝对化的逻辑推理
    艾伦所做的并不是阅读一本书，他是在为自己收集想法
    纪律、自律、责任
    不在于政治贡献，而在于一种质疑权威的决心
    机器的思维状态：机器可以执行任何明胡的过程，不需要思维；想象力的风暴
    图灵机：为抽象符号和实体世界之间建起了桥梁，连接逻辑世界和实体世界；状态、指令；状态、位置、读出、写入
    人们应该服从自己本能的感觉
    在逻辑世界中产生想法是一回事，但要把这些想法向现实世界中的人们表达清楚则完全是另一回事；没有什么问题是只靠思想就能解决的
    结合了代数、语言学和心理学技巧的特定方法；把模糊的直觉变成精确的机械过程，把直觉机械化
    机器，以及人类的一些机械行为，已经在很大程度上替代了人类的思考、判断和识别；思维过程的机械化；可以自动学习的机器
    对于任何只有两个玩家的特定规则的游戏，对每位玩家来说，都分别存在着最优策略：把自己的最坏的局面搞好，同时把对手的最好的局面搞糟（零和游戏中，一方的损失总会变成另一方的收益）
    用自动开关设备取代人工操作 -- 自动化？
    科学家会把精神全部集中在科学研究的内容上，无暇考虑其意义
    条件分支，指令；机器：需要知道它能做，不需要知道它怎么做
    速度和成本上进行平衡，速度和经济性；数字本身的复杂度和无序；效率、空间、资源；速度比简单更重要；如要想提高计算速度，就必须实现自动化操作；经济性和可访问性
    普适性原则
    专家有被取代的趋势，因为任何技术一旦有了成熟方法，就可以设计一套指令表，由电子计算机自动完成。
    机器的应用并不能取代人类，因为机器需要由人类来制造；利用机器为人类服务
    根据规则做出决策，不能称为智能；机器可以改变自己的指令；智能机器迟早会取代“专家”
    无意义的废话：任何科学都是存在于人的思维之中，如果人类不给它赋予特定的语义，那么它就没有任何意义
    不断地前后移动，但并不是每一步都能产生有用的结果
    描述是非线性的，而预测是线性的 -- 用线性思维应对非线性，能准确吗？
    选择的自由，这是一种巨大的特权
    对待科学，敬畏而虔诚
    任何一种“简化”，都是某种程度上的欺骗

    家庭是最后一个可以谎的地方
    信息可以拥有毁灭性的力量
    猜想本身并无害处
    不是所有的人都依据理性做事
    希尔伯特：数学是完备的吗？是不是每个命题都能证明或证伪；数学是相容的吗？也就是说用符合逻辑的步骤和顺序，永远不会推出矛盾的命题；数学是可判定的吗？是否存在一个机械的方法，可以应用于任何命题，然后自动给出该命题的真假。 
    做题让你明白“场合”和“条件”，明白在什么条件下可以用
    窄视症和拖延症
    没有时间停下来思考 -- 没有思考能有更大的进步？更明确的方向？也许都对
    历史不是人的意志，而是人们对于意志的表象
    罗素：蠢货对智者的言谈所做的翻译，永远都不可能准确，因为他会不知不觉地把他听到的话翻译成他自己能理解的东西。-- 也是只是自己理解的，而非本来的意思。

    Enigma、英格玛、FORTRAN
    冯诺依曼、克劳德.香农
    希尔伯特空间、中心极限定理、哥德尔定理、差分机、行为机、黎曼函数、床位、群论、傅立叶变换、裴波那契、指令便条、皮格马利翁
    速度与经济、数理与逻辑、有限状态机、最大化最小化思想、抽象与数学、思考机器、训练