C++ CLI 的描述能力将来会远远超过编译型C++的。
C++ CLI 的描述能力将来会远远超过编译型C++的。
大家到
http://blog.csdn.net/universee
看我的文章
超越图灵机——论人工智能实现的可能性（一）
超越图灵机（二）——神秘的不可数无穷大
超越图灵机（三）——探索生命的奥秘
因为解释型系统理论上可用的内存极限是“不可数无穷大”（要按我提出的方案设计解释系统），而编译型系统的可用内存仅仅有“可数无穷大”，
解释系统可以做到超出图灵机模式范畴，编程方式也发生了极大的变化。
但是.net要突破现在这种基于栈体系的虚拟机结构，这种栈体系是不足的。
用图灵机模式是不能实现真正的人工智能的，我的“超越图灵机”系列文章中已经给出了一种可能的方式，并有“探索生命的奥秘”，发现了生命与“不可数无穷大”的关系。
这是自图灵以来最重大的理论突破。
我的文章已经尽量的写容易明白些，但是仍然希望读者能有至少数学系研究生的水平。
可以在这个帖子底下讨论
问题点数：0、回复次数：13Top
1 楼universee（吾乃太极语言之父）回复于 2006-06-01 08:11:59 得分 0
以前50米斑竹发了个帖子向大家介绍C++CLI，她的方向是非常正确的。
即使不是我的帖子，大家要知道C++ CLI是lippman主持设计的，并且得到了C++的爸爸str的首肯。
不要被C++标准委员会里一些人说“C++ CLI破坏了C++”之类的话所误导，C++标准委员会在国外被很多程序员说成是亵渎了C++，以至于str在公开场合下不得不表个态说C++标准委员会没有亵渎了C++（大家到孟岩的blog里就可以看到）。
其实C++标准委员会与str在不少地方意见相左。Top
2 楼universee（吾乃太极语言之父）回复于 2006-06-01 08:30:00 得分 0
袁老大在吗？看看小弟的文章啊，以前大哥做的那个解释运行的pascal后来有没有又做对类的支持呢？大哥您算算看按您的方式理论上有没有超出超出了图灵机内存限制。请大哥看看小弟采用的方法，小弟发现这种方法竟然是理论上可以有不可数无穷大的存储单元，编程模式超出了图灵机！这种方法的一些方面还是比较普遍通用的，可能有不少编译器设计者都用过类似的java，.net，lisp，…………，但是却没有想到这是能够引导突破图灵机限制的
？Top
3 楼universee（吾乃太极语言之父）回复于 2006-06-01 08:31:43 得分 0
袁老大在吗？看看小弟的文章啊，以前大哥做的那个解释运行的pascal后来有没有又做对类的支持呢？大哥您算算看按您的方式理论上有没有超出超出了图灵机内存限制。请大哥看看小弟采用的方法，小弟发现这种方法竟然是理论上可以有不可数无穷大的存储单元，编程模式超出了图灵机！这种方法的一些方面还是比较普遍通用的，可能有不少编译器设计者都用过类似的，比如java，.net，lisp，…………设计者很可能是想到过的，但是却没有想到这是能够引导突破图灵机限制的
？
Top
4 楼fixopen（dup）回复于 2006-06-01 11:26:17 得分 0
还是没有看明白，从标题上看：编译云云的东西，这个分类方式应该已经不适合现代的开发环境了。
由于增加了一个VM间接层，可以有更大的腾挪余地做出以前很难想象的事情，但是本质没有变化，希望楼主好好温习一下歌德尔不完备性定理。
所有的腾挪和变化最终都要落实到人类的思想领域，所以以前的Fortran没有Scope的时候，照样可以表达所有想要表达的事情。
另外，我发现楼主把图灵机跟内存限制什么的扯到一块了，它们有关系么？莫非说你的运算模型已经可以运算原来图灵发现的不可计算问题了？要记住图灵机的纸带可以前后移动。Top
5 楼fiftymetre（50米深蓝）回复于 2006-06-01 13:48:22 得分 0
universee(吾乃太极语言之父) 呵呵。我不认同的啊
我从来都没有说C++ CLI 将超过C＋＋什么之类的话。我只是想让大家知道或是了解或是喜欢C++ CLI 这东东，毕竟跟C＋＋之间，二者都有很多的关系的。呵呵。
还有补充你的一个错误的地方。BS并没有首肯，lippman自己说，BS并没有首肯的。只是默许。现在加入C++ CLI 开发的强人我就知道lippman和Herb Sutter。
还是LN强啊。
由于增加了一个VM间接层，可以有更大的腾挪余地做出以前很难想象的事情，但是本质没有变化，希望楼主好好温习一下歌德尔不完备性定理。
一句话就把偶唬的一嫩一嫩的 ^_^Top
6 楼playmud（(猪头流氓)(抵制日货)(热烈庆祝火箭输球)）回复于 2006-06-01 14:03:21 得分 0
怀念以前和血精灵对战的java fans,带来的影响要远远大于楼主萨～
cli是lippman主持设计？他上次来中国是这么说的？忘记了。Top
7 楼universee（吾乃太极语言之父）回复于 2006-06-01 15:22:47 得分 0
fixopen，
哥德尔不完备性定理其本身的适用范围是有限的，
关于哥德尔不完备性定理先从中学生的网站上复制过来一些，呵呵
------------
希尔伯特引进证明论的目标是证明整个数学的无矛盾性，其中最重要的是集合
论的无矛盾性(至少ZF系统无矛盾)、数学分析的无矛盾性，最基本的当然是算术的
无矛盾性。哥德尔的不完全性定理说明，用有限的办法这个目标是达不到的。由于
哥德尔不完全定理的冲击，希尔伯特计划需要修改。
有限主义行不通就要用非有限的超穷步骤。1935年，甘岑用超穷归纳法证明自
然数算术形式系统的无矛盾性。其后几年，他和其他人又给出了其他的证明。这种
放宽了的希尔伯特计划在第二次世界大战之后发展成为证明论的分支，这些证明也
推广到分支类型论及其他理论。
----------------------------------------
fixopen，
目前数学界已经有许多超越哥德尔不完备性定理的东西了。
哥德尔不完备性定理其本身的适用范围是有限的，
另外你看过一些非康托型集合论没，
解释型系统理论上可用的内存极限是“不可数无穷大”（要按我提出的方案设计解释系统），而编译型系统的可用内存仅仅有“可数无穷大”，
所以解释系统可以做到超出图灵机模式范畴，
图灵机的限制说白了就是哥德尔不完备性定理的缘故。
再说白了，就是图灵机的内存太小了。
Top
8 楼universee（吾乃太极语言之父）回复于 2006-06-01 15:32:17 得分 0
fiftymetre大斑竹啊，先引用一下大斑竹的“我从来都没有说C++ CLI 将超过C＋＋什么之类的话。”
我是说“解释运行的C++将超过编译运行的C++的描述能力”，你看我的原话“C++ CLI 的描述能力将来会远远超过编译型C++的”。
我认为两者都是C++，可是现在人们对解释型系统有很大的偏见。
我发现解释型系统的编程模式竟然真的超出图灵机范筹。
Top
9 楼fiftymetre（50米深蓝）回复于 2006-06-01 19:12:41 得分 0
universee 老大啊，我不是大版主啊。我是小版的唉。你表乱说。。。。
C++ CLI 的描述能力将来会远远超过编译型C++的”。 那是靠元数据的吧。我觉得还是看场合的啊。Top
10 楼universee（吾乃太极语言之父）回复于 2006-06-01 21:27:15 得分 0
fiftymetre，俺叫您大斑竹您就是大的啦，反正俺就认为您是大斑竹，
-------------
““C++ CLI 的描述能力将来会远远超过编译型C++的”。 那是靠元数据的吧。我觉得还是看场合的啊。”
不是，是因为解释系统的内存极限是不可数无穷大，远远超过编译系统。但是现在只有我意识到这一点，我是在做我的编译器时发现的，当时真的惊奇呀……。
给俺介绍几本讲C++CLI的好书好吗？Top
11 楼sandrowjw（我的小猫照片给弄坏了，心都碎了）回复于 2006-06-01 21:39:18 得分 0
主要是没看明白，有详细的证明没有？Top
12 楼fixopen（dup）回复于 2006-06-02 10:20:14 得分 0
你说的我还是没有明白.
请问,你得系统是不是机械系统?那么为什么歌德尔定理不能适用?
你别跟我扯到你得会有一部分自发破缺或者量子理论中的概率性,而且就算是有,你怎么保证你得这种破缺总是朝着有利于你解决问题的方向进行的?
我严重怀疑你对于图灵的可计算性的理解和认识.
康托尔的公理集合论已经提出了阿列夫1(也就是你得不可数无穷大)了,没有看出来你得系统需要别的公理化的集合论.
说到底,不完全性定理也是某种方式的对角线方法,只要你是形式系统,必然会用某种对角线方法越出你得边界.
总体来说,你倾向于相信你得系统可以不被越出,我实在看不出你得系统怎么就不是一个形式系统了.
Top
13 楼akirya（坏[其实偶不是什么所谓的坏人]）回复于 2006-06-02 13:25:29 得分 0
这个
.net要突破现在这种基于栈体系的虚拟机结构，这种栈体系是不足的。
如果cpu架构还是基于栈结构，那么哪种语言说不是基于栈的，就是胡说。Top
