2006年05月

原创 超越图灵机（三）——探索生命的奥秘

超越图灵机（三）——探索生命的奥秘 阅读全文>

发表于 @ 2006年05月31日 10:52:00|评论(loading...)|编辑

原创 超越图灵机（二）——神秘的不可数无穷大

超越图灵机（二）——神秘的不可数无穷大 阅读全文>

发表于 @ 2006年05月31日 10:50:00|评论(loading...)|编辑

原创 超越图灵机——论人工智能实现的可能性（一）

我认为人工智能是可以实现到逻辑思维这一步的，因为逻辑思维可以完全用字符串来表示，图灵机可以把任意单元置成任意值，在这一点上是完备的，这就足以描述逻辑思维了，所以用图灵机完全可以实现到逻辑思维。当然图灵机会受到哥德尔不完备性的制约，但是逻辑系统也会受到同样的制约，所以我认为完全可以用图灵机实现逻辑思维。 那么逻辑思维的本质机理与图灵机是什么关系？逻辑思维内部也是采用的一种类似图灵机的机制吗？爱因斯坦否认人工智能实现的可能性说机器可以解决很多问题但是却永远都不会提出一个问题，但是我认为爱因斯坦在这个问题上是错误的，比如说程序崩溃时就可以看成是提出一个问题，输出一个？也可以看成是提出一个问题，提出问题可以看成是自动机的一个状态，甚至把自动机的任何状态点都可以看成是提出问题，问题与结果都可以用字符串来描述，而图灵机是可以完备的解决一切字符串问题的，那么当然图灵机是会提出问题的。 但是图灵机的能力仍然是很有限的。而且人有远远超出逻辑思维的思维方式，更高的智能，这都是图灵机所往尘莫及的。那么更高的人工智能甚至真正的智能应该如何来实现？…… 我在设计太极语言时考虑了很多，后文我阅读全文>

发表于 @ 2006年05月29日 18:54:00|评论(loading...)|编辑

原创 为什么中国的程序员不敢对C++标准委员会说不？

为什么中国的程序员不敢对C++标准委员会说不？ 我在CSDN上发了一个贴子，指出C++标准委员会制定标准强制for循环一致性的做法是不合理的。 其实关于强制for循环一致性的讨论一直是比较激烈的，以前我在国外一些邮件列表中常常见到这样的话题，两方面的意见基本持平，不分高下。 阅读全文>

发表于 @ 2006年05月26日 01:06:00|评论(loading...)|编辑

原创 论C++标准委员会制定的一条不合理的标准

论C++标准委员会制定的一条不合理的标准 C++标准委员会不让for后()中定义的变量在外边用,我觉的非常不合理 在我做的太极语言中是这样设计的，()中的名字注册进入首个含名字空间的母垣(垣的概念大家都知道了吧)，中间如果经过了{}则要加序号标记。 for()中定义的变量让不让在外边用曾经是一个争议挺大的问题.在太极语言中是这样考虑的:单独从for本身考虑两方面的意见不好确定,把目光放向全局.就是看()中定义的变量是否要全区域可见. 阅读全文>

发表于 @ 2006年05月23日 20:28:00|评论(loading...)|编辑

原创 太极语言出世——比C++更好的语言（续）

太极语言出世——比C++更好的语言（续） 阅读全文>

发表于 @ 2006年05月18日 07:35:00|评论(loading...)|编辑

原创 太极语言创始人强烈抗议西方人做的编译器不支持汉语

太极语言创始人强烈抗议西方人做的编译器不支持汉语 太极语言创始人强烈抗议西方人做的编译器不支持汉语，让编译器支持汉语是非常简单的事情，可是一直到现在竟然还没有一款C/C++编译器是支持汉语的，这简直是种族歧视！ 现在我已经做成了非常成熟的支持汉语的系统级编译器，大家可以到http://taiji9.getbbs.com 上下载演示版。 阅读全文>

发表于 @ 2006年05月17日 12:43:00|评论(loading...)|编辑

原创 太极出世：发布太极语言编译器演示版

太极出世：发布太极语言编译器演示版 （太极元年丙戌四月十八日） 现在发布太极语言编译器，下载地址在http://taiji9.getbbs.com/ 太极语言灵灵至极，以无招胜有招，以无为而臻于无不为之境界。 阅读全文>

发表于 @ 2006年05月17日 06:58:00|评论(loading...)|编辑

原创 太极出世：发布太极语言编译器演示版

太极出世：发布太极语言编译器演示版 （太极元年丙戌四月十八日） 阅读全文>

发表于 @ 2006年05月17日 00:36:00|评论(loading...)|编辑

Csdn Blog version 3.1a
Copyright © universee