... 그래서 제가 해 볼만한 수리논리학? 이런거 추천해주시면 감사하겠습니다. 수리논리학 관련 활동을 추천해 드리기 전에, 먼저 수리논리학과 관련된 학과와 직업을 소개해...
그 잘난 분석철학자와 수리논리학자, 기호논리학자는 무엇을 하는거지. 안녕하세요. P-NP 문제가 왜 아직 해결되지 않았는지를 질문하셨습니다. 해당 질문은 단순히 P-NP 문제의...
... 수리 논리학은 형식 논리학과 관련이 있더라고요. 논리학 자체가 '형식 과학'으로 들어간다고 해서 수리 논리학으... 한다면 수리논리학에 알고리즘을 녹여 쓰고 싶은데...
0으로 나눌 수 없다는게 0을 포함한 페아노 공리계에서 연역적으로 이끌 수 있나요? 0x = 0 이라서 0으로 나눌 수 있게될 경우 x는 그 어떤 수도 가능하기 때문에 '0으로 나눌 수...
편의상 자연수의 기수를 N 이라 정의합시다. 그러면 어떤 임의의, 2진법으로 표기된 무한소수를 생각할 때 이 무한소수의 자릿수는 N일 것이 자명합니다. 이 무한소수의 각...
불완전성 원리에 대해서 공부하고 있는데 ”G의 증명이 존재한다“ 만약 G가 거짓임을 증명한 것이면 ””G의 증명은 존재하지 않는다“는 거짓이다“ 가 되고 이건 결국...
'어떠한 엡실론을 잡아도 그보다 작은 범위로 델타를 잡을수 있을때 극한값이 존재한다라고 한다' 라는 말의 의미를 최대한 직관적이고 알기쉬운 방법으로 설명해주시면...
수학과-수리논리학과정에서 페아노 공리계 배우나요 이거 이해하려면 필요한 개념이 어떤게 있나요 새로운 개념을 공부하시기보다는 지금까지 공부하신 수학적 지식을 전부...
... 체계는 수리논리학으로 쓰여집니다. 근데 수리논리학의 문법과 기호를 설명하려면 형식 문법이 필요하게 되고 그러면 결국 집합과 논리학이 다시 필요해지게 됩니다....
태그: 수학, 논리학, 수리논리학, 집합론, 모임, class, set, 수학기초론, 수학기초, settheory
X -> Y v Z == (X -> Y) v (X -> Z) 증명 과정식 알려주세요 쓰인 법칙도 알려주시면 감사합니다(드모르간, 변환 법칙 등등) .