系统早晚会出问题

      ---  by me

这是一个哲学命题。如果是大自然出了问题，那不叫问题，那是规律；但如果是人为设计的系统，不管是五千年的法律，五百年的金融，还是仅仅诞生五十年的软件系统，从一开始就注定会在某些时候出现问题。因为这三者归根结底都是语言系统，我是说，法律金融和软件其实都是构建在语言形成的概念上，所以都可以用字符串表达，再用图灵机模拟；而既然本质都是图灵机，那计算理论可以证明，用字符串表达的问题一定比字符串表达的解要多，所以一定有不可解的字符串问题，那就是经典的不停机案例；在我们的社会里，这往往表现为法律中的漏洞，货币系统的潜在不稳定，和软件中无处不在的bugs。

如果承认上面的观点，那用冗余的人力来检查精密机器得出的会计报表，这样的职业随着机器的出现而诞生，直到人类的消亡而消亡。