aaabbbccc@2005-06-20 13:11

引用

最初由 belldandy_yd 发布


1设计量子自杀试验进而推导出最终人择原理的目的就是用来质疑MWI解释的不合理，如果MWI不成立，自然就没有最终人择原理问题。
2已经N次指出不是因为MWI理论成立，量子计算机才能实现，而是相信MWI理论的人尝试用MWI理论解释量子计算机工作机理。（哥本哈根理论同样可以用来解释量子计算机工作机理）所以你那个逻辑推演的基本设定就不正确。

mcv@2005-06-20 13:18

引用

最初由 aaabbbccc 发布


既然最终人择原理不成立，可以告一段落了。
誰也沒說過量子计算机要MWI才能解釋。作爲應用科學，不需要考慮解釋的。

aaabbbccc@2005-06-20 13:22

引用

最初由 mcv 发布
这句话完全反了，算法有概率所以实现才一定有概率


停机问题是不可解，这就是算法的极限，用任何实现都不可能解决，人的脑袋也绝对不能解决普适的停机问题，你顶多能做的就是回答某些程序会不会停。
你怎么知道？你知道机器证明的进展么？

mcv@2005-06-20 13:25

引用

最初由 aaabbbccc 发布



停机问题是因爲系統的限制，跳出這個系統自然就能看得清楚。比如無限遞歸的算法，图灵机除非能理解了極限，不然是不可能結束的。

aaabbbccc@2005-06-20 13:39

引用

最初由 mcv 发布

你自以为跳出了这个系统，结果你还是在另一个系统里头。

停机问题根本不是你所想象的把一个程序放在图灵机里跑，看他会不会停。完全不是，而是把这个程序作为另一个程序的输入，那个程序（假想的）会告诉你前面那个程序会不会停。所谓的停机问题不可计算就是说那个假想的程序不存在。但是，对于特定类型的问题（比如说无限循环或者无限递归），要开发出一个判断它是不是会停的程序，是完全可以做得到的。

mcv@2005-06-20 13:42

引用

最初由 aaabbbccc 发布


另一个程序是图灵机的實現嘛，就像javascript也是图灵机的實現。您的程序也是图灵机的實現。图灵机不能理解極限，自然就不知道會不會停。

引用

一個特例並不表示所有的都可以判斷。只要有一個不可以判斷，就還是有同樣的問題。

aaabbbccc@2005-06-20 13:49

引用

最初由 mcv 发布

你这种观点毫无意义，你能给“理解”下定义么？不过是用一个更大的问题来取代原来的问题而已。不要说图灵机了，就算把自认为理解“极限”的你放在那边，你也不可能判定所有的程序会不会停机。

mcv@2005-06-20 13:54

引用

最初由 aaabbbccc 发布


更大-〉更更大-〉。。。。-〉無窮大，

您只要問一下您的图灵机兩個無窮大是不是等價得就行了。


連我同事的程序我都看不明白，您就不用問所有的程序了。

火月浪客@2005-06-20 13:57

aaabbbccc@2005-06-20 14:00

引用

最初由 mcv 发布

不知道你在说什么，我不认为康托的超限数和这个问题有什么关系。

AMX_002@2005-06-20 14:17

mcv@2005-06-20 14:22

引用

最初由 aaabbbccc 发布

只是個例子，您寫個程序判斷一下是否兩個無限集等價的問題。

不要以爲極限這末容易，直到現在，物理學中踫到無限的存在就驚恐的不得了。

火月浪客@2005-06-20 14:22

引用

最初由 AMX_002 发布
如果能做好润滑和密闭性，那就可以用一点点的气体让实体弹被吸出去

而考虑到稳定性，后部气体需要在引导管前半段内得到释放，这样实体弹可以在后半段内得到稳定的弹道.....

直接回主题 - -

AMX_002@2005-06-20 14:26

引用

最初由 火月浪客 发布

其实宇宙里实弹难点应该在于失重时,弹体本身自转的离心作用将成为导向主体
高速自转的长距离攻击弹体如果略微存在密度差异的话就会导致大幅度偏向问题吧
毕竟炮弹发射原理和火箭升天是有一定区别的

mcv@2005-06-20 14:27

引用

最初由 火月浪客 发布

其实宇宙里实弹难点应该在于失重时,弹体本身自转的离心作用将成为导向主体
高速自转的长距离攻击弹体如果略微存在密度差异的话就会导致大幅度偏向问题吧
毕竟炮弹发射原理和火箭升天是有一定区别的

«1920212223242526»共26页