부적합(직관적 논리)
Indecomposability (intuitionistic logic) | 이 정의는 독자들에게 혼란스럽거나 불분명할 수 있습니다.(2017년 11월 (이 및 ) |
직관적 분석과 계산 가능한 분석에서, 불가해성 또는 불가분성(독일어:형용사 unzerlegbar)의 Unzerlegbarkeit은 연속체를 비어 있지 않은 두 조각으로 분할할 수 없다는 원리이다.이 원리는 1928년[1] 브루어에 의해 직관적인 원리를 사용하여 확립되었으며, 교회의 논문을 통해서도 입증될 수 있다.고전 분석에서 유사한 특성은 연속체에서 {0,1}까지의 모든 연속 함수가 일정하다는 사실입니다.
따라서 결정되는 실수(각 실수에는 해당 속성이 있거나 없거나)의 속성은 사실상 사소한 것이다(모든 실수에는 해당 속성이 있거나 없거나).반대로, 실수의 속성이 사소한 것이 아니라면, 그 속성은 모든 실수에 대해 결정되지 않는다.이것은 실수의 모든 속성이 결정되는 배제의 중간 법칙과 모순된다. 그래서 많은 중요하지 않은 특성이 있기 때문에 연속체에는 많은 중요하지 않은 분할이 있다.
구성 집합론(CZF)에서는 모든 집합의 우주를 분해할 수 없다고 가정하는 것이 일관됩니다.따라서 멤버십이 결정되는 클래스는 (모든 집합이 클래스의 멤버이거나 클래스의 멤버가 아님) 비어 있거나 전체 우주가 됩니다.
「 」를 참조해 주세요.
레퍼런스
- ^ L.E.J. 브라우어(1928년)."Intuitionistische Betrachtungen über 소굴 Formalismus".Sitzungsberichte 데르 Preußischen Akademie Wissenschaftenzu 베를린:48–52하는.§1의 영어 번역.(1967년)J. 반 Heijenoort, 교육:p.490–492를 참조하십시오.프레게 괴델까지 한 소스 책 수학 논리에, 1879-1931 –.Cambridge/MA:하버드 대학 출판부.아이 에스비엔 9780674324497.
- Dalen, Dirk van (1997). "How Connected is the Intuitionistic Continuum?" (PDF). The Journal of Symbolic Logic. 62 (4): 1147–1150.
- Kleene, Stephen Cole; Vesley, Richard Eugene (1965). The Foundations of Intuitionistic Mathematics. North-Holland. p. 155.
- Rathjen, Michael (2010). "Metamathematical Properties of Intuitionistic Set Theories with Choice Principles" (PDF). In Cooper; Löwe; Sorbi (eds.). New Computational Paradigms. New York: Springer. ISBN 9781441922632.
