科学前沿和哲学第7讲.pptVIP

第7讲认知科学哲学与系统哲学有;一. 数理逻辑与人工智能数理逻;数学史的三次危机毕达格拉斯学派;布尔代数1847年，布尔（18;皮亚诺的算术构造皮亚诺从不经定;哥特洛布·弗雷格（1848-1;形式语言《概念文字》的副标题是;命题函项按照传统逻辑，命题“第;自然数的定义弗雷格认为，自然数;罗素：二十世界最伟大哲学家贝特;罗素悖论的发现1900年3月，;罗素悖论弗雷格对数的定义从0开;《数学原理》在所有的数学都可以;类型理论1906年，罗素在《数;希尔伯特旅馆罗素的类型理论还无;伽里略悖论与康托尔对角线法伽里;康托尔的超限数康托尔一开始定义;存在无限多个超限数?0：1 ;现代连续统理论公理方法，无穷集;连续统问题康托尔-戴德金型的连;连续统假设的独立性1938年，;无限的悖论无限概念的数学分析，;哥德尔定理所谓哥德尔定理，一般;不可判定性算术是不完全的，因为;人脑与电脑哥德尔结论与能不能造;人脑——无限智慧之源不可能建造;DNA生物计算机 ;经典计算机的抽象数学模型经典计;量子计算机的构造及实验方案 正;量子计算机的构造及实验方案 量;量子信息科学 ——它是量子物理;经典粒子特性：每时刻的位置、速;经典的波特性：充满整个空间，遵;微观粒子特点：同时具有粒子性和;多次入射（干涉现象）遵从量子力;●经典粒子在某个时刻只能处于确;D1D2单个光子分束器光电探测;“薛定谔猫” —