0%

我在大学学的是大气科学。大三的暑假,学院开了一门教授专业英语的课,课上老师问了一个问题:你对气候变化的态度是什么,它是一个科学问题还是一个政治问题?

阅读全文 »

人工智能$\supset$机器学习$\supset$深度学习

专家系统:依靠人编写足够多的规则给计算机执行,让计算机成为“专家”,计算机不具备学习能力(20世纪80年代)。属于符号主义人工智能。

机器学习:机器可以学习人告诉它的规则之外的规则。

阅读全文 »

语法和语义是符号逻辑的基本要素。

语法中推出的结论,可以在语义中找到一致的对应,称该符号逻辑系统是“可靠(soundness)”的;

语义中的结论,都可以从语法中推出来,称该符号逻辑系统是“完备(completeness)”的。

阅读全文 »

公元前400多年的古希腊,德尔斐的阿波罗神庙上刻着一句著名的神谕:“认识你自己”。人降生在这个世界上时一无所知,苏格拉底说:追求知识和真理就是最高的品德。

阅读全文 »

集合论为人类认识无穷提供了公理化的理论基础,从集合论出发,我们可以得到很多有意思的结论。

比如,人类运用各种符号系统可以计算求解的问题,一定小于问题的总和

自计算机问世以来,人类技术进入加速发展的快车道,计算机理论和硬件的革新带来的是人类计算处理复杂问题能力的爆炸式增长。假如真如库兹维尔所说,人类技术是以指数的形式增长,那科学和技术发展的尽头是什么?会是所谓的“技术奇点”吗?人类的认识和计算存在极限吗?

阅读全文 »

“The infinite, like no other problem, has always deeply moved the soul of men. The infinite, like no other idea, has had a stimulating and fertile influence upon the mind. But the infinite is also more than any other concept, in need of clarification.”

​ ——David Hilbert

阅读全文 »

王小波说,有两种知识分子,一种想做一个如来佛,让别人永世跳不出他的手掌心;另一种是想倾其一生跳出如来佛的手掌心。几千年来,中国哲人们制定出的伦理纲常,都属于前一种——孔子想出来一套做人准则,招募弟子来受教,弟子学会了师父的这套理论,再推己及人。

阅读全文 »

假设在格林威治发出一个脉冲光信号(1ms,惯性系),与此同时(0~1ms间,惯性系)我以光速跟随光信号一起奔跑,则这1ms对我来说就是无限长。

假如我站在格林威治,在我看来,1s后,脉冲信号到达南京,我看到南京收到脉冲信号的时间是+1s;

但假如我与光信号一起奔跑,在南京停下,则南京收到电信号与格林威治发出是同时的,即在南京看来,收到脉冲信号这一事件发生的时刻是00s。