«incompleteness» 태그된 질문

나는 항상 위의 질문에 대한 대답이 다음 줄을 따라 긍정적이라는 것을 모호하게 생각했습니다. 고델의 불완전 성 정리와 정지 문제의 결정 불가능 성은 결정 가능성에 대한 부정적인 결과이며 대각선 논증 (1930 년대)에 의해 확립 된 것이므로 동일한 문제를 보는 두 가지 방법이어야합니다. 그리고 Turing은 보편적 인 Turing 장비를 사용하여 정지 문제를 …

75 computability  logic  halting-problem  incompleteness 

나는 최근에 모순에 의한 증거의 타당성을 생각하고있었습니다. 나는 지난 며칠 동안 직관 논리와 Godel의 이론에 관한 것들을 읽어 내 질문에 대한 답을 줄 수 있는지 읽었습니다. 지금은 여전히 ​​궁금한 점이 있으며 (아마도 내가 읽은 새로운 자료와 관련이있을 것입니다.) ( 경고 : 당신은 논리에서 매우 혼란스러운 기초를 가진 내용을 읽고, 소금 …

19 logic  first-order-logic  propositional-logic  incompleteness 

일관성과 완전성이 건전성을 암시 하는 질문을 읽고 있었습니까? 그리고 첫 번째 진술은 다음과 같습니다. 건 전함은 일관성을 의미한다는 것을 이해합니다. 나는 건전성이 일관성보다 약한 진술이라고 생각했기 때문에 매우 당황했습니다 (즉, 일관된 시스템은 건전해야한다고 생각했지만 사실은 아닌 것 같습니다). 나는 Scott Aaronson이 일관성과 건전성을 위해 MIT의 6.045 / 18.400 과정에서 사용하고있는 …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness