[불완전성 정리 반박 1줄]
게시글 주소: https://orbi.kr/00071996014
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수 있으므로 PA는 완전하다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
받았어
-
굿나잇하세요 3
자러갑니다 안녕히주무세요
-
시야가 어둡노
-
본인 러셀 자리인데 공부하다 옆, 대각선 구경하다보면 다 현우진 듣고있음 이거 말이...
-
다 본다고 캬캬
-
응응
-
안쓰시는 분들도 있을텐데 뭉뚱그려 말하는 건 미안합니다만...
-
반수 시작 때 제 마인드였습니다 건대는 못갔지만 동대 예비1이고 추합 대기중입니다 다들 ㅎㅇㅌ
-
허허
-
노란색으로 되어있는 레어를 사면 약 20% 페이백 파란색으로 되어있는 레어를 사면...
-
얼굴 나랑 바꿔 확 그냥
-
내목표는 1
경북대 아동학과나 부산대 유교과나 영남대 유교과 아니면 계명대 유교과로 편입해서...
-
김장훈 킬링보이스
-
어딨는데
-
ㅇㅈ메타를 보니 2
거울속의 내가 한심하게 느껴졌어
-
초중고대 정상적으로 다녔는데도 사회성 부족하면 어떡해요? 4
재수도 안했는데 돈만 날린거임?
-
2학년 때 내신 경제 준비하면서 개념 돌리고 지금 빨더텅 풉니다. 독서실에서...
-
Cc받고설자전 1
할수있다렛츠고
-
점수는 전자가 높긴 함 근데 다군이라
-
고경좋잖아 흐흐흐 하면서 진짜 갈려고했음
수치해석이라는 게 왜 나왔는지를 보면...
근사치를 구하려고요?