본 글에서는 실수 순서체 및 닫힌 실체의 `한정기호 제거’를 사용하여, 어떻게 힐버트의 17번째 문제를 해결할 수...
본 글에서는 실수 순서체 및 닫힌 실체의 `한정기호 제거’를 사용하여, 어떻게 힐버트의 17번째 문제를 해결할 수...
수리논리학에는 크게 4가지 분야가 있습니다: 계산가능성이론computability theory, 모델론model theory, 증명론proof t...
가입 시 사용하신 이메일 주소를 입력하시면
비밀번호 재설정 방법을 이메일로 안내해 드립니다.
회원 가입을 통해 더 많은 정보를 받아보세요.
입력하신 이메일 주소
로
인증 메일이 발송 되었습니다.