在前面有关可再现性的讨论中，假定要再现的结果是正确的，即使可能是众多正确结果中的一个。但是，我们如何才能最终确定这一点？一些程序可提供证明，但是证明通常会比程序更复杂。为什么这些证明比程序更可靠？一些程序对具有守恒律的物理系统建模，可以对其进行检查，但是，如果要进行的物理发现是守恒律不完整或不正确的情况，应该怎么办？
任何重要的决策需要采用独立方法来确认。对于通过计算机辅助做出的大部分重要决策情况，可能需要采取独立方法，包括不同的计算机、采用不同指令集、运行不同操作系统、使用以不同计算机语言编写的程序、实现不同的运算，然后由位于另一区域、以不同的自然语言思考的其他调查人员完成所有验证。在这一点上需要进行到什么程度，取决于做出不正确结论的成本如何。
因此，举例而言，在编写程序以测试基本转换时，至少注意，所用测试算法与要测试的基本转换函数可能使用的任意算法应截然不同。这就是为什么即使速度很慢，基本算法在计算机科学中仍有自己的一席之地，即用于测试快速复杂的算法。