今天投资于幼体营养研究,明天将养活数百万人。
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.
"A book is a journey you can take without leaving your chair."