判断两个λ表达式是否等价的问题是无法解决的。
在弦理论的早期，我们就像是在绘制未知大陆的地图的探险家。
不要担心你在数学上遇到的困难；我敢保证我遇到的困难比你还大得多。
最好的投资不是技术，而是背后的团队。
你知道的越多，你看到的就越多。
解释：药材的使用方法有做成丸剂的，有做成散剂的，有水煮的，有用酒浸泡的，说明了药材使用的多样性。
艺术家必须是可能性的预言者。