The mathematics of CS is mainly logic, for which Gödel isn't essentially the leading light. Very important theories he contributed, but they don't necessarily d

The mathematics of CS is mainly logic, for which Gödel isn't essentially the leading light. Very important theories he contributed, but they don't necessarily define logic. I'd be more inclined to attribute to Russell or any of his influencers (like Frege).