튜링 & 괴델 추상적 사유의 위대한 힘