명제논리가 최강인 이유...
게시글 주소: https://orbi.kr/00073593838
애초에 컴퓨터를 구성하는 논리게이트가 명제논리임..
수학자들은 이 컴퓨터로 1차논리, 고차논리, 산술시스템 등을 구현함
즉,
모든 논리체계는 명제논리로 구현가능함..
이게 뭘뜻하는지 암?
1차논리나 고차논리는 불완전성, 그리고 결정불가능성을 가짐
그런데 명제논리는 완전하고 결정가능함
즉, 모든논리체계를 그 표현력을 유지한채 명제논리로 완벽히 나타낼수있기 때문에(컴퓨터와 컴퓨터프로그램이 증거)
모든 논리체계는 완전하고 결정가능해짐
이말은 즉,
"모든 형식문제가 해결가능하다" 를 의미함
이말은 즉,
"모든 수학문제가 해결가능하다" 를 의미함
머어차피 지금 이글에 쓰인 용어의 뜻도 제대로 알지 못하지만
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
영어 1 지구멸망해도 받아야함.. 강k 영어 풀고싶은디
-
통신병 어떰? 4
육군기준
-
아빠보다 나이많을수도
-
노트 무슨 앱 쓰세요?
-
아이패드가사고싶어짐 필기넘불편
-
생각해보니 3
오르비 가입한지 10년 지남... 프로필에 있는 날짜는 오류고 실제는 2015년...
-
기차지나간당 6
부지런행
-
14111 나왔는데 기말 끝나고 방학+학업숙려제 써서 수학에만 박으면 9평때...
-
이 시간 특 5
슬슬 미친듯이 배고파짐
-
지하세계 있음 6
오르비언이랑 같이 콘서트 보고 그 사람 자취방에서 치킨 시켜먹고 바닥에 드러누워 잤음
-
한의대 가지마라 11
헉!!!
-
요즘 오르비언들은 21
내 아이민에 2를 곱한것 보다도 아이민이 높구나...
-
오전 오후 공부하고 9시쯤 부터늠 머리가 안돌아가는데 다들 어떻게들 하시나요ㅠㅠ
-
진짜 큰 거 온다
-
70만원 정도 쓸 수 있고 아이패드 10세대랑 갤럭시 탭 S9 중에 사려고 하는데...
-
무물보 6
무물보 메타라길래 저도 꼽낌
-
아님 갈수록 어려워져서 쉽게 느끼는건가
-
일찍 자야되는데 자꾸 늦게 자네요..
-
친구 부모님을 뵐 일이 평소에 뭐가 있겠냐 주변 사람들한테 잘하자 다들 내 친구들은...
-
역함수 질문 7
f(g(x))=x 이면 항상 g(f(x))임?
-
독서론을 어렵게 안 냄 ㅋㅋ 딴 사설들은 다 독서론 ㅈ같이 내려고 안달이 났는데
-
오늘은 놀러 왔습니다 국어 질문 안 받습니다 그쪽은 쪽지로 해 주세요 도파민 터지는...
-
하루에 다들 3
공부 얼마나함? 대략적으로
-
요근래 가장 행보칸 20분이었다.
-
선지 논리가 좀 구린데.. 엄.. 2는 어케 받아오긴 함 화작 2틀한 내 능지에 건배~
-
He is back…
-
노래 개좋다 5
꿈속에너 ㄱㄱㄱㄱ
-
비계에 친친으로 스토리 올렸는데 공식 계정 태그해서 올리면 공식계정한테 알림 가나요?
-
언미영생지 백분위 83 97 1 94 94
-
그냥 그만두고 쉴까 의대 어차피 가면 또 공부인데
-
아파트는 뭔가 스마트홈을 하고 싶어도 성에 차질 않네 밑바닥부터 내가 다 손 보고...
-
어떤 느낌으로 차이가 있나요
-
특검, 28일 오전 9시 출석 통지 조은석 내란특별검사팀이 청구한 윤석열 전...
-
6모 언매미적생윤사문 42233 국어 항상 4등급.. ,,:: 수학도 항상 2등급...
-
질문 받아요 9
이공계열 전공 학교생활 입시수학 대학수학 암거나.. 백수생활 ON
-
현명한 삶의 방식 같음 건강까지 지키면서 잘 살아보기
-
이건 고대유물임 1
존나 어려움 ㅋㅋㅋㅋ
-
올해 설수가려면 8
올해 설수 가려면 지방의 성적정도는 나와야 안정인가요?
-
요즘 꽂힌 가사 2
지금 이시간만큼은 나솔직하게 말해볼게 우린 몇시간전까지는 뜨거웠다가 금방식어 또두번...
-
제일 마음 아픈 글 12
https://orbi.kr/00067535324/%ED%95%B4%EC%99%B8%...
-
중약, 성약 이면 카이스트나 서울공대에서도 반수해서 갈만함?? 비교했을때 인식은...
-
무물보 31
좋은아침
-
Ebs 공부를 아직 안 했는데요, 6모때 나온 작품은 제외하고 9모 ,수능을...
-
과목만 보면 0
사문 생윤이 하고싶은데… 설대/지방약 카드를 버려야 하는게 너무 아까워서 눈물을닦으며 물지하는중
-
국어 ebs연계 2
문학 연계 강의를 보니 김승리같은 경우는 100강이 넘어가는데 이거 다...
-
일반적인 경우에 더 짧은 기간 공부한 사람보다 더 긴장될까요?
-
안녕하세요 :) 디올러 S (디올 Science, 디올 소통 계정) 입니다....
-
무물보 22
아무거나 다 질받
-
운동도 가기싫네..
-
확실히 지도자인 사람들이다 보니 보통 남성보다 다들 키 크더라

막줄이 핵심