The theoretical and philosophical work that they carried out in the 1930s laid the foundations for the computer revolution, and this revolution in turn fueled the fantastic expansion of scientific knowledge in the late 20th and early 21st centuries. Ideas devised at that time have become cornerstones of current science and technology. Much work has been devoted in recent years to analysis of the foundations and theoretical bounds of computing. However, the results of this diverse work, carried out by computer scientists, mathematicians, and philosophers, do not so far form a unified and coherent picture. It is time for the reexamination of the logico mathematical foundations of computing to move center stage.