这跟语言没有关系，只跟算法有关系。无论用Python还是用c，都能验证哥德巴赫猜想。语言只是使程序代码变得简单或复杂一些。
首先你得有一个数组用来存放目前已知的所有从3开始的连续的奇素数列。当然如果你只想简单验证一下，那么你可以选取从3开始的其中一段。不妨假设这数组是p[i]，i=0,1,..n-1。
其次你建一个新的数组t[k]，设置它每个元素的值为0。用类似于冒泡排序法的算法，计算p[i]中任意两个素数的算术平均k=(p[i]+p[j])/2，并令t[k]=t[k]+1。
可以证明，当循环结束，对于所有k<=(3+p[n-1])/2，t[k]就存放着使2k被分解为两个奇素数之和的方法数。因此，只要有任意l<=(3+p[n-1])/2，使得t[l]=0，那么哥德巴赫猜想就是错误的，2l就是反例；反之，哥德巴赫猜想对于小于3+p[n-1]的偶数就是成立的。
