迈向数学机械化：从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入因境，评价了塔斯基在理论上给出了定理判定的方法意义。特别指出是王浩首次在计算机上实现了高效证明定理的方法，并明确提出“迈向数学机械化”。     

塔斯基语言层次论探析

塔斯基的语言层次理论对自然科学、逻辑学和哲学产生了深远影响。本文从弗雷格和罗素的语言层次理论及其问题、塔斯基的语言层次理论、塔斯基语义学理论的缺陷及其与符合论的关系三个方面对该理论进行分析。在充分肯定塔斯基语言层次论的同时,指出其真之定义的一个缺陷,即用"满足"来定义"真"是多余之举。     

关于塔斯基的T型等值式

本文阐述了波兰逻辑学家塔斯基,关于形式语言中真句子的意义的重要组成部分T型等值式及其深远的意思。     

数学机械化与非机械化的若干问题研究

阐述了数学机械化与非机械化的含义及在数学发展,数学思维与学习中的作用,建立数学教育改革应二者兼顾。     

中国传统数学与数学机械化

中国传统数学在三代萌芽,经过春秋的发展,到战国至西汉以《九章算术》的编纂为代表,进入第一个高潮,在许多领域跃居世界前列.魏晋南北朝是第二个高潮,刘徽以演绎逻辑为主要方法全面证明了《九章算术》的公式、解法,奠定了中国传统数学的理论基础,并在世界数学史上首次将无穷小分割方法引入数学证明.第三个高潮发生在宋元,贾宪、秦九韶、李冶、朱世杰等创造了欧洲数学大师17-19世纪才得出的许多重大成就.上世纪70年代吴文俊指出,中国古代数学的算法具有构造性、机械化的特点,并出现几何问题代数化的思想.西方数学史家一直将中国排除在世界数学发展的主流之外.吴文俊提出“在历史的长河中,数学机械化算法体系与数学公理化演绎体系曾多次反复互为消长交替成为数学发展中的主流”,从而从理论上解决了中国传统数学是世界数学发展主流的一部分的问题.微积分的产生也证明中国传统数学属于世界数学发展的主流.微积分产生时的推理模式不是希腊式的,而是接近中国式的.吴文俊受到中国传统数学的构造性、机械化特色以及几何问题代数化思想的启发,产生了数学机械化思想,发展了笛卡儿、莱布尼茨、希尔伯特等的设想,创立了数学机械化理论.他首先在初等几何定理的机器证明方面取得突破.接着,提出了一个将问题化为代数方程组求解的数学机械化方案.他从朱世杰的四元消法得到启示,发现了三角化整序法,是目前唯一完整求解代数方程组的方法.吴文俊指出,继续发扬中国古代传统数学的机械化特色,实现数学各个不同领域的机械化,是绵亘整个21世纪才能大体趋于完善的事.     

中国科学院数学机械化中心简介

“数学机械化”是我国数学家吴文俊先生在70年代末开始倡导的一个研究领域，是脑力劳动机械化在数学科学的学术实践。17世纪，以蒸气机为代表的工业革命是以机器代替人的体力劳动，而现在的数学机械化则是用计算机部分代替人类的脑力劳动。数学机械化不仅是数学研究的实质性进展，也为很多高科技问题的解决提供了有力的工具。其方法已在许多高科技领域获得了一批理论成果，     

数学机械化方法在特征值问题中的应用

将我国数学家吴文俊在二十世纪七十年代倡导的并发展起来的数学机械化理论和方法应用到代数特征值问题中,把现代的数学观点反映到数学教学中来,这对于提高学生的数学思维层次,发展创新意识和实践能力会有一定的帮助.     

《数学机械化》中组集合完备化定理的改进研究

对科学出版社吴文俊先生所著《数学机械化》中的定理4.1.27的充分性进行了讨论,给出了一个新结果,这个结果改进了原定理的结论。     

浅析吊车在组塔施工中的应用

近几年随着电网建设不断增加,城市近郊的电网通道日益狭窄,为了满足城市日益增加的用电负荷,在线路设计中多回路线路同塔架设得到广泛运用,并呈现出单基铁塔吨位大的特点。人工组立铁塔周期长,施工困难,危险性大,引进吊车组塔,机械化施工能够有效的解决了以上问题。     

从变量数学到现代数学看数学哲学的基本问题

从变量数学向现代数学过渡的历程可以看出，数学与现实世界的关系发生了质的变化，数学开始有意识地背离经验，逐步开始研究可能世界；抽象程度在深入到更高的水平，数学的真理性开始受到质疑；同时，数学的动力也表现得越来越多样化，如生产实践的需求，理论思辩的突破，数学理论自身发展的需要等。     

王皓在第五十届世乒赛中的主要技术诊断及效果分析

文章运用文献资料法、录象观察法、三段指标法等研究方法,对王皓在第50届世乒赛中1/4、1/2及决赛三场比赛进行了系统分析与研究。通过分析王皓每一分球从发球到发抢再到相持或从接发球到接抢再到相持的使用率及得分率,以及第2板、第3板球的技术应用和效果,找出王皓在技战术上存在的优势与不足,试图能为其将来在技战术方面的进一步发展提供建设性的理论依据。     

从王艮到李贽

王艮作为泰州学派的始祖，强调的是个性自在。李贽在强调个体价值的同时，却又走向了极端自私自利，进而导致个体和群体之间另一形式的紧张与对立。     

反向思维在数学教学中的应用

本文主要讨论了反向思维在数学教学中的应用。     

论南宋宰相史浩对其家族的贡献

南宋宰相史浩对其家族的贡献主要有三个方面：一,他为子孙赢得与皇室联姻或恩荫入仕的机会,并检验子辈器量,以培养其从政能力;二,他发起创立四明义田庄;又建造四明洞天,使家族居住群落得以形成;三,他撰修族谱、订立家训,重视童蒙教育,而且他还聘请名师在书院讲学,从而使家族形成了崇尚学术研究的气氛。     

MH方案及启示

对"Mathematics on the Homefront"方案作了分析:①方案设立的背景及目标;②方案的制定及实施;③对方案的反思、修改及未来定向.并探讨了此方案对目前数学教育改革的启示;为学生的数学学习营造一个良好的外部生态环境;注重生态观,利用家庭资源和社区资源,让学生的数学学习走出教室,走进家庭和社会.     

试论王稼祥对中央苏区的历史贡献

王稼祥是一位忠贞的共产主义战士,杰出的军事家。在中央苏区时期,他实事求是,坚持真理,排除"左"倾错误思想的干扰,参与领导了宁都起义、支持毛泽东的正确主张、力助邓小平复出,同时对我军政治工作的理论探索付出了大量心血,为中央苏区的扩大、巩固与发展作出了巨大的贡献。     

试论被贬济州对王维的影响

分析了中进士不久被贬济州,给他造成了极大的精神创伤,对他生活及创作态度的影响。     

数学认知结构与数学概念的学习——以高等数学的概念学习为例

随着教育理念由行为主义到认知主义的发展,数学能力的提高有待于对概念理解的强化越来越成为共识。数学概念是数学的逻辑起点,是学生认知的基础,是数学思维的核心。基于数学认知结构与数学概念学习的关系,探讨了高等数学概念学习的理论与实践,以期促进高等数学概念的学习。     

王曰伦对我国前寒武纪地质研究的贡献--纪念王曰伦教授诞辰一百周年

王曰伦(1903—1981年)是著名地质学家、我国前寒武纪地质学的开拓者和奠基人之一。他对我国前寒武纪地质研究的主要贡献是:初步确立西南地区早寒武世地层层序和与震旦系的分界;初步奠定了五台山区早前寒武纪构造地层基础;参与发现、命名和进一步证实“蓟县运动”的存在,正确解决了华北震旦系与寒武系的分界问题;最早发现南北震旦系属同名异纪的上下关系;为全国各地上前寒武系划分和对比做了大量开创性工作,奠定了坚实的基础。他是坚持实践和创新的楷模。