물리학에도 불확정성의 원리가 있어서 완전히 똑같은 상황을 100% 시뮬레이션 할수없듯이.수학도 불완전성 정리 땜에 증명 불가능한 난제가 있다며 ? [ 수학 비전공자라 무식한 질문이면 미리 죄송.]ai가 아무리 뛰어나도 결국 해결 불가능하고 설명하지 못하는 부분이 존재하는거 아님??
증명 불가능에 대한 증명을 원하는거겠지
그래도 증명 불가능을 증명하면 그 증명 불가능한 명제를 참으로 가정한 공리계와 거짓으로 가정한 공리계를 만들 수도 있고
ㅇㅇ맞는데 그럼 증명 불가능하다는 걸 증명하면 되는거지
어떤 명제가 특정 공리계에서 증명 불가하다는 거 증명하는 것도 중요한 성과임.