[불완전성 정리 반박 1줄]
게시글 주소: https://orbi.kr/00071996014
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수 있으므로 PA는 완전하다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
살기싫다 시발 12 1
죽는 건 왜 무서운 걸까
-
배기범t 물리 고민 2 0
필수본 듣고 기출문제 푸는데 빗면유형이나 역학계 상황 문제들은 풀어보려도 해도...
-
인서울이라 함은 1 0
어디까지 인가
-
국기 레어 딱 대 0 0
싹다 입찰함
-
한양대 추합 제발 2 0
산업공학과 현재 2번 이거 빠지나요
-
뭐임 오늘 왤캐 따뜻함 0 0
봄인가보오
-
오늘은 발렌타인데이가 아니라 12 1
잠실 애니메이트 오픈일입니다~
-
진지하게 엄청 쉬운건 아니지 않나요..?
-
케빈 더브ㄹㅏ이너 0 0
KDB는 신이야
-
3년 전에 다녔던 독서실에서 합격 현황 인증하래 9 5
영혼을 팔고 기프티콘을 받았다..
-
전추때 1바퀴도는 가능세계?? 0 0
있음??
-
일 끗 2 0
수치해석이라는 게 왜 나왔는지를 보면...
근사치를 구하려고요?