폭발원리,거짓말쟁이 역설, 정지문제 설명
게시글 주소: https://dev.orbi.kr/00077252020
폭발원리
(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)은 이 '문제'를 풀수없다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
헉.... 이걸 얼마나 공부하신 거에요!!!먼가 가물가물 기억이 나는뎅
정지문제 그거아닌가 컴파일러