从哥德尔的抽象思想到计算机科学的诞生