[불완전성 정리 반박 1줄]
게시글 주소: https://orbi.kr/00071996014
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수 있으므로 PA는 완전하다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
공부 한 가지 뿐일까요? 알바는 부모님께서 그닥 선호하지 않으셔서요
-
오뿌이들 오랜만 2
병상공부 ㅇㅈ
-
당분간 이놈이다
-
집에서 안성탕면 끓이는 중
-
스카에서 물 머금고 웃참 챌린지 보니까 난이도 레전드네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ 소리내면...
-
ㅠㅠ 진짜 많이 빠지면 좋겠다 ㅠ 2,3지망 붙어서 좋긴하지만 1지망까지 붙으면 더 좋으니까
-
아오
-
완벽한 생패
-
https://youtu.be/_YGlUdW4Whc
-
홍대 전전 3
최초 예비는 모르고 현재는 57인데 붙을만 한가요…?
-
새벽에 전화하진 않을 테니... 보통 밤 몇시쯤 마감해요? 답변 미리 감사드립니다!
-
추합이 이렇게 피말리는 일 일줄이야..
-
먹는 새끼 도대체 뭐하는 놈이지? 에반데
-
그렇대요
수치해석이라는 게 왜 나왔는지를 보면...
근사치를 구하려고요?