명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
언미영생지 백분위 83 97 1 94 94
-
그냥 그만두고 쉴까 의대 어차피 가면 또 공부인데
-
왜 주식이 유일하게 학습 가능한 거지 참여자 수가 아주 많아서 그런가요? 그림을...
-
총력전 선언 2
“여러분들은, 수능참전을 원하십니까? (‘원한다!’ 환호) 우리가 오늘날 상상할 수...
-
수학 문제푸는 속도 빨라지는 공부 방법좀 알려주셈. 1
수학 푸는데 시간이 너무 오래 걸림뇨... 5분이면 풀 수 있는 문젠데, 시간 더 걸림...
-
물론 뱅드림 학원마스 이런거하는 찐씹덕은 나밖에 없긴한데 분기별 애니 챙겨보는 정도...
-
휴르비 끝 2
똥싸고옴
-
솔직히 패션 1
재수학원같은곳에 꾸꾸꾸로 오면 좀 짜치긴 함
-
입대선언 2
이렇게쓰면 되는거죠
-
전교꼴등하교 ^~^
-
옆자리의 5
아랴양도 재밌네..성우 잘뽑앗내
-
관전선언 2
참전은 무서워잉
-
가끔 강혜원 2
가강
-
테토녀 1
-
쉽지 않네 지구는 확실히 그림이나 자료가 많으니까 연계체감이 되는 유일한 과목인 듯...
-
참전 선언 2
512일 뒤에 보죠.
-
이렇게 땅꼬마로 살면 서울대를 가도 여자가 안 생길거라 하심...
-
ㄱㄴㄷ를 원래 싫어했다기보단 킬러배제(24)를 기점으로 본격적으로 정시 시작했기에...
-
이럴거면 n수 뭐하러 함 기회도 없고 왜 사람들이 대학 가는지 이해가 부족한 듯
-
사문 첨 하는데 3
사문 노베인데 메가패스 누구 듣는게 좋음

막줄이 핵심