论文部分内容阅读
【正】 1.引言在十九世纪末叶的欧洲,人们日益关注数学的严格化。这种关注的一个(尽管不是唯一的一个)突出的表现形式是公理化方法的应用——例如1899年希尔伯特的《几何基础》。对于部分乃至全部数学的基础产生这样的偏好是有着若干来源的,我们经常提到的这种来源有非欧几何的
策墨罗的集合论公理化工作的起因
【摘 要】
：
【正】 1.引言在十九世纪末叶的欧洲,人们日益关注数学的严格化。这种关注的一个(尽管不是唯一的一个)突出的表现形式是公理化方法的应用——例如1899年希尔伯特的《几何基础
【机 构】
：
加拿大多伦多大学科学史与科学哲学研究所
【出 处】
：
哲学译丛
【发表日期】
：
1982年3期
其他文献
【正】 哲学和文化是第十七届世界哲学会议的主题。苏联哲学家提出的这个议题,已引起各国研究者浓厚兴趣,并且成了激烈争论的对象。除了文化的本质、自然界和文化的相互关系
通过分析的方法,研究了一类变分问题与一类偏微分方程的边值问题在直角坐标系和柱坐标系下的等价性问题,为一类变分问题的求解提供了一种有效的方法.
全国省、市、县、乡四级班子集中换届工作正在全面启动，这次换届产生的新一届领导班子．将担负着组织实施“十一五”规划的重大责任；这次换届也将全面检验党的十六大以来加强执政
【正】 我国社会生活一切方面的改革、完善社会主义的必要性,已经把更加完整地利用马列主义思想的全部宝贵财富,提到议事日程上来了,它是取之不尽的思想源泉。马克思、恩格斯
【正】 对与经济理论的逻辑形式有关的更重要的概念进行考虑,最后得到这样的结论,那些在方法论上常常盲目地相互争论的对手,至少在一些观点上是可以取得一致的。经济学理论具
为探索食品保鲜剂协同小茴香提取液预处理黄花菜的保鲜效果，分别以小茴香提取液和食品保鲜剂协同小茴香提取液浸泡黄花菜1min，PVC塑料袋包装于室温下贮藏，贮藏期间测定黄花菜的
云计算的开放性、共享性等特点,使云计算环境下的访问控制比传统环境下的访问控制更加复杂.为了保证访问过程中云用户以及云服务器上数据的安全性和可靠性,提出了一种云计算
在图像分割中,阈值的选取是十分重要的.提出了一种基于模糊判决的Otsu图像分割算法,通过对Otsu算法中阈值的模糊判决处理,采用重心法来求取阈值,使所求阈值更加接近实际最佳阈值,从而能更好地分割图像.实验结果表明,与当前的一维Otsu算法和二维Otsu算法相比,改进算法有着更好的图像分割效果.
为平衡用人单位权力和遏制用人单位劳动使用权的滥用,以及维护劳动者的自由就业权,进行劳动力资源的分配而设定的劳动者预告解除权,是在劳动者所处的弱势地位以及劳动者的人