명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
통신병 어떰? 4
육군기준
-
요놈인데 특히 (나)조건으로 미가 범위로 실근 조절하는게 존똑
-
야식 ㅁㅌㅊ 2
-
92분컷 100! 첫 100점이네요
-
240729 n수하면 인간 기출문제집이 된다던데 진짜였네
-
안 푸는거랑 푸는거랑 차이 큰가요
-
안녕하세요 지금부터 삼반수 시작할 것 같은데 국어 인강 추천해주실 수 있을까요?...
-
개인적으로 다인자 비문학 지문같은 놈이나 돌연변이 미친놈보다 염색체 그림문제가 더...
-
ㄹㅇ 부자될꼬야 캬캬
-
참전 선언 3
800 하고도 몇십일 뒤
-
고체가 줜나 어렵고 유체는 줜나(?)~약간 쉽고 천체는 그냥저냥에 오류투성이 정도
-
원래 지금시기가 그런가요 너무 외롭고 공부하기 싫고 놀고싶고 하.. 수능 얼마...
-
1일 입대면 이득인건가요?
-
나태해짐
-
상황은 접하는거다 로 쉬운데 문자 개많이 나오는데 (접점 t a x) 여기서...
-
기말끝나고부터 수능때까지 안쓰기로 괜히 커뮤질하면서 불안감만 커지는듯
-
알려주실분..
-
중약, 성약 이면 카이스트나 서울공대에서도 반수해서 갈만함?? 비교했을때 인식은...
-
엉엉 재밌는 국어실모만 평생 풀고 싶다고요..........
-
생윤 공부하고 있는데.. 지금까지 수특2회독 수완 마더텅 한번씩 돌렸어요 수특수완은...
막줄이 핵심