컴퓨팅만으론 불가능하다는걸 증명한 모델 아님?


그렇다고 컴퓨팅이 필요하지않다는건 아니지만