C++程序验证哥德巴赫猜想

我这里有段C的，不过C在C++编译器里完全能通过，关键是思路，希望能给楼主有所帮助

#include <stdio.h>
#include <math.h>
int prime(int n) //判断素数.是返回1.不是返回0;
{
int i,k=sqrt(n);
for(i=2;i<=k;i++)
{
if(n%i==0)
break;
}
if(i>k) return 1;
else return 0;
}
void main()
{
int i,a,b,n; //n作为标志位.
for(i=6;i<=2000;i+=2) //因为判断偶数.所以i的步长为2.奇数不判断.
{
for(a=2;a<i;a++) //循环求组成该偶数的两个素数.
{
if(prime(a)) //先求出组成该偶数的第一个素数.
{
n=0; //对每个偶数的判断都将其初始化为0;
b=i-a; //第二个素数就等于该数减去第一个素数.
if(prime(b))
{
n=1; //d当该偶数的确是由两个素数组成,则将n置1;
break; //退出当前for(a)循环.
}
}
}
if(!n) //如果for(a)循环结束后,n的值还是0,说明该偶数不是由两个素数组成.
{
break; //就退出for(i)循环.
}

}
if(n) //根据n的值,判断验证是否正确.
printf("is right!\n");
else
printf("is error\n");
}

最多只能够在某个范围内验证其正确性。

比方说，用C程序可以验证所有小于10000的数，哥德巴赫猜想成立。

但是要完全证明这个猜想，应该很难用C程序完成的吧。

至少我想不出完全证明的方法。