2015년 8월 12일 (수) 10:31 판 편집 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 잔글편집 요약 없음 ← 이전 편집		2015년 11월 4일 (수) 04:17 판 편집 편집 취소 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 편집 요약 없음 다음 편집 →
227번째 줄: === 층 이론의 응용 === 1958년에 [[로제 고드망(]]의 표준적인 층 이론 교재<ref>{{~~llang~~서적 인용\|en제목=Topologie algébrique et théorie des faisceaux\|이름=Roger \|성=Godement}} \| 저자고리=로제 고드망 \| publisher=Hermann \| 위치=[[파리 (프랑스)의\|파리]] ~~표준적인~~\| 층mr=0345092 이론 ~~교재가~~\| zbl = 0275.55010 \| 판=3 \| year=1973 \|총서=Actualités scientifiques et industrielles \| 권=1252 \| 언어고리=fr}}</ref>가 출판되면서, 층 이론은 현대 수학의 주류 언어의 일부가 되었고, 더이상 [[대수적 위상수학]]에서뿐만이 아니라 대부분의 수학 분야에서 쓰이게 되었다. 차후 많은 시간이 지난 후, 층들의 범주에 대한 논리는 사실상 [[직관 논리]]({{lang\|en\|intuitionistic logic}})임이 밝혀졌다. (이 관찰은 흔히 [[크립키-조얄 의미론]](Kripke-Joyal semantics)로 불린다. 이 관찰은, 결국 층 이론은 그 바탕을 멀리 [[고트프리트 라이프니츠]]의 시대까지 역사를 거슬러 올라갈 수 있다는 것을 뜻하기도 한다. 233번째 줄: == 참고 문헌 == {{각주}} * {{서적 인용\|제목=Topologie algébrique et théorie des faisceaux\|이름=Roger\|성=Godement \| publisher=Hermann \| 위치=[[파리 (프랑스)\|파리]] \| mr=0345092 \| zbl = 0275.55010 \| 판=3 \| year=1973 \|총서=Actualités scientifiques et industrielles \| 권=1252 \| 언어고리=fr}} * {{서적 인용\|제목=The theory of sheaves\|출판사=University of Chicago Press\|날짜=1964\|이름=R. G.\|성=Swan\|언어고리=en}} * {{서적 인용\|제목=Sheaf Theory\|총서=London Mathematical Society Lecture Note\|권=20\|출판사=Cambridge University Press\|날짜=1975\|이름=B. R.\|성=Tennison\|언어고리=en}}

층 (수학): 두 판 사이의 차이