摘要： Try to translate a novel, it was writen by a famous computer scientist. I have the original and translation, so I can position the error and correct my translate. Theorems How about the associative law, (x+y)+z=x+(y+z). Oh, I doubt if we'll need that; it didn't come up in the calculations. B 阅读全文