编程语言中最重要的就是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字,现在正在寻找合适的语言。
逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。
我只是决心按照我自己的意见去行事,这将构成我的幸福,而不考虑你或与我毫无关联的任何人。
There is no shortcut in science, only down-to-earth work.
If you don't say what you think then you kill your unborn self.