알고리즘이라든가 컴퓨터 과학 근간이 수리논리에서 출발하는거 같은데