옛날부터헷갈리는데
고전 논리나 자연 연역이나 등등
그 형식체계가 consistent한다는걸 증명할 수 있나요?
읽어볼만한 자료잇을까요..
[일반] 형식체계 자체의 정합성 무모순성을 증명할 수 있나요?
여친구함(psychonerd199)
2024-01-24 22:43
추천 0
댓글 5
다른 게시글
-
로그 함수 질문.. [5][중고딩문제] 익명(122.43) | 24.01.24추천 0
-
complex system에 관한 책이나 인접 분야가 뭐뭐 있어?[일반] 익명(211.187) | 24.01.24추천 0
-
최"장" 경로 문제 어케품? [6][중고딩문제] 익명(118.235) | 24.01.24추천 1
-
polynomial ring의 indeterminate 질문 [8][일반] 익명(1.251) | 24.01.24추천 0
-
로그식 전개 질문 [2][중고딩문제] 익명(220.89) | 24.01.24추천 0
-
수학 배워서 어따쓰냐 [16][일반] 익명(223.39) | 24.01.24추천 16
-
간단한 질문 [4][일반] 익명(39.121) | 24.01.24추천 0
-
핫숀 있는사람 [2][일반] 익명(106.101) | 24.01.24추천 0
-
위상수학을 배우면 얻는 능력이나 사고방식이 뭐임 [8][일반] 익명(112.146) | 24.01.24추천 0
-
y’ y x가 섞여있는 식을 편미분 [2][일반] 탐스런.(tamseurun) | 24.01.24추천 0
할 수 있지요
자연연역이면 cut elimination theorem 써서 보인다던가
1st order logic은 complete하고 sound하지만 undecidable하지. sound하니까 consistent하고.
처음 봤을땐 먼말인지 몰랐는데 이리저리 찾다가 좀 알고 보니까 무슨뜻인지 이해되네요 ㅋㅋ 감사합니다
답 달아주셔서 감사합니다.. 현생이 바빠 늦었습니다