回复： [TL] Re: 可以让机器人帮我做算法题目么？

[醉陶然]

哥德尔已经证明了，一阶逻辑不自洽，从而停机问题不可解。虽然我们整个数学体系是不完备的，但还是不妨碍数学计算机科学的发展。图灵机的基础是啥，我不清楚，还请指教。

 

 

------------------ 原始邮件 ------------------

发件人: "Wu Yin"<wyw...@gmail.com>;

发送时间: 2011年6月1日(星期三) 中午11:46

收件人: "pongba"<pon...@googlegroups.com>;

主题: Re: [TL] Re: 可以让机器人帮我做算法题目么？

 

妨碍推理的是 一阶逻辑不可判定。这说明以图灵机为计算原型的计算机，其逻辑推理能力绝不可能超过first-order logic的水平。

人脑能判停机？这可真是理论界巨大胜利，神马 费马大定理，歌德巴赫猜想 之类的问题 已经被瞬间秒杀了，快去发论文吧……

2011/6/1 error right <error...@gmail.com>

　豆瓣的一份书单，《DNA计算》（泡恩等）这本居然各大书店都买不到了，不过我

在一家淘宝店，买到最后一本。

   我有一些疑问：

      停机问题不能判定，这个问题按推理，看上去是正确的。但是这未必能妨碍我们制造智能。只是不那么完美？

      人类可以判定停机？ 不过人类知道自己在考虑什么问题么？ 真的知道？

     

  　《无心的机器》（周昌乐）湖南科学技术出版社
　　《通灵芯片》（希利斯）（翻译）上海科学技术出版社
　　《哥德尔、艾舍尔、巴赫——集异璧之大成》（侯世达）（翻译）商务印书馆
　　《心的概念》（赖尔）（翻译）上海译文出版社
　　《佛教逻辑》（舍尔巴茨基）（翻译）商务印书馆
　　《心灵种种》（丹尼特）（翻译）上海科学技术出版社
　　《近世计算理论导引》（黄文奇等）科学出版社
　　《逻辑与演绎科学方法导论》（塔尔斯基）（翻译）商务印书馆
　　《计算机和人脑》（冯•诺伊曼）（翻译）商务印书馆
　　《选择公理》（赵希顺）人民出版社
　　《皇帝新脑》（彭罗斯）（翻译）湖南科学技术出版社
　　《走向计算主义》（李建会）中国书籍出版社
　　《计算理论导引》（西普瑟）（翻译）机械工业出版社
　　《禅宗与精神分析》（弗洛姆等）贵州人民出版社
　　《人工科学》（司马贺）（翻译）上海科技教育出版社
　　《现代归纳逻辑的发展》（熊立文）人民出版社
　　《意识的宇宙》（埃德尔曼等）（翻译）上海科学技术出版社
　　《人工智能》（尼尔森）（翻译）机械工业出版社
　　《人工智能哲学》（博登）（翻译）上海译文出版社
　　《智力的形成》（理查森）（翻译）三联书店
　　《剑桥五重奏》（卡斯蒂）（翻译）上海科学技术出版社
　　《宇宙、量子与人脑》（彭罗斯）（翻译）中国对外翻译出版公司
　　《DNA计算》（泡恩等）（翻译）清华大学出版社
　　《逻辑的引擎》（戴维斯）（翻译）湖南科学技术出版社
　　《亚里士多德的逻辑学说》（王路）中国社会科学出版社
　　《推理的迷宫》（庞德斯通）（翻译）北京理工大学出版社
　　《“深蓝”揭秘》（许峰雄）（翻译）上海科技教育出版社
　　《当代心灵哲学导论》（海尔）（翻译）中国人民大学出版社
　　《可计算性与数理逻辑》（伯罗斯等）（翻译）电子工业出版社
　　《人工神经网络与模拟进化计算》（阎平凡等）清华大学出版社
　　《算法分析导论》（塞德格威克等）（翻译）机械工业出版社
　　《心，脑与科学》（塞尔）（翻译）上海译文出版社
　　《认知心理学》（斯坦恩伯格）（翻译）中国轻工业出版社
　　《认知科学哲学导论》（哈瑞）（翻译）上海科技教育出版社
　　《可能世界与智慧》（王震宇等）机械工业出版社
　　《算法导论》（考门等）（翻译）机械工业出版社
　　《语言哲学》（陈嘉映）北京大学出版社
　　《蚁群优化》（道里戈等）（翻译）清华大学出版社
　　《心灵之谜多面观》（松本修文等）（翻译）上海科学技术出版社
　　《计算与认知》（派利夏恩）（翻译）中国人民大学出版社
　　《人工智能——大脑的镜子》（亨德森）（翻译）上海科学技术文献出版社
　　《人的意识》（布莱克摩尔）（翻译）中国轻工业出版社
　　《智慧 智力 创造力》（斯滕博格）（翻译）北京理工大学出版社
　　《算法设计》（克莱因伯格等）（翻译）清华大学出版社
　　《计算机程序设计艺术》（克努特）（翻译）国防工业出版社
　　《生物信息学算法导论》（琼斯等）（翻译）化学工业出版社

