会议专题

偶数Goldbach猜想计算机可解问题基本模型讨论

本文讨论了偶数Goldbach猜想是否计算机递归可解的基本问题,探讨了其存在的判定模型和谓词结构特征描述,并给出一般模型必要的分析和证明.

偶数Goldbach猜想 存在的判定模型 主要判定结果 计算机递归可解

林柏钢 邱宏端

福州大学计算机系(福州) 侨兴轻工学院(福州)

国内会议

2002年全国理论计算机科学学术年会

长沙

中文

19-22

2002-10-01(万方平台首次上网日期,不代表论文的发表时间)