The AdS/CFT correspondence is a powerful tool for understanding quantum gravity.
Art is not what you see, but what you make others see.
A proof tells us where to concentrate our doubts.
最有效的调试工具仍然是仔细的思考,再加上明智地放置的打印语句。