정확한 증명은 대학원 가야 배움? 인터넷 뒤져도 안보여서...계산가능성과 논리 보고 있는데 이정도로 이해 가능함?