[일반] 증명없이 명제의 진리값만 알 수 있으면 어케됨?

[익명(118.235)]

지금보다 비교도 할 수 없을정도로 수학이 많이 발전함?

임의의 수학명제를 하나 던져주면

증명없이,

그것이

참인지

거짓인지

증명불가인지

만을

정확히 알 수 있다면

지금과는 비교도 할 수 없을정도로 수학이 발전함?

아니면 증명논리없이 결론부만 아는 거기때문에 그정도는아님?

- dc official App

[황재웅(hence2332)]

페르마의 마지막 정리 증명만 봐도 증명과정이 얼마나 중요한지 알 수 있음 - dc App

[Illdefined(designer2119)]

아무것도 안 달라질듯. - dc App

[익명(goodwong)]

튜링머신으로 비슷한 시도가 있으

[익명(goodwong)]

https://www.google.com/search?q=turing+machine+riemann+hypothesis+744&client=ms-android-samsung-ss&hs=Y1iU&sca_esv=7f5f312185a57a11&ei=qn2ZaebuG5XQ1e8Pjaz2iAs&biw=384&bih=733&oq=turing+machine+riemann

[익명(223.39)]

일종의 신탁기계(오라클) 같은걸 생각하는거 같은데 그런걸 구현할 수가 있나 싶음

[익명(223.39)]

애초에 정지문제는 결정불가능한게 이미 증명되기도 했고