P. S. on Goedel: Wouldn't also be correct to say that Goedel invented computer science by writing the first nontrivial computer program (one which converts any proof of a certain sentence, G, in the language of PA, into a proof of not-G)?