Dijkstra的话 我现在年纪大了,搞了这么多年软件,错 误不知犯了多少,现在觉悟了,我想,假 如我早年在数理逻辑上好好下点功夫的话, 我就不会犯这么多错误,不少东西逻辑学 家早就说了,可我不知道要是我能年轻20 岁的话我要回去学逻辑。 门]钱学森,关于思维科学的研究,思维科学,第3卷,1987。 [2]M.Y Vardi, a brief history of Logic, 2003Dijkstra的话 我现在年纪大了，搞了这么多年软件，错 误不知犯了多少，现在觉悟了，我想，假 如我早年在数理逻辑上好好下点功夫的话， 我就不会犯这么多错误，不少东西逻辑学 家早就说了，可我不知道要是我能年轻20 岁的话我要回去学逻辑。 [1] 钱学森，关于思维科学的研究，思维科学，第3卷，1987。 [2] M. Y. Vardi, A Brief History of Logic, 2003