명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
평가원 기출이 엔제보다 우월한 이유가 평가원이 출제했기 때문이라면 교사경은 엔제와...
-
참전 선언 3
800 하고도 몇십일 뒤
-
고체가 줜나 어렵고 유체는 줜나(?)~약간 쉽고 천체는 그냥저냥에 오류투성이 정도
-
원래 지금시기가 그런가요 너무 외롭고 공부하기 싫고 놀고싶고 하.. 수능 얼마...
-
1일 입대면 이득인건가요?
-
나태해짐
-
상황은 접하는거다 로 쉬운데 문자 개많이 나오는데 (접점 t a x) 여기서...
-
기말끝나고부터 수능때까지 안쓰기로 괜히 커뮤질하면서 불안감만 커지는듯
-
알려주실분..
-
중약, 성약 이면 카이스트나 서울공대에서도 반수해서 갈만함?? 비교했을때 인식은...
-
엉엉 재밌는 국어실모만 평생 풀고 싶다고요..........
-
생윤 공부하고 있는데.. 지금까지 수특2회독 수완 마더텅 한번씩 돌렸어요 수특수완은...
-
공도 벡터 이차곡선중에 이차곡선이 제일 안풀리면 어케해야됨?? 이차곡선 뭐로...
-
싸룽해여
-
단순히 돈이 많아서 뭐든 좋은거 한다는게 아니라 그냥 가만히 있어도 충분히...
-
일본 가고 싶다 7
근데 홋카이도빼면 날씨 감당 안될듯
-
사진은 현자의돌님 교재 해설입니다 빨간볼펜 밑줄친 부분 최소수혜자의 최대이익이라고 봐야하는거죠??
-
김승모, 이감, 디아카이브, 한수, 대종모까지.. 감히 한줄평을 하자면 김승모는...
-
킬캠 특 7
이상하게 풀 때는 ㅈ밥인데 (서바 강k 각종 사설 컨에 비해) 채점할 때 꼭 이상한...
-
생각해보니 3
오르비 가입한지 10년 지남... 프로필에 있는 날짜는 오류고 실제는 2015년...

막줄이 핵심