[불완전성 정리 반박 1줄]
게시글 주소: https://orbi.kr/00071996014
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수 있으므로 PA는 완전하다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
질문 주세용
-
사ㅏㄹ려다오 4
-
ㅇㅈ 7
-
저렙노프사능 관심없음
-
진짜 여기 붙으면 좋을거 같은데.. 알바트로스 탑에 절이라도 박으러 가야하나
-
특정한애가 박제해도 상관없어 이젠 나도 몰라
-
잔잔한 새르비로군요 12
-
오늘 문명6 최고난이도 정복 성공!!!!!
-
야호~
-
교사가 1월 세후 900 ㅋㅋㅋㅋㅋ 구라도 적당히 쳐야지 9
직장인 기준 세후 900이면 세전 1250인데 교사는 공무원연금이든 사학연금이든...
-
메타 ㅈ같네 8
나간다
-
서울대 수리과학부 연세대 전기전자공학부 고려대 사이버국방학과 한양대 미래자동차공...
-
딱대라 !@!@!!!!
-
성대 4차 1
주말에 나올까요?
-
사랑과평화우정
-
동생 일본갔는데 9
이색기언제오냐..
-
어피니티
-
히히 드개재~~~ 수정) 시발 저거 알몸 아녜요 손가락이 카메라 막아서 그런겁니다
-
원래는 마더텅고1 문학/독서 1일치씩 풀고 언매총론한강씩들었음(형태소가뭔지도모르고...
-
내가 이김뇨 ㅋ 2
미지
수치해석이라는 게 왜 나왔는지를 보면...
근사치를 구하려고요?