[일반] "골드바흐 추측은 참또는 거짓중 하나이다"는 참임?

[익명(118.235)]

골드바흐추측은 증명불가능하지않다는게밝혀진거임?

연속체가설 같이 참도거짓도 아닐 확률은 없음?

참또는 거짓중 하나임이 확실한 걸 명제라고 소개하면서

이걸 명제의 예로 들었는데

- dc official App

[수갤러 1(143.248)]

증명 불가능한 것과 참거짓을 밝힐 수 없다는 건 다른 개념임.

[익명(118.235)]

그러면 저건 참또는거짓중 하나가 확실함? 연속체가설같은거는 그게아니라며 - dc App

[수갤러 2(220.72)]

확실한데 불완전성 정리에 의해 저걸 증명할 수 있는 공리가 없을 수도 있음

[수갤러 2(220.72)]

연속체가설이 참 또는 거짓 중 하나는 확실한데 이걸 증명하려면 공리를 하나 더 만들어야 한다는 얘기

[MetaFibonacci(equivalence)]

[수갤러 3(220.71)]

반례 존재함--> 거짓 반례 있음--> 참 반례는 항상 존재하거나 존재하지않으므로 골드바흐 뭐시기는 참이나 거짓 - dc App

[Repub(joint7983)]

그것은 배중률

[익명(goodwong)]

독립 이란 공리계에 해당 명제가 참인 모델과 거짓인 모델이 다 존재. 참이란 공리계의 모든 모델에서 해당 명제가 거짓인 모델이 없음.