2011/5/31 Yongwei Wu <wuyo...@gmail.com>

再加一本：《哥德尔、艾舍尔、巴赫：集异璧之大成》。即使你不懂作者在说什么，很多章也能读得很愉快:-)。强力推荐。

2011/5/30 Mingli Yuan <mingl...@gmail.com>:

> 意识问题是多学科交叉的研究领域，维基百科的词条是：
> http://en.wikipedia.org/wiki/Consciousness
> 正文里面有几个有意思的发问，针对每个发问又有小的展开讨论。
> 我个人觉得有意思问题包括：
> * 意识与语言是什么关系？
> * 意识能用物理定律解释吗？
> * 意识、语言、世界究竟是什么关系？
> 我读过的几本普及性读物和教材涉及这个话题。
> 皇帝新脑
> http://book.douban.com/subject/1206206/
> 通向实在之路（头几章涉及这个题目）
> http://book.douban.com/subject/3144300/
> 整体性与隐缠序：卷展中的宇宙与意识
> http://book.douban.com/subject/1324825/
> 形而上学（关于宇宙中的理性栖居物的章节）
> http://book.douban.com/subject/2216279/
> 关于物理定律
> http://www.sfu.ca/~swartz/physical-law/
> 这个题目太大，还是自己多看看书吧。我在这里就不多评论了。
> 如果你觉得有有趣的书或者论文涉及这个题目，还请跟帖。

--
Wu Yongwei
URL: http://wyw.dcweb.cn/

--
滚滚长江东逝水，浪花淘尽英雄。
是非成败转头空。
青山依旧在，几度夕阳红。
白发渔樵江渚上，惯看秋月春风。
一壶浊酒喜相逢。
古今多少事，都付笑谈中。
----------

Xiamen University Cognitive Science Department, Brain-like Intelligent System Labs

Blog (all about mathematics & algorithms): http://wywcgs.wordpress.com.cn
Email: wyw...@gmail.com
Gtalk: wyw...@gmail.com
MSN: wyw...@hotmail.com

QQ: 346693733

TopCoder Handle: wywcgs

[Wu Yin]

我觉得我之前说得已经够明白了, 是你没看明白我在说啥.

"数学体系不完备 不代表无法发展", 这是没错, 可是我所说的话题完全没有任何的关系.

我的意思是说, first-order logic is undecidable, 所以计算机逻辑推理的极限绝不可以超过FO, 这和自洽不自洽没有任何的关系.

实际上, 如果你学过finite model theory的话, 你会发现整个FMT都是在一阶逻辑的框架下讨论的. 正是因为FMT产生原因就在于想将MT应用于计算机上, 而计算机只能解finite的问题. 所以在这个大背景下, 你最多只能讨论FO, 因为再高的话就已经超出图灵机的能力了.

2011/6/1 醉陶然 <2855...@qq.com>