作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出"迈向数学机械化".
推荐文章
机械化采茶技术
采茶
机械化
技术
水稻机械化插秧技术
水稻
机械化
插秧技术
油菜机械化种植技术
油菜
直播
移栽
收获
机械化
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 迈向数学机械化:从塔斯基到王浩
来源期刊 广西民族学院学报(自然科学版) 学科 地球科学
关键词 数学机械化 塔斯基 王浩
年,卷(期) 2005,(4) 所属期刊栏目 上海交大科技史研究新成果
研究方向 页码范围 35-39
页数 5页 分类号 N09
字数 6548字 语种 中文
DOI 10.3969/j.issn.1673-8462.2005.04.009
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王磊 上海交通大学科学史系 262 1928 22.0 34.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (6)
参考文献  (2)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1960(1)
  • 参考文献(1)
  • 二级参考文献(0)
1977(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
数学机械化
塔斯基
王浩
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
广西民族大学学报(自然科学版)
季刊
1673-8462
45-1350/N
大16开
南宁市大学东路188号
48-96
1994
chi
出版文献量(篇)
2860
总下载数(次)
13
总被引数(次)
7691
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导