I makes sense to me. The "computer science" to "practical computer work" relationship has about the same distance as fundamental physics has to industrial chemistry.
yeah, but what he was doing was much more in the realm of logic and set theory, which is to say mathematics, not concerned with anything to do with computation.