巅峰对话:哥德尔论图灵(连载一)
如果A可证,那么A是真的,即“A不可证”是真的,因此,A不可证;反之,如果A不可证,则“A不可证”是真的,即A是真的,这就证明了A。参见王浩《数理逻辑通俗讲话》,科学出版社,1981年,第18页。——译者注老蝉再注:这个命题是一个自成命题,即为真时其为真,没有矛盾产生;为假时,则矛盾,所以,这个命...
以华人数学家命名的数学成果集锦
王浩(1921.5.2l--1995)是美藉华裔数理逻辑学家、计算机科学家和科学家,生于山东省济南市.1939年进入西南联大数学系学习,1943年获学士学位后又入清华大学研究生院哲学部学习,1945年以《论经验知识的基础》的论文获硕士学位.王浩在中学时代就对哲学有兴趣,念初中时他在父亲的建议下阅读过恩格斯的著作《反杜林论》...
尼克|乔姆斯基 vs ChatGPT
可惜波斯特既没有被逻辑学家(如哥德尔)欣赏,也没有被数学家包容。相较于计算机科学,语言学是迟钝的:计算机科学几乎与相应的数理逻辑同步,当哥德尔和海伯伦1934年定义了广义递归函数,图灵1936年就发明了图灵机;而波斯特的工作要到1956年才被乔姆斯基引入语言学。乔姆斯基之前,语言学是文科,乔老爷力图把语言学变成自然科...
校领导实地调研人才高地建设和空间规划布局
财富.回顾数十载的哲学研究与近二十年来,复旦大学哲学教学,吴晓明对哲学的热忱延续学科坚持"做大做强马中西传统至今,一方面是专业使然,另一优势学科,重点建设伦理学和宗方面当今同样面临着许多重大教学特色学科和积极拓展科学时代问题.黑格尔说"哲学是把哲学,艺术哲学和数理逻辑交叉握在思想中的时代",...
王浩:世界逻辑课题的开拓者
《从数学到哲学》阐述一系列哲学问题,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值。《数理逻辑通俗讲话》,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的。《超越分析哲学——公平对待我们具有的知识》,对分析...