Именно тогда теоретическая работа математиков начала приносить свои плоды. В результате появления теоремы Геделя о неполноте к моменту создания первых вычислительных машин математики уже в достаточной степени исследовали те аспекты алгоритмических процессов, которые были необходимы развивающейся технологии. Этим была заложена основа для появления новой дисциплины, ныне известной как компьютерные науки.