中文XML论坛--数理逻辑大师们[转帖]

新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚

XML论坛

W3CHINA.ORG讨论区

计算机科学论坛

SOAChina论坛

Blog

开放翻译计划

新浪微博

首页

软件下载

资料下载

核心成员

帮助

>> It is the theory that decides what can be observed. - Albert Einstein

[返回] 中文XML论坛 - 专业的XML技术讨论区 → 计算机理论与工程 → 『理论计算机科学』 → 数理逻辑大师们[转帖]

◇查看新帖 ◇ 用户列表 ◇

(订阅本版)

您是本帖的第 63439 个阅读者　　

*	贴子主题：数理逻辑大师们[转帖]	举报打印推荐 IE收藏夹
	本主题类别:

xixi8356

  等级：大一新生
  文章：0
  积分：55
  门派：XML.ORG.CN
  注册：2006/5/16

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	楼主

相当不错

2006/5/29 15:02:00

GoogleAdSense

  等级：大一新生
  文章：1
  积分：50
  门派：无门无派
  院校：未填写
  注册：2007-01-01

	广告

2024/4/19 6:52:38

本主题贴数15，分页： [1] [2]

*树形目录（最近20个回帖）	顶端
主题：数理逻辑大师们[转帖](19685字) － chzhuang，2006年4月18日
回复：好高兴自己开始学数量逻辑了，真希望以后做出点成绩来。(52字) － Kysio，2010年1月11日
回复：相当不错(10字) － xixi8356，2006年5月29日
回复：谢谢yang兄指正：1、他们两位相对没这么大吧，但在目前来说，他们参与的基于逻辑的人工智能，和基..(641字) － chzhuang，2006年4月19日
回复： ?[align=right][color=#000066][此贴子已经被作者于2006-4-19..(91字) － yangfeather，2006年4月19日
回复：这个跟个人兴趣和视野有关呀，不可能面面俱到。HILBERT当然称得上数理逻辑大学了，他提出问题，哥..(273字) － chzhuang，2006年4月19日
回复：不错！！！(10字) － amny，2006年4月18日
回复： Rule of Simplicity (by C.A.R. Hoare) - - ..(11868字) － chzhuang，2006年4月18日
回复：约翰.麦卡锡 --"人工智能之父"和LISP语言的发明人 1971年的图灵奖授予提出"人..(9704字) － chzhuang，2006年4月18日
回复：呵呵，顺序放错了，这个要放最前面，按时间顺序。莱布尼兹出生于书香门第的莱布尼兹是德国一位博学多..(3125字) － chzhuang，2006年4月18日
回复：阿伦·图灵作者：liny信息来源：XY Studio编辑：EmilMatthew 更新时间..(4969字) － chzhuang，2006年4月18日
回复：邱奇-图灵论题邱奇-图灵论题（The Church-Turing thesis）是计算机科学中以..(5371字) － chzhuang，2006年4月18日
回复：哥德尔中国科学院软件研究所张锦文作者：张锦文文章来源：中数网点击数： 601 ..(22979字) － chzhuang，2006年4月18日
回复： ●希尔伯特，D.(Hilbert,David，1862～1943) 希尔伯特，D.(..(7208字) － chzhuang，2006年4月18日
回复：作者区分数理逻辑的标准是什么哪？好几位大师都没有提到，Hilbert是否可以称为数理逻辑大师？他的..(140字) － chinake，2006年4月19日


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	156.250ms