명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
Ebs 공부를 아직 안 했는데요, 6모때 나온 작품은 제외하고 9모 ,수능을...
-
-
21살에 갑자기 독립 선언하고 0원으로 살아남기 찍던 사람 있었음 그러다가 인스타...
-
국어 ebs연계 2
문학 연계 강의를 보니 김승리같은 경우는 100강이 넘어가는데 이거 다...
-
두 시간만 자고 0
공부하니 이거아주 죽을 맛이고만
-
그럼 사과탐으로 싸울 일이 없음 본인 그렇게 되면 한지 세지 물2 지2 할듯
-
일단 질감부터 말이 안 되는데 특히 독서는 가독성 최악!!
-
이전과 같이 현 상황이 많이 혼란스럽습니다. 이쪽 저쪽에서 이야기를 듣기도 했고요....
-
국어 5 백분위 50 수학 1 백분위 99 영어 3 물1 2등급 화1 2등급
-
없어져서 기분좋노
-
25 강k 6회 0
-11 22 28 29 30 11번 ㅅㅂㅋㅋㅋㅋ 미적 난이도도 걍 엄..
-
고맙다..
-
현역 국어 3
현역이고 최근까지 김승리 현강 커리 따라가다가 도저히 다 못하겠어서 드랍했습니다...
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
명제논리(논리게이트)로 이루어진 컴퓨터가 모든 형식논리체계의 규칙과 표현력을...
-
난 공부가 이렇게 ㅈ같은데 이렇게 ㅈ같은걸 아무렇지 않게 한다?? ㅈ같다는 고통을...
-
저는 만년 국어3입니다. 근데 이번에 반수를 하면서 국어2라는 위치로 올라가보고...
-
드릴 1
드릴드까지 다푸는게 좋나요 5 6 공통만 풀었는데 벌써 벅찬..... 개강까지 2주인데 ㅠㅠ
-
가는거 별롤까요ㅠ?
-
돈때매 혼자 하려고햇는데 엄마가 독학기숙 가라셔서…휴 성적컷 없나요? 6모 31111인데 가능하겟됴
막줄이 핵심