명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제일 약한 과학파트 한번 체크해야겠는데, 과학은 딱 작년 6월때 퍼포먼스네...
-
수학 n제 추천 2
이해원 s1,드릴6은 품 지인선은 사두긴 했는데 어려워서 나중에 풀 듯 이번 6모는...
-
최근 0
문화계 공작 조종간=예술적 질투 아마데우스 이용하기
-
오전 오후 공부하고 9시쯤 부터늠 머리가 안돌아가는데 다들 어떻게들 하시나요ㅠㅠ
-
보통 60점대 정도인 낮은 4등급 입니다 기출 들어간지 2주정도 됐는데 단원별로...
-
물2 강k 회당 4만에 장기거래합니다. 쪽지주세요
-
나는매일네게 갚지도 못할 만큼많은 빚을 지고있어
-
개념 인강만 다 듣고 문풀 안 했으면 뭐해야되나요? 교과서에다 수특 풀거나 문제집 하나 풀려는데
-
23학년도 킬러급으로 나와버리면 지학을 추천할 수 없어요. 23학년도 수능 20번은...
-
시대 영어 현강 2
최저러라 영어 1등급이 꼭 필요한데 82~92 왔다갔다 해서 시대인재 현강...
-
이건 고대유물임 1
존나 어려움 ㅋㅋㅋㅋ
-
맞춘 문제
-
일단 제 개인정보는 타이핑으로 쓰고 체크란이나 서명은 프린트해서 손글씨로 적었어요...
-
왕복 14-15 ㄷㄷ
-
너무 힘들어서 삼김 하나먹고 시작
-
겨우 들어와서 오르비하고 있는데 오르비할까? 싶으면 자야하고 오르비할까? 싶으면...
-
잘노는 개념끝나고 잘노는 기출 풀라는데 도움많이되나요
-
운동도 가기싫네..
-
모르면 외워
-
독서 이원준 문학 심찬우 수강중이고 등급은 3등급입니다!

막줄이 핵심