[불완전성 정리 반박 1줄]
게시글 주소: https://orbi.kr/00071996014
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수 있으므로 PA는 완전하다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
잘생기고싶어 3
차은우처럼
-
해본적없긴한데 만약에....
-
롤하실분 11
롤하실분뇨
-
ㅇㅇ
-
소주 한잔만 마셔도 얼굴 개빨게짐
-
아쉽다 아쉬워 5
전설이 될 수 잇던 가능세계가그래도 꽤나 잇엇던거 같은데 전부 피해가버렷군
-
현재 몇번까지 빠졌을까요 가천한 컷 얼마로 예상하나요? 제발 알려주세요~~~~
-
지방에서 올라와서 어떤 쌤이 유명한지 모르겠어서요,, 작수는 20 21 22랑 미적...
-
수학 질문(…) 0
스킬 꼭 필요한건가요 스킬풀하게 촤라락 푸는 거 보면 솔직히 체화햇다해도 시험장...
-
아냐 너도알잖아 그 점공에서 안빠질수가 없다는걸 합격할거야
-
채팅피지컬이 무슨 아이언보다 떨어지는데
-
뻥임뇨
-
미적 풀이 ㅁㅌㅊ 20
님들은 나처럼 고생하기 싫으면 적분 계산 확실히 연습하고 어려운거 하셈 내가 미적...
-
웹 3개임
수치해석이라는 게 왜 나왔는지를 보면...
근사치를 구하려고요?