This talk will explore the impact on the development of computer science of the work of Kurt Gödel, on the occasion of his centennial.