명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
욕은 아니고 비꼰거긴 했는데 암튼 ㅋㅋ
-
새벽에도 꼭 들러야지... 올라오는 글들 보니까 쉽지 않네요 ㅋㅋㅋㅋㅋㅋ
-
민주 프사 걸어놓으니까 프사 본인이냐고 인스타 걸어도 되냐고 쪽지오던데
-
뭐하면산화당함? 3
젓지욕?
-
식빵굽는 길냥이였네 어캐 저렇게 꿈쩍도 안해
-
6모는 그냥 공부 하든 안하든 큰 차이 안나는 시험 같고 작수랑 느낌도 아예...
-
있는거임 없는거임 하 인터넷에서도 따당하네
-
ㅎㅇㅎㅇ
-
안잡혀가냐
-
동학주와 해물파전 캬~~
-
ㅈㄱㄴ
-
이미지 써드립니다 32
찐따가 이미지 적어드립니다 솔직하게
-
으흫ㅎ흐ㅡㅎ
-
비대칭도 심하고 눈도작고 못생겼고 죽고싶다 그냥
-
08틀딱은운지하러감
-
맥주깐 기념 질문받아요 10
질문받아요
-
딱히 과탐해야 지원할수있는 학교를 지망하는건 아님
-
ㅇㅈ할까? 3
누가 먼저 하면 생각해봄
-
생각해보니 ㅈ목인가 10
ㅈ목이고 자시고 카톡방에 올려논 붱모 3회 공통좀 풀어주세요 수도팀원 여러분 그리고...
-
근데 물개 모르면 13
간첩인데
-
설수의가 아닙니다. 억측을 멈춰주세요
-
잠이않와
-
바선생 때문에 5
악몽꾸겠네
-
꿀잠 6
코.... 드르렁
-
경찰 부름 3
하나 시발진짜
-
왜 나는 한의대 두칸뜨는데 ㅅㅂ
-
그러니 질받 24
매일 오는 시간입니다
-
잡았음.. 6
벌레 진짜 세상에서 제일 싫어하는데 하
-
잘자라고해줘 3
해줘
-
보통 다 안쓰기도 함? 서 연 고 고(서 연은 1장씩밖에 못씀) 쓰면 진짜 쓸 곳이...
-
지금 오르비에 보이는 저 07친구들, 그리고 친하게 지내던 학교친구가 예비 명문대생이라는 거에 9
막 연말에 쟤네들이 설대 의대 연고공 합격할 생각하니 깊은 회의감에 휩싸이는군
-
공부글,질문글: 지루하고 현학적임
-
낮잠 하루에 2시간은 잠
-
6?
-
수능은 상대평가로 전체의 4%가 1등급을 차지한다. 기하는 전체 수능 응시자수의...
-
공부커뮤와서 7
노래만올리는병신이나임 뭐지 공부이야기)국어 1은진짜 어케찍음 2에서 올라가질않에
-
존경하는 분들중 한분.
-
박광일 질문 0
훈도 수강중인데, 기출은 자기가 따로 분석해야 하는거임? 훈도는 말 그대로...
-
아무나 해줘라.
-
체벌플당하고 개빨개진 엉덩이 인증했는데 쥬지까지 깔준 몰랏지
-
길고양이 핥기 8
-
저 이미지 어떰 13
-
오르비찐따라서 5
뭔얘기하는지 모르겠구만 이거
-
바선생 바선생 바선생 바선생
-
옯창아니지?
-
다 기억하고 있음 사실 뻥임
-
자기기준 수능잘쳤을때
-
오르비에 님보넓 검색해보면 나와
-
이러니씨발국어를못하지

막줄이 핵심