I’ve never been afraid of failure.

There is only one boss. The customer. And he can fire everybody in the company from the chairman on down, simply by spending his money somewhere else.

逻辑学研究不仅仅是关于形式系统，更是关于人类推理的本质。