토론:굿스타인의 정리
이 문서는 수학 관련 문서를 체계적으로 다루기 위한 위키프로젝트 수학의 범위 안에 있습니다. 이 프로젝트에 참여하고 싶으시다면 프로젝트 문서를 방문해 주세요. 프로젝트의 목표와 편집 지침을 확인하거나 토론에 의견을 제시할 수 있습니다. | ||
미평가 | 이 문서에 대한 문서 품질이 아직 평가되지 않았습니다. | |
낮음 | 이 문서는 프로젝트 내에서 그다지 중요하지 않게 여겨집니다. |
이 정리와 패리스의 정리에 수록된 정리는 사실상 같은 정리입니다. 하나는 (강한) 굿스타인 열, 다른 하나는 약한 굿스타인 열이 끝나는지의 여부에 대한 것이며, 약한 굿스타인 열에 대한 정리는 강한 굿스타인 열에 대한 정리를 자명하게 함의합니다. 강한 굿스타인 열에 대한 정리마저 페아노 공리계에서 증명할 수 없으므로, 약한 굿스타인 열에 대한 정리 역시 마찬가지입니다.
모든 외국어 위키백과에서는 이를 같은 문서에서 다루고 있으며, 한국어 위키백과에서도 굳이 두 문서를 나눌 필요가 없다고 봅니다. 현재 강한/약한 굿스타인 열의 정의 및 페아노 증명 불가능성의 의의 등이 두 문서 사이에 중복되어 있습니다. Osteologia (토론) 2014년 11월 23일 (일) 11:31 (KST)
외부 링크 수정됨 (2018년 7월)
편집안녕하세요 편집자 여러분,
굿스타인의 정리에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:
- https://web.archive.org/web/20110825205826/http://reference.kfupm.edu.sa/content/a/c/accessible_independence_results_for_pean_59864.pdf 보존 링크를 http://reference.kfupm.edu.sa/content/a/c/accessible_independence_results_for_pean_59864.pdf 링크에 추가함
봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.
감사합니다.—InternetArchiveBot (버그를 제보하기) 2018년 7월 19일 (목) 16:44 (KST)
외부 링크 수정됨 (2022년 11월)
편집안녕하세요 편집자 여러분,
굿스타인의 정리에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:
- https://web.archive.org/web/20141129034347/http://kyungmoon.com/shop_product/shop_pdt_view.php?p_idx=4599 보존 링크를 http://kyungmoon.com/shop_product/shop_pdt_view.php?p_idx=4599 링크에 추가함
봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.
감사합니다.—InternetArchiveBot (버그를 제보하기) 2022년 11월 17일 (목) 01:02 (KST)