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

2025-02-14 15:10:34
조회수 91

[불완전성정리 반박] GPT 설득하는거 엄청 힘드네

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


산술체계가 완전하다는걸 증명함

괴델의 불완전성 정리 반박함


제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.

제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.



제1정리 반박


1. 명제논리는 완전함


2. 명제논리로 산술체계를 표현할수 있음


3. 산술체계도 완전함




G="G는 증명불가능"


괴델은 "G가 증명불가능"함을 증명함


그런데 이는 G를 증명한것


G의 내용과 모순


제2정리 반박


1. 무모순은 참과 동치


2. 완전성에 의해 참은 증명가능


3. 따라서 무모순을 증명가능


0 XDK (+0)

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