On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

浅析人力资源的开发

说明了人力资源的内涵,对监狱人力资源开发的基本思路提出个人见解.     

当代中国戏剧的人文关怀精神

真正优秀的艺术作品,总是要体现出独到的人文识见和非凡的思维品质.置身新世纪,回顾新时期以来的戏剧舞台,当代中国戏剧正是通过对历史和现实的拷问、对社会人生的关注以及对文化人格的反思,把一部部充满着人文关怀精神的作品展示在观众面前.这种人文精神,为打造中国戏剧的现代品格提供着积极动力,也构成了当今中国戏剧的鲜亮特色之一.     

基础解系的一种算法

文章用矩阵理论得出几个新结论,从而应用新结论得出基础解系的一种算法.     

浅谈工程造价管理中的工程量清单计价

阐述了工程量清单计价的意义及实行工程量清单计价在工程造价管理方面的合理性和可行性,论述了实行工程量清单计价的优点,指出了工程量清单计价在实际运用中应注意的问题。     

改编的好作品难得的好教材--叶露生钢琴曲《蓝花花的故事》探微

叶露生改编的钢琴曲<蓝花花的故事>成功地利用了原始民歌音调,采用变奏形式,运用钢琴语言,塑造了以蓝花花为主人公的多个形象,情感丰富,爱憎分明,是一部改编的好作品,难得的好教材.     

M——H(81)型状态方程用于二元非理想系等压汽——液平衡计算的研究

本文用M—H(81)方程计算H_2O(1)—DMF(2)二元非理想等压汽液平衡,并采用UNIFAC,WILSON两方程对该体系的计算结果进行了比较。编制了一套M—H(81)方程计算等压汽液平衡的程序,对M—H(81)方程用于计算H_2O(1)—DMF(2)精馏塔设计计算的可行性进行了讨论。     

佤族草药“丫磨娘”强壮作用的药理研究

民族植物药“丫磨娘”经鉴定属远志科远志属西藏远志，药理实验发现，“丫磨娘”能明显促进幼龄雄性小鼠的睾丸发育和去势雄性大鼠已萎缩之副性腺器官的生长；能够显著增强小鼠游泳耐力、常压耐缺氧以及抗低温能力。“丫磨娘”能够提高机体的抗应激能力，并具有雄性激素样作用，这于西藏远志种植物尚属首次发现。     

谈低温的获得及绝对零度不能达到原理

简述了不同制冷方法及绝本对零度不能达到的原理．     

简论高速运动物体的视形状

本文首先明确观察者与观看者的区别以及固有长度，观测长度和视长度的概念。在此基础上利用初等数学的方法，以正方形为例讨论高速运动物体的视形状。