哲学的任务不是去发现什么是真实的,而是去理解我们已经知道的东西。
我们即将到来:今天,我们的程序证明了费马的倒数第二个定理。
The arithmetic of algebraic varieties is a testament to the power of abstract thought.
我看到我们的主要慈善团体,包括世界银行,有太多的愚蠢和愚昧。我真的对建立 Costco 这样的资本主义企业更有信心。