폭발원리,거짓말쟁이 역설, 정지문제 설명

Question

폭발원리 (p and not p)->q= (p or not p) or q= T or q= T이는 즉(p and not p)->q 라는 식이 참이라는것임이때 전건인 (p and not p)가 참이면후건인 q가 참이됨q는 아무명제즉모순을 참이라고 하면 모든 명제가 참이됨  거짓말쟁이 역설 A: A는 거짓(A의 내부에 A 자체가 참조되어 있음.)A가 거짓이면 A는 참(전제와 결론이 모순됨)A가 참이면 A는 거짓(전제와 결론이 모순됨) 정지문제신탁 장치(oracle)의 출력 = A부정자(negator) = NOT출력값을 예측하고자 하는 기계의 구조 = (NOT A)문제 = "(NOT A) = A"신탁 장치(oracle)은 이 '문제'를 풀수없다

마후테루 · Accepted Answer

헉.... 이걸 얼마나 공부하신 거에요!!!
먼가 가물가물 기억이 나는뎅

Atardecer · Answer

정지문제 그거아닌가 컴파일러

폭발원리,거짓말쟁이 역설, 정지문제 설명

최근 게시글 · 더보기

공부를 도와주는 학습자료