论文部分内容阅读
介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出"迈向数学机械化".
迈向数学机械化：从塔斯基到王浩
【摘 要】
：
介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,
【机 构】
：
上海交通大学科学史系
【出 处】
：
广西民族学院学报：自然科学版
【发表日期】
：
2005年4期
其他文献
[Objective] The study aimed at choosing a suitable economic development mode for an area with good ecological environment. [Method] Taking the economically coor
期刊
猪弓形体病是一种细胞内寄生的类等孢球虫龚地弓形虫引起的人畜共患寄生虫病。以持续高热、皮肤发红、贫血、黄疸为特征。不同品种、年龄、性别的猪均可发生，但以肉猪多发。本
Existing Problems in Energy Exploitation and Eco-environment Sustainable Development and Their Count
The exploitation of coal, petroleum and natural gas in northern Shaanxi not only promoted the rapid development of economy, but also brought about enormous pres
期刊
安达卢西亚文化,由生活在伊比利亚半岛(阿拉伯人称之为“安达卢西亚”)的阿拉伯人、柏柏尔人和当地各民族人民共同创造,是阿拉伯伊斯兰文化的重要组成部分.征服安达卢西亚伊
对于正常股票投资者而言,无论是否需要获得超额的股票投资收益,都需要首先面对股票选择和交易时间选择的问题,这一直是投资者持续关注的焦点。由于大盘长期来看是相对稳定的,
This paper analyzed the temporal and spatial distribution of heavy rainfall in China from 1951 to 2000.The results showed that since 1980s,the occurrence freque
期刊
猪传染性胃肠炎（porcine transmissible gastroenteritis，TGE）是由猪传染性胃肠炎病毒（TGEV）引起的以猪呕吐、腹泻、脱水为特征的传染病。不同日龄的猪均可感染，新生仔猪死亡率较高
利用近3年长春市环境监测资料与同期的气象资料,统计分析了长春市主要污染物PM10的季节演变特征,并对PM10浓度与平均气温、降水量、相对湿度、能见度、平均风速和气压6个气象要素的统计相关性进行了初步研究。结果表明,3年中PM10年均浓度没有明显起伏,均在0.097～0.100mg/m3;PM10浓度具有明显的季节变化特征,冬季采暖期最高,春季沙尘期次之,夏季降雨期最低;3年中PM10污染以II级为
鸭球虫病是一种严重危害鸭的寄生虫病，各种日龄的鸭都可感染发病，主要侵害鸭的肠道，以出血性肠炎为特征的寄生性原虫病。目前国内外报道的鸭球虫共计有4属15种，鸭球虫病是主要由
Agriculture received most direct influences from climate changes. Because of climate changes, agricultural climate resources changed and thus influenced climate
期刊