期刊文献+

Martin Davis访谈录

原文传递
导出
摘要 Martin Davis是一位世界性的杰出逻辑学家.他于1928年生于纽约城,在那里他就读于城市学院,受到Emil L.Post的影响.很早,Davis就感受到了Hilbert第10问题的魔力:对于给定的任一个丢番图方程,是否存在一个算法可以判定该方程是否可解?
出处 《数学译林》 2009年第1期45-59,共15页 MATHEMATICS
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部