偶数Goldbach猜想计算机可解问题讨论(Ⅰ)

根据递归可计算性理论 ,提出偶数Goldbach猜想计算机可解命题 .首先把问题转化为研究第一类命题 :偶数N的全排列是否存在问题 ?即是否存在B(2n)素数矩阵中 .文中设计并构造了基本存在模型 ,提出了完备互余式 (modN )等一组新的互余理论概念 .构造性地证明了偶数N的唯一存在性 ,并给出 :任一给定的正偶数 N≥ 6 ,必定唯一存在素数完备互余式 (mod N (P) )或正则素数完备互余式 (mod+ N (P) )中 .