명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
님들은 군생활3년하셈
-
오랜만이네 1
흠…
-
7등급입니다,, 초딩때부터 영어랑 담을 쌓고 살아와서 정말 기초적인 단어들...
-
졸업하고 다시 메디컬 들어가신 다른 분들 학교 다닐만 하세요? 0
전 왜이리 힘든지..
-
다 탈릅해서 재미없음....
-
내가 본 쌍둥이는 그 쌍둥이 둘 다 공부를 잘했음.. 보통 둘다 명문대를 가더라
-
내가 머리가 굉장히 나쁘고 게으른걸 알았음
-
ㅅㅂ뭐야....
-
단순히 돈이 많아서 뭐든 좋은거 한다는게 아니라 그냥 가만히 있어도 충분히...
-
채점할때마다 엥 4개연속 틀렸다고..?하고 보면 빠른답지 정답 잘못적혀있음 ㅡㅡ
-
연대 높공입니당
-
군대 선임이 코스피 상장사 회장님 아들이었는데... 1
솔직히 저 정도가 되면 부러운 것도 있지만 다른 세계라는 게 확 와닿습니다.어제...
-
옆자리의 5
아랴양도 재밌네..성우 잘뽑앗내
-
내신으로 가려는데요! 일반고 기준 전과목 3.2등급이면 간호학과 백석대학교(4년제)...
-
그냥 4개월째 매일 똑같은 공간 똑같은 자리에서 10시간 넘게 앉아있다보니.. 너무...
-
소문듣고 먹으러 가볼라그랬는데 킹등급 아니면 주문도 못하네
-
f(x)찾기
-
제일 약한 과학파트 한번 체크해야겠는데, 과학은 딱 작년 6월때 퍼포먼스네...
-
우울할때듣는노래 1
아무래도당이떨어진것같아서밥먹어야겠다
-
수학 n제 추천 2
이해원 s1,드릴6은 품 지인선은 사두긴 했는데 어려워서 나중에 풀 듯 이번 6모는...
-
현역 국어 3
현역이고 최근까지 김승리 현강 커리 따라가다가 도저히 다 못하겠어서 드랍했습니다...
-
가는거 별롤까요ㅠ?
-
걍 유튜브도 그렇고 인스타도 그렇고 맨날 노무현만 보고 이상한거 보고 트위터로...
-
국수만살까
-
오르비 빡갤 키작남갤 키수술갤 노무현커뮤 다 하는데 ㅁㅌㅊ 4
좆반고 고2 전과목 7등급이고 모고 4-6등급임
-
보통 60점대 정도인 낮은 4등급 입니다 기출 들어간지 2주정도 됐는데 단원별로...
-
물2 강k 회당 4만에 장기거래합니다. 쪽지주세요
-
확통 선택자고 3컷 목표라 마더텅 수1,2,확통 다 푸는 중인데요, 2009년...
-
일본 가고 싶다 8
근데 홋카이도빼면 날씨 감당 안될듯
-
의사는 정년퇴직 없어서 그런가 그럼 의사를 제외한 나머지는 다 나이들면 폐지줍는 엔딩임..?
-
뭐 풀어야할까
-
수학 5등급 지구 5등급 ㅇㅇ 고1 때는 그래도 3~6등급이었는데 지금...
-
휴 과제 끝 3
커리 먹고 해야지~
-
사람아니야
-
시대 영어 현강 2
최저러라 영어 1등급이 꼭 필요한데 82~92 왔다갔다 해서 시대인재 현강...
-
킬캠 특 8
이상하게 풀 때는 ㅈ밥인데 (서바 강k 각종 사설 컨에 비해) 채점할 때 꼭 이상한...
-
왕복 14-15 ㄷㄷ
-
뭐해 니네 형님 손 안찍고
-
너무 힘들어서 삼김 하나먹고 시작
-
피곤 0
잘까
-
아래아는 이름 자체는 아래'ㅏ'지만 중세국어 시기 발음 자체는 ㅓ에 가까웠을 것으로...
-
ㅠㅠ
-
갑자기 생각나서 거의 몇십년만에 보고 있는데 재밌당
-
요즘 빠진 사람 1
은 우정잉
-
일단 질감부터 말이 안 되는데 특히 독서는 가독성 최악!!
-
나만 어렵나 ㅠㅠ
-
미션하긴 귀찮고 서로 좀 죽이자
-
이전과 같이 현 상황이 많이 혼란스럽습니다. 이쪽 저쪽에서 이야기를 듣기도 했고요....
-
공부를 몇시간 더 할수있잖아? 럭키비키네
-
슬슬 감 잡힌다 1
예스 감 거의 다 잡음 내년까지만 하면 ㄹㅇ 될거같은데?

막줄이 핵심