我写作是为了发现我在想什么。
计算复杂性的研究告诉我们,有些问题本质上是困难的,无论我们的算法多么聪明。