[일반] AGI랑 정지문제는 양립 가능함?

[익명(211.207)]

정지문제는 "컴퓨터가 모든 것을 할 수 있는 것은 아니다" 이러고 있고

AGI는 "인간은 상상조차 못 할 방식으로 답을 찾아낸다" 이러는데

AGI가 리만가설이나 나비에-스톡스 방정식 푸는건 불가능한가

[익명(bluewarp)]

척봐도 양립할 것 같은데

[익명(122.46)]

리만 가설이나 나비에 스톡스 방정식이 괴델의 불완전성 정리에 속하는 문제면 asi가 와도 증명 못함. 단 저 문제들이 괴델의 정리에 속하는지 안하는지는 증명할 수 있을 거임

[익명(122.46)]

그리고 애초에 인간의 지능 지체도 정지 문제에 속하는지.안하는지 증명된 바가 없어서 충분히 양립가능하다

[익명(222.119)]

정지문제는 그냥 모든게 다 가능한건 아니라는 증명일뿐이잖아 리만가설이나 나비에 스톡스 방정식이 정지문제 범위에 들어간다는 증명이 없으니 그 전에는 모든게 다 열려있는거지 인간도 정지문제에서 자유롭지 않음

[익명(fbjhc9a7z8wr)]

정지문제는 그냥 불완전성정리의 일부인거 아니냐

[초존도초(htr3c654r6ft)]

내가 예전에 공부했을 때 정지문제는 그냥 어떤 알고리즘이라도 그 알고리즘을 실제 무한히 실행하지 않고 실행 전에 오류를 내고 도중에 정지할지 어떤지를 "원리적으로 알 수 없다"였었는데 아닌가?

[익명(aidam3999)]

한계는 있겠지만 그건 인간의 생각보다 결코 낮지 않을듯ㅇㅇ