[일반] 리만가설이 증명이 불가능하다고한다면

[지니(ud6umt3mpv8r)]

그냥 맞다고 치고

연구를 진행하게 되면 어떻게됨?

리만가설을 수학의 절대적 규격으로 제시하고

리만가설에서 벗어나면 틀린이론으로 간주하고

리만가설에서 벗어나지 않으면 맞는 이론으로 간주해서

추론엔진을 한도끝도 없이 돌리면 어떻게될려나

[익명(shore1232)]

그거 이미 한참전부터 그러고 있음 지금 안풀린 유명 난제들은 그런식으로 연구한거 한트럭임

[지니(ud6umt3mpv8r)]

야 그러면 수학추론엔진 모델에 던져주면 되는거아님?

[지니(ud6umt3mpv8r)]

아 내가 말한걸 지금 하고있다고?

[익명(shore1232)]

수학추론엔진은 최신수학에서는 거의 무용지물임 추론능력좀 빨리 발전했으면 좋겠다

[익명(shore1232)]

ㅇㅇ 리만가설은 너무 유명해서 그거 맞다고 가정하고 연구한 결과가 많음

[익명(fbjhc9a7z8wr)]

그렇게 일단 맞다고 치고 넘어가는거 꽤 있다

[익명(220.72)]

증명을 못할뿐이지 답자체는 나오는게 있어서 맞다고가정하고넘어갈껄

[엔리카클로체(enricacroce)]

수학이라는건 레고같은거임 어떤 명제에 대해 참이든 거짓이든 모순이 없는 경우나 아직 증명할 수 없는 경우에는 그게 참이라고 가정한 분야와 거짓이라고 가정한 분야가 또 따로 연구될 수 있음 개념에 대한 학문이기 때문에 가능한거지

[지니(ud6umt3mpv8r)]

수학의 모든 개념을 포괄하는 절대적 공식은 없는것임?

[익명(27.115)]

모순이 없는 수학 체계에는 반드시 증명할 수 없는 명제가 하나 이상 있다 - dc App

[익명(118.235)]

웩갤에서 봤는데 특이점갤도 하네 ㅎㅇ

[지니(ud6umt3mpv8r)]

ㅎㅇ