60, 70년대에


지금 나와있는 대부분의 이미 프로그래밍 이론들 다 완성시켰고


지금 대부분의 운영체제의 핵심 알고리즘들 다 완성시키고


지금 대부분의 인공지능 이론들 이미 다 만듬.