내 소식

쿠쿠리 [1310649] · MS 2024 · 쪽지

2026-04-16 16:13:09
조회수 111

정지문제와 거짓말쟁이 역설 통합

게시글 주소: https://orbi.kr/00078196951

정지문제란?


모든걸 예측하는 오라클이 풀수없는 문제


정지문제 궁극의 형태는


(not A) = A


A가 오라클의 예측값

(not A)는 오라클에게 부정자(not)을 붙인 기계

즉,

예언자(오라클)에게 부정자를 붙인 기계의 출력을 예측하라고 하면 예측실패한다는거임


그래서


(not A) = A


not A <-> A

-------------------------------------------------------------

거짓말쟁이 역설은


A : "A는 거짓"


A : not A


A<-> not A


-------------------------------------------------


결론적으로


정지문제와 거짓말쟁이 역설은 동일하다는게 이글에서의 나의 주장

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.