王宪钧教授对中国数理逻辑发展的贡献——纪念王宪钧教授诞辰90周年

被引量 : 0次 | 上传用户:safafaffaf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>王宪钧先生(1910—1993年)是中国著名数理逻辑学家。祖籍山东福山,出生于江苏南京。1933年清华大学哲学系毕业。1933—1935年为清华大学研究生,师从金岳霖先生。1936—1938年在奥地利维也纳大学、德国明斯特大学从事研究工作,在维也纳大学时是哥德尔的"集合论公理体系"这门课程唯一正式注册的学生。1938年回国后历任西南联大哲学系讲师、教授,清华大学哲学系教授、代理系主任。1952年后任北京
其他文献
20岁左右运动医学将这个年龄段称为“破纪录年龄段”。这个时段身体功能处于鼎盛时期,心律、肺活量、骨骼的灵敏度、稳定性及弹力等各方面均达到最佳点。从运动医学角度讲,这个
期刊
目的:探讨原发性高血压患者动脉弹性功能的改变与血压控制程度及年龄的关系。方法:选择478例高血压患者,根据血压控制程度及年龄予以分组,比较血压控制正常与不正常、不同年龄阶
腺样体及扁桃体肥大是小儿的常见病及多发病,两者常相伴发生,这也是小儿鼾症的原因之一。现将我院对鼻内窥镜下小儿腺样体切除术或扁桃体切除的护理介绍如下。
选用石蜡与液态石蜡的二元混合物作为相变材料,按不同比例复合在墙体中,制成被动式蓄热相变墙体.实验分析了不同比例相变材料复合相变墙体的传热性能和节能效果,并与普通墙体
明代的东南水师是为了维护国家的海洋权益而创立,其在布防、巡哨等方面具有时代特色.在抗倭、抗御西方殖民者斗争中捍卫了国家海权.郑成功的水师是维护海上贸易的武装,其以强
1引言目前,网络上的有害信息林林总总,形式多样,不仅给网民以感官刺激,而且教唆、引诱网民进行违法犯罪活动。一些不法分子为了牟取暴利或达到政治目的,专门制作、贩卖、传播有害
论述电子商务现在所面临的安全性问题及电子商务的安全需求,在分析网络安全技术和交易安全技术的基础上,给出了一种保证电子商务安全的体系结构.
2.3 发船间隔与处理 依据船舶往返航次时间及航线配船数,可得发船间隔时间,算式为:t间=t往返/n或t间=α货*D定365/Qmax 但由于班轮的发船间隔须具有一定的规律性,计算结果往
基于Hamilton原理在广义坐标系中建立纵向激励下输送机的黏弹性连续型纵向振动方程,根据杜汉梅耳原理经边界齐次化和分离变量后对连续模型求其近似解析解,并推导出各位移激励
运用灰色关联法对宁夏2007―2016年R&D经费投入和经济增长的关系进行分析,结果表明宁夏R&D投入与经济增长之间存在较强的关联度,同时反映出R&D支出占GDP的比重较小、活动人员