The study of logic is not just about rules of inference, but about the very nature of reasoning itself.
逻辑学研究不仅仅是关于推理规则,而是关于推理本身的本质。
写作是一种不被干扰的说话方式。
我不是圣人,我是罪人。
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.
在现实生活中,善与恶的战争中最困难的一面是决定谁是善谁是恶。
煤矿工人是美国工业实力的无名英雄。