명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
보통 60점대 정도인 낮은 4등급 입니다 기출 들어간지 2주정도 됐는데 단원별로...
-
물2 강k 회당 4만에 장기거래합니다. 쪽지주세요
-
23학년도 킬러급으로 나와버리면 지학을 추천할 수 없어요. 23학년도 수능 20번은...
-
시대 영어 현강 2
최저러라 영어 1등급이 꼭 필요한데 82~92 왔다갔다 해서 시대인재 현강...
-
특검, 28일 오전 9시 출석 통지 조은석 내란특별검사팀이 청구한 윤석열 전...
-
이건 고대유물임 1
존나 어려움 ㅋㅋㅋㅋ
-
머리 박기 5
헤드스핀
-
왕복 14-15 ㄷㄷ
-
너무 힘들어서 삼김 하나먹고 시작
-
겨우 들어와서 오르비하고 있는데 오르비할까? 싶으면 자야하고 오르비할까? 싶으면...
-
잘노는 개념끝나고 잘노는 기출 풀라는데 도움많이되나요
-
운동도 가기싫네..
-
모르면 외워
-
십덕님들아 8
사펑 재밌음?
-
무슨 일이길래 8
고속도로에서 버스가 60키로대로 달리지
-
사탐런의 추억 6
과탐4가 사탐1이라는 말은 본인 과탐이 안맞는 옷일 경우라고 생각함… 이과의...
-
탐구 변천 과정 5
물1화1--2306--물1지1--2511--물2지2
-
프본임 3
3분만
-
기말 ㅈ박을거같아서 걍 2학기부터 정시로 갈아려는데 어떰? 내신등급보다 모고등급이...
-
메인에 걸린 글 보면 왜 오르비가 고슴도치 같은지 알거 같음 2
다른 회사랑 경쟁했을 때 이긴적이 없어서 그런듯 타 입시카페는 다른 학원 얘기하고...

막줄이 핵심