[일반] 증명할 수 있음을 증명하면 증명한 걸로 침?

[익명(115.21)]

그런 사례가 있는지는 모르겠는데 직접 증명은 안 하고 증명될 수 있음을 보이는 증명방법은 없음? 나아가서 증명할 수 있음을 증명할 수 있음을 증명하는거는 뭘 의미함 그냥 구성적증명 비구성적증명 차이인건가

[익명(119.56)]

괴델한테 물어보셈 - dc App

[익명(221.139)]

증명할 수 있음을 증명하는건 그냥 증명하는 거 아니냐? - dc App

[ExHentai.org(nsa15464)]

증명가능성을 증명하는게 어떻게 증명한게 되냐.. 증명가능성 증명은 어떤 명제에 대한 증명이 적절한 체계 내에 존재함을 보인거잖아

[익명(121.136)]

존재성을 보인것과 존재하는 놈을 구체적으로 찝어내는거의 차이?

[익명(116.39)]

약간 p np 증명한거랑 비슷한거 아니냐? ㅋㅋ - dc App

[익명(141.223)]

증명가능성을 증명한건 참이란거니까 증명이 실제로 뭐든간에 수학자라면 증명된거라고 간주해야지

[익명(185.220)]

아님. 증명할 수 있다 혹은 증명할 수 없다 뿐만이 아니라, 증명할 수 있으며 참이다 혹은 증명할 수 있으며 거짓이다 까지 증명해야 증명임. 모든 증명된 명제는 증명될 수 있음을 함의하지만, 모든 증명될 수 있는 명제가 증명됨을 함의하지는 않음.

[익명(119.202)]

증명할 수 있는데 거짓이 뭔 소리야 빡통대가리야

[익명(119.202)]

참(증명가능, 증명불가능), 거짓 이렇게 두개뿐이야

[익명(193.218)]

니는 0.999... =/= 1 거짓 증명 못함?

[익명(119.202)]

ㄴ 증명가능성의 정의를 모르니 이런 빡통같은 소리를 하는거지 그게 0.99999..=1이 참일을 증명하는거잖아 멍청아

[익명(119.202)]

"0.9999 /=1이 거짓"이 자체가 명제인데