程序员修真之路

行了严格的公理化证明。

    相比地球上通过计算机来计算上百亿次，进行强行解答的方法。

    毫无疑问，程理现在写下的这个证明过程，更加符合数学的美，体现了数学严格清晰的思路。

    如果程理将这个证明过程，在地球上发表出去，绝对会引起大轰动，产生不亚于1995年费马猜想被证明的巨大轰动。

    不过现在，只有那“正确”二字，和程理静静分享着这份喜悦。

    程理并没有让自己感怀多久，几乎就十几秒的功夫，他就彻底恢复了情绪。