论文部分内容阅读
介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出"迈向数学机械化".
迈向数学机械化：从塔斯基到王浩
【摘 要】
：
介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,
【机 构】
：
上海交通大学科学史系
【出 处】
：
广西民族学院学报：自然科学版
【发表日期】
：
2005年4期
其他文献
猪弓形体病是一种细胞内寄生的类等孢球虫龚地弓形虫引起的人畜共患寄生虫病。以持续高热、皮肤发红、贫血、黄疸为特征。不同品种、年龄、性别的猪均可发生，但以肉猪多发。本
安达卢西亚文化,由生活在伊比利亚半岛(阿拉伯人称之为“安达卢西亚”)的阿拉伯人、柏柏尔人和当地各民族人民共同创造,是阿拉伯伊斯兰文化的重要组成部分.征服安达卢西亚伊
对于正常股票投资者而言,无论是否需要获得超额的股票投资收益,都需要首先面对股票选择和交易时间选择的问题,这一直是投资者持续关注的焦点。由于大盘长期来看是相对稳定的,
猪传染性胃肠炎（porcine transmissible gastroenteritis，TGE）是由猪传染性胃肠炎病毒（TGEV）引起的以猪呕吐、腹泻、脱水为特征的传染病。不同日龄的猪均可感染，新生仔猪死亡率较高