五千年(敝帚自珍)

主题:谈谈陈经的"预测和自由意志"的例子 -- CatOH

共:💬28 🌺19
全看分页树展 · 主题 跟帖
家园 花,问专家

印象里“算法集合”和图灵机的“可递归的函数”应该是等价的。而递归总是出现自指,所以我一直以为“可以定义数论命题”和“可以自指”和“可以实现if...goto的算法”三者是等价的。不知我理解是否有误?

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河