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.