[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
목표는 jvke - golden hour 완벽히 치는 것
-
재수때 독학기숙으로 가서 모든 과목을 현역때보다 올렸음 (1등급은 유지) 그래서...
-
정원 26명과에서 9명돌고 이제 2까지 왔는데 가능할까요..?
-
너무 긴장된다
-
하……
-
그렇습니다
-
이미지좀 써주셈 61
싫음말고
-
-
똥테 탈출을 위한 26
맞팔구
-
레어는 3
검색같은거 못하나요
-
그것이 문제로다
-
D-267 0
국어 문학 1지문 비문학 1지문 요즘 나름 정답률이 높다 생각했지만 그저...
-
뉴비를 도와주새요! 15
입시 끝 커뮤 시작
-
이거 과톡 8
초대해달라고 말해야하나;;
-
1시간 2
ㅡ
-
모르겠네 뭔가 나대는 것 같고 그럼
-
ㅈㄴ 재밌네 ㅋㅋㅋ 어떤 반전이 나올까
-
내년 입시는 너무 혼란스럽겠다
-
강한 육군 좋은 육군 유꾼 유꾼 유꾼 워~ 리 어 플랫~ 폼
-
만점자가 한둘이었던 것도 아니었으니까 한명쯤은 있지 않았을까 싶어서
-
흐흐 기대된다
-
ㅅㅂ 어케 된거지 ㅠㅠ
-
고3 수면시간 4
고3 되고나서 공부 좀 열심히 해보겠다고 노래를 아예 끊었는데 한 3-4주차 쯤...
-
프사까지 달면 뭔가 진짜 옯.창. 같아서 안 달고 있음
-
새삼스레 미안해지네 아 소고기 땡긴다
-
달을 찍어보았다 3
흐흐흐
-
국어 자체를 접해본 적이 거의없고 어색해서 글 읽기도 힘든 상탠데 (고1,2때는...
-
맞팔구 2
-
서울가서 3
옵만추하기
-
오늘이면 떠날 오르비언의 따수운 라스트 질받타임
-
2시부터 6시까지 꽉 채우나
-
이뱃 왜 붐이냐 8
홍대병 OFF… 그치만 친구를만나서좋아
-
꿈의 대학이었는데 (남자임)
-
아까전에 시대인재북스 주간 랭킹 1위를 찍엇다네요한완수, 한완기도 이겻대요
-
에리카랑 가천대 둘다 건축학과일때 어디가 더 좋음
-
질받 무물보 10
질문 아무도 안해주면...울것같아
-
색 이쁘긴해
-
안녕하세요! 추가모집 시작도 전에 198건째 상담을 접수받고 짧은 칼럼을 써야겠다고...
-
일단 개학 전까지 4개년 기출 다 풀고 한완기 사서 다시 풀기
-
물론 여기 있는 사람들의 고통에 비하면 아무 것도 아닐 수 있지만 첫사랑에게 차이고...
-
감정적이지… 누구랑 찐하게 포옹하고싶다 응응
-
열등감인 듯 분노 우울 해봐야 얼마 지나고 나면 사라지거나 잠잠해지는데 열등감은...
-
머리에 든게없음ㅈㅅ 엔수한뒤에 좋은조언 전파할게요
-
2026 수능 삼반수로 응시 계획중이고 작년에는 반수해서 2학기 휴학하고...
-
하루 목표 10
공부 5시간 밥 9시간 게임 25시간잠 42시간운동 74시간
-
저게정말궁금함
-
생1 vs 물1 3
물1이 워낙 고였다고 해서 생1으로 넘어가려고 생각중입니다물1은 고2 10모...
-
어떻게살것인가 10
매우고민이다
-
흐음 4
누가 꼬옥 안아줬으면 좋겟다 찐으로
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ컼
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다