什么样的C程序是正确的？编译通过，输出正确的C程序，是正确的吗？

Question

什么样的C程序是正确的？编译通过，输出正确的C程序，是正确的吗？

Answer 1

没有绝对意义上"正确"的程序。这是因为程序的输入有无穷多种，即便程序没有输入，它的运行环境也有无数多种。
只要有一个不符合预期，那么程序就是“错的”，而即便你找出10000个例子是符合的，你也不能说程序是正确的。
歌德巴赫猜想，任一大于2的整数都可写成三个质数之和，是否成立，到现在也没有完全证明出来。虽然我们可以举出无穷多符合这个规则的例子，并且还没找到反例。也不能说这绝对成立。