|
|||||
|
|
| 哥德巴赫猜想简要证明与哥德尔计算机 | |
| 引用本文： | 刘辉,王德奎.哥德巴赫猜想简要证明与哥德尔计算机[J].成都教育学院学报,2008,22(2):126-128. |
| 作者姓名： | 刘辉 王德奎 |
| 作者单位： | 绵阳高等职业技术学院，四川绵阳日报社 四川绵阳621000 |
| 摘 要： | 哥德巴赫猜想简要证明不是哥德巴赫猜想完备、充分的证明，而是想把哥德巴赫猜想证明的方法交给大家去掌握、讨论。该证明揭示了哥德巴赫猜想与生命计算机原理的关系，即这是属于数理形式本体论中哥德尔计算机类型的既可证又不可证的数学问题，而不是形式主义的可证或不可证类型的数学问题。 |
| 关 键 词： | 偶数 素数 报废率 哥德尔计算机 形式本体论 |
| 文章编号： | 1008-9144（2008）02-0126-03 |
| 修稿时间： | 2007年9月10日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |