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.
——一九二八年四月十三日斯大林在联共(布)莫斯科组织的积极分子会议上所作的报告《关于中央委员会和中央监察委员会四月联席全会的工作》