ㅈㄱㄴ
자기지시적인 명제는 어떻게 기호화함?
익명(123.111)
2024-02-12 18:10
추천 0
댓글 1
다른 게시글
-
뢰벤하임 스콜렘 정리가 성립하면 좋은 점이 뭐임 [7]익명(118.235) | 24.02.12추천 0
-
The logic book 6th edition익명(apwhddlfrkr) | 24.02.09추천 0
-
논리학도 대학교재가 있음?익명(118.235) | 24.02.09추천 0
-
논리문제를 풀수있는 분야에 대해 질문드립니다 [2]익명(39.7) | 24.02.08추천 0
-
논리학 교재 질문 [1]익명(118.235) | 24.02.08추천 0
-
논리학의 역사 책 [1]익명(203.230) | 24.02.04추천 0
-
신이 존재하지않는다는거 증명 못하잖아? [12]익명(112.162) | 24.02.03추천 0
-
코어 논리학 절반정도 읽고 드는 생각 [1]익명(119.195) | 24.02.02추천 0
-
논리 용사들의 도움이 필요해 [7]익명(223.39) | 24.01.30추천 0
-
수학기초론 전공하면 교수 말고 답 없나 [1]익명(182.226) | 24.01.30추천 0
Peter smith 교수가 저술한 introduce incimpleteness theorem에 불완전성 정리에 대한 자기지시문장 산술화 과정을 간략히 스케치하는걸 보여줌