编程语言中最重要的东西是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字,现在正在寻找一种合适的语言。
在商业中,如果你不前进,你就在落后。
唯一真正的智慧在于知道自己一无所知。
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。