逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
真正的问题不在于机器是否会思考,而在于人类是否会思考。