小编use*_*851的帖子

无论这是否可判,我都在苦苦挣扎:

A = {x是自然数|的集合的元素 对于大于x的每个y,2y是两个素数之和}

我倾向于认为这是可判定的,因为当它被送入图灵机时,它将永远不会达到接受状态并且无限循环,除非它拒绝.但是,我也知道,对于一种可判定的语言,必须只有一种算法来决定它; 我们不一定要知道它是如何完成的.有了这个,我认为它是可判定的吗？有谁知道如何证明？