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.
그는 이런 일들을 60년대에 많이 했어요. 그래서 이 사람의 논리의 이론은 디지털 컴퓨터 시스템의 혁명의 기초가 되었고, 이제 논리는 다시 돌아 오고 있습니다.