명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오너 28년까지 재계약 떳다. 2 2
와
-
성균관대 잘 아시는분! 4 1
성균관대에서 반수하려고 해서 서울캠에 있는 컴퓨터교육이나 수학교육 쓸라고 하는데...
-
하루만 기다리면 전역이에요❗ 2 0
왜냐면 이제부터 기다림이 24시간이 넘을 때마다 대가리를 존나 쎄게 쳐서 제...
-
입시전쟁에서 승리하는법 4 0
진학사에 스파이 심기
-
지금부터 2 1
특별한 사유 없이 안들어오는 분들은 커풀로 간주하겠습니다 솔로천국 커플지옥!
-
오늘은 사람이 별로없네 3 0
이브 대비 수면인가
-
충남대 토목이랑 충북대 전화기 학과 중에서 취업까지 고려했을 때 어디가 더...
-
다음 수능 물2 화2 추천드림 4 1
의문사가 없는 과목임
-
전기전자 2 0
전전이 계약학과제외 공대 1티어인 이유가 뭔가요? 진리자유 로스쿨 연고 기계 약사...
-
진짜 씨발 3 2
경영학과 씨발 개씨발 좆같네
-
광명상가 vs 단국대 2 0
인서울 마지노선 vs 단국대
-
경희대 vs. 국민대 3 0
경희대는 중국어학과고 국민대 미래융합을 오늘 추합했는데 어디를 가야할지 고민입니다…...
-
"그럼 죽어"라는데 어쩌죠
-
정시 컨설팅 받아야하나요? 4 1
제가 집앞이 아주대라 아주대 갈건데 진학사 기준 8칸이고 과 1~3등 왔다갔다해요...
-
아가 자야지 2 0
모두 굿밤
-
이월은 내일모레 나오는건가요 3 0
스시 등록이 내일까지니까?
-
궁금해요
-
너 가는 길이 너무 지치고 3 3
힘들 때~
-
서울캠인데도 수원으로 내려가야하는 수업이 있나요..? 있다면 홈피에 찾아보면 알수 있나요??
-
ㄹㅇ
막줄이 핵심