translation.en: He did a lot of this work in the '60s, and so a lot of this logic theory lay fallow as we went down the digital computer revolution, but it's now coming back.
translation.zh: 他在1960年代的时候做了很多这方面的研究 但是他的很多关于逻辑的理论没有被重视 因为我们走向了数字计算机革命，但今天我们又一次见到了这一理论重新发光的可能