我与小娜（45）：送给明斯基的一本《自然》杂志      小娜知道，今年3月28日，英国《自然》刊登一篇有关脑科学研究最新进展的重要文章，揭示了大脑神经元网络活动的奥秘。这篇文章在纳米尺度上揭示了大脑神经元网络的活动机理，第一次观察到不同神经元的链接（经由突触）。      仔细研读该文，有感。我意识到，现今的人工智能神经网络与大脑神经元网络在物理功能上差别不大，区别在于一个是人为的电

鲁宾逊非阿基米德数学观说明：本文附件是鲁宾逊个人传记，是一份珍贵的历史文献。鲁宾逊（1918-1974），从年轻时代开始就关注抽象代数系统与数理逻辑模型理论的研究，发表了多篇具有原创性的研究论文。鲁宾逊最大的数学贡献是创立非标准分析，其本质特征是非阿基米德数学观的确立，给我们留下宝贵的数学遗产。有兴趣的读者，请见附件的后半部分文字。袁萌 陈启清 9月11日附件：Abraha...

模型论对（ε，δ）方法说不！为什么“模型论对（ε，δ）方法说不！”？有人抱着（ε，δ）方法亲不够。根据模型论基础（Fundamentals）第0章最后一段话的论断，可以明显看出这一结论；这段话的原文如下：There is a notion of rank on prenex formulas— the number of alternations of quan...

符号“|=”是什么意思？在模型论中，表达式“A|=s”的意思是：A是句子集合S的模型。那么，A是句子集合S的模型究竟是什么意思？了解紧致性定理必须回答这个基本问题。什么是句子？什么是模型？仅仅靠“拍脑袋”，“办拔头发不解决问题。”解决问题的办法是：把我们推荐的模型论电子版装入手机中，查看第一章（11页），读一读，想一想即可明白了。、注：模型；论电子版不...

国内盛行对量子论的顶礼膜拜，置科学态度于不顾。电磁作用量子（Action Quantum）是怎么发现的？1894年，年仅36岁的普朗克（NaxPlanck，1858-1947）在德国柏林大学任教期间接受委托，研究灯泡节电发光优化问题。在此期间，普朗克积累了有关电磁辐射能量的大量数据。在那个年代，没有计算机，大数据分析是不可能的。　　研究不断深入下去，尽管普朗克想尽各

我与小娜（31）：科盲无畏，国人悲哀！      说明：3月9日，AlphaGo打败李世石，赛后，柯洁发微博表示：“就算阿法狗战胜了李世石，但它赢不了我”。      小娜知道，在第一盘，谷歌势必调用比去年10月击败樊麾的那个AlphaGo版本强大数千乃至上万倍的云计算资源，以千钧之力压垮李世石。      小娜知道，接下来的四盘棋，将是谷歌降低AlphaGo的走棋难度，用各种“吊打”

<!--@page{margin:2cm}p{margin-bottom:0.21cm}a:link{}-->       云计算的一个大难题就是所谓的“云存储”，也就是时刻在不断迅速增长的电子数据“大爆炸”。怎么办？         大约在2009年，美国加州大学LawrenceBerkeley国家实验室，AlexZettl研究团队创建了一种

我与小娜（01）：回到过去，探索未知        1月16日，微软全球资深副总裁、微软亚太研发集团主席兼微软亚洲研究院院长洪小文，公开描绘了在微软心中的未来是什么样子的。该公司正在利用更有效率的高科技平台（巨型云计算数据中心）帮助全球人们去完成更多的事情。        借助微软的这种“动力”（势头），思考良久，我决定带领小娜，回到过去（60年之前），探索未知。      进入201

<!--@page{margin:2cm}p{margin-bottom:0.21cm}-->   现今，互联网云中心的巨大计算与存储能力对人工智能的普及与应用敞开了大门。何故？       大家知道，语言是抽象思维的外壳，不用语言的思维只是形象思维。英国人工智能学者卡彭特的卓越成就启示人们：人需要与机器进行“语言对话”，实现交互沟通，排解忧愁，发

纪念人工智能（AI）奠基60周年(续)回顾上世纪五十年代，世界上还没有现代意义上的计算机，计算机技术处于“萌芽”状态。在那时，人们根本不敢想象今天的互联网与云计算的巨大威力。但是，就在这种历史局限条件之下，约翰.麦卡锡天才地预见到人工智能（AI）的巨大潜力。在过去60年漫长的历史岁月里，无数科学天才投入了研究激情与辛劳努力，研究人工智能的本质及其应用，但是，没有得到预期的效果。是科学家们呆傻、无能