english: 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.
non_english: Він провів велику роботу в 60-х. І хоча його логічна теорія припадала пилом, коли вибухнула цифрова комп'ютерна революція, зараз вона знову в центрі уваги.