返回首页

看似寻常最奇崛 成如容易却艰辛的哲学道理

来源:www.callcentermkt.com   时间:2022-05-13 01:20   点击:61  编辑:单广   手机版

看上去似乎很平常其实最为奇特突出;完成的似乎很容易,其实却充满艰辛。
  在王安石的诗里是在赞美张籍的作品。
  张籍的乐府诗,多用口语,语言自然精警,风格通俗明快,看似平常,但仔细品味,却于平淡中见奇特。他成就的取得,看似容易,却是用辛勤的汗水换来,“容易”中蕴含着“艰辛”。“成如容易却艰辛”,总结了获得成功的普遍规律。不仅写诗如此,做其他任何事情都是这样。

王氏悖论的学术成就

王浩曾发表100多篇论文.主要著作有:《数理逻辑概论》(ASurveyofMathematicalLogic,l962),其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算机理论和数学定理机械化证明的一些研究论文和其它文章.《从数学到哲学》(FromMathematicstoPhlcosophy,1974),作者试图用实事求是论(Substantialfactualism)的观点阐述对一系列哲学问题,特别是数学哲学问题的看法,并对当今在西方世界影响甚大的分析哲学进行批判,书中还包括大逻辑学家哥德尔一些未发表的哲学观点,极有研究价值.《数理逻辑通俗讲话》,有中英文两种版本,这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的.《超越分析哲学--公平对待我们具有的知识》(BeyondAnalyticPhilosophy--DoingJusticetoWhatweKnow,l986),作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍,并给予镇密的分析和有力的批判,主要论据是他们的哲学无法为人类现有的知识,特别是数学知识,提供基础.由于作者非常熟悉这四人的工作,甚至与其中一些人有直接交往,所以他的批判十分深刻.牛津大学的彼特・斯特苏森爵士(SirP.Strawson)评论到:哲学家们对于王浩此书的主要的、深厚的兴趣在于,它记录了一位极富才智、卓越和敏锐的哲学家对所谓'分析'或'英一美'哲学在本世纪经历的发展过程的看法.王的书是对现代哲学史和元哲学的丰富、迷人的贡献.王浩是美国艺术与科学学院院士,英国科学院外藉院士和符号逻辑学协会会员.1983年在美国丹佛召开的,由人工智能国际联合会会议(LnternationalJointConfernceonArtificialinteIIigence)和美国数学会共同主办的,自动定理证明(AutomatedTheoremProving)特别年会上,王浩被授予首届里程碑奖(MilestonePrize),以表彰他在数学定理机械证明研究领域中所作的开创性贡献.提名时列举的主要贡献有:强调发展应用逻辑新分支--推理分析(inferentialanalysis),其对于数理逻辑的依赖关系类似于数值分析(numericalanalysis)对于数学分析的依赖关系;坚持谓词演算和埃尔布朗(Herbrand)与根岑(Gentzen)形式化的基本作用;设计了证明程序,有效地证明了罗素与怀特海(Whitehead)的《数学原理》中带集式的谓词演算部分的350多条定理;第一个强调在埃尔布朗序列(Herbrandexpansion)中预先消去无用项的算法的重要性;提出一些深思熟虑的谓词演算定理,可用作挑战性问题来帮助判断新的定理证明程序的效能.

顶一下
(0)
0%
踩一下
(0)
0%