His results on cellular automata are clearly solid contributions. Any academic would be proud to open a whole line of inquiry. I understand that he's also done

His results on cellular automata are clearly solid contributions. Any academic would be proud to open a whole line of inquiry. I understand that he's also done good work in Physics. I was just surprised to see this particular result about propositional logic in particular highlighted because, as a logician, I really don't care :)