《GEB-EGB》-人工智能

 1、列昂汉肯的汉肯句子，指出存在推导。
汉肯句子的显性与隐性，对应于自组装与非自组装。如烟草花叶病毒的自组装系统，只需要适当环境而无需为各部分编码。
细胞如何阻止一个基因：
    答案：细胞使基因转录不出来，即设置阻遏物，可拴在DNA上特定部位(就是操纵基因)，它后面的基因就叫操纵子。
根据细胞的反馈与前馈，对DNA进行抑制、阻遏与诱导作用。
丘奇定理：没有一个切实可靠的方法总能区分开TNT的定理和非定理。
塔斯基-丘奇-图灵：没有一种切实可靠的方法总能区分开阵的数论语句和假的数论语句。
相似观点的人：哲学家休伯特·德雷福斯、贾基、摩蒂莫点陶布、卢卡斯，生物学家迈克尔·波拉尼、神经学家约翰·埃克勒斯。
特里·维诺格拉德《理解自然语言》
图灵喜欢的《匹克威可外传》，并研究生物学的形态发生问题。
人工智能的核心区分问题：物理能力与心智能力。
图灵针对人工智能的9问9反——P820-822

2、人工智能领域划分：

     机器翻译；
     博弈论(阿瑟·塞缪尔的跳棋程序)；
     数学各分支中的定理证明；
     数学表达式的符号处理；
     视觉；
     听觉 麦克斯·马修斯计算机作曲；
     自然语言理解；
     自然语言生成；
     构造有独创性的思想或艺术品；
     类比思维；
     学习(参数调整和概念形成)；

改变问题空间：当问题空间比物理空间更抽象时，人也会缺乏远见，而不会如要往南时为中间会有各种方向的移动而疑惑。
拉玛奴衍：印度数学家
人工智能的数学应用：“麦克西玛”程序，可对复杂数学进行符号处理，能感觉“该往哪里走”，它里面的“赛因”程序可进行函数的符号积分。该技能具有大量知识、问题分解技术、启发式规则等特殊机器。
                     道格拉斯·利内特的程序，目的是在初等数学中发明概念并发现事实，但它没有有趣的感觉。
人工智能的关键：知识表示
克里克：地球上存在两种分子，一种便于复制(DNA)，一种长于行动(蛋白质)，能否同一，或者分开本质优点更大？
人类的遗忘，相当于是失去了一个高层的指针，而非信息被删除，所以，保持通向存储的经验的路径是极端重要的。
人类之所以厌烦，可能是了解了其全部行为的空间界限。
麻省理工——“积木世界”，涉及视觉和计算机掌握语言的问题。

维诺格拉德的“施德鲁”程序——虽没达到符号层，但其的构造和分析过程，可为认识只能提供大量材料，他利用了Planner程序，但是其有一个缺点，即无法引导他们达到预想的目标。

人工智能之后的下一个阶段，可能是科学的自我应用，即科学把自己当作研究对象。
所有本质上依赖于主体和客体的聚变的结果都是限制性的结果。
罗杰·斯珀里《心智、大脑与人本主义价值观》
约瑟夫·魏增鲍姆《计算机能力与人类理性》
大卫·曼德尔《巴赫读本》
查尔斯·巴贝奇《一位哲学家生活中的片段》
莫里森《查尔斯·巴贝奇和他的计算机械》
刘易斯·卡罗尔《心智》
赫伯特·梅什科夫斯基《非欧几里得几何学》
乔治·斯塔纳《巴别塔之后》
列奥纳德·迈尔《音乐、美术和思想》
吉奥麦·库伯斯《禅宗公案》
安德森和小贝尔纳普《衍推》
保罗·李普士《禅宗无门关》
《禅宗佛学》
卡尔·萨根《与天外智能通讯》
史蒂文·罗斯《有意识的大脑》
爱德华·威尔逊《昆虫社会》
迪恩·伍尔德里奇《机械的人》
威廉·洛克《语言与机器翻译》
阿罗·安德森《心智和机器》
尧奇《量子是实在的吗？》
高夫曼《框架分析》
乌兰姆《一位数学家的奇遇》
詹姆斯·纽曼《数学世界》
尚克与科尔比《思维与语言的计算机模型》
马修斯《计算机作曲》

文献目录：

艾伦·约翰《Lisp剖析》
贝克·阿道夫《现代物理学与反物理学》
巴克斯蒂芬《数理哲学》——将欧几里得与非欧几何
贝克曼，彼得《π的历史》
贝尔，埃里克·坦普尔《数学家》
贝纳塞拉夫，保罗《一元论者》——反驳卢卡斯最核心著作
《数学哲学选读》
鲍登，马格里特《人工智能与自然人》——涉及人工智能最好的著作
毕克，基斯《宇宙观——40个步骤的世界》——适合儿童
邦加德《模式识别》
杰弗里《可计算性与逻辑》《形式逻辑》
戴维斯，马丁《不可判定的》——元数学的汇编
古德施坦因《数理逻辑的发展》——可当工具书
霍尔，艾利森《计算研究》——停机问题
胡克，西尼《心智的纬度》
荷尼，卡伦《自我分析》
胡巴德，约翰《智力活动的生物学基础》
杰克逊，菲利普《人工智能导论》——启发书籍，有大量目录
克利尼，斯蒂芬《数理逻辑导论》