명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
일단 질감부터 말이 안 되는데 특히 독서는 가독성 최악!!
-
이전과 같이 현 상황이 많이 혼란스럽습니다. 이쪽 저쪽에서 이야기를 듣기도 했고요....
-
없어져서 기분좋노
-
25 강k 6회 0
-11 22 28 29 30 11번 ㅅㅂㅋㅋㅋㅋ 미적 난이도도 걍 엄..
-
고맙다..
-
현역 국어 3
현역이고 최근까지 김승리 현강 커리 따라가다가 도저히 다 못하겠어서 드랍했습니다...
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
명제논리(논리게이트)로 이루어진 컴퓨터가 모든 형식논리체계의 규칙과 표현력을...
-
저는 만년 국어3입니다. 근데 이번에 반수를 하면서 국어2라는 위치로 올라가보고...
-
드릴 1
드릴드까지 다푸는게 좋나요 5 6 공통만 풀었는데 벌써 벅찬..... 개강까지 2주인데 ㅠㅠ
-
가는거 별롤까요ㅠ?
-
돈때매 혼자 하려고햇는데 엄마가 독학기숙 가라셔서…휴 성적컷 없나요? 6모 31111인데 가능하겟됴
-
싱싱한 5
회가 왓습니다
-
확통 선택자고 3컷 목표라 마더텅 수1,2,확통 다 푸는 중인데요, 2009년...
-
미적 28,30틀 기확 아무것도 안함 과탐 안함
-
뭐 풀어야할까
-
휴 과제 끝 3
커리 먹고 해야지~
-
1시10분부터 2시20분까지 영어시간이니까 그거에맞춰서 밥도 12시에 먹고 좀...
-
생1-77.4 3일듯 문학-70.3 4일듯

막줄이 핵심