MKL
명제,proposition //
정리와의 관계는 증명,proof페이지를 보면: ‘증명된 명제 중 자주 사용되며 기본이 되는 것들이 정리.’
문제,problem
보조정리,lemma // 이하 둘은
정리theorem와 절대적으로 구분되는 건 아님, 현재 서술하는 중인 정리/증명/글text/...의
문맥,context 내에서의
역할,role에 따라 theorem이 lemma나 corollary라는 이름이 붙기도 하고 그런 것. 대체로 다른 정리를 위한 보조정리, 정리가 하나 나오면 그로 인해 자연스럽게 나오는 건 따름정리?
보조정리 따름정리
따름정리,corollary
이론,theory // 영단어가 비슷, 뜻도 관련, 혹시 둘의
어원,etymology은 관련이 있나? 암튼 둘 다 (현재까지 밝혀진 바로는/현재의
과학,science 패러다임,paradigm 아래서/....)
사실,fact/
진리,truth로 간주되는 그런 건데, ●
정리는 좀 일화적이고 짧은 것이고 하나의
진술,statement/
문장,sentence/
명제,proposition에
대응,correspondence되며(물론 그
증명,proof은 매우 길 수 있다), ● 이론은 보통 종합적인 학문 분야(study? discipline?)의 일부분, 여러 정리들을 포함한, 정도의 뜻인데(chk, 내생각)... TODO cmp.
ex. / Sub
피타고라스_정리,Pythagorean_theorem - w
4색정리 four_color_theorem four-color_theorem - w
...
Auto-generated List of *theorem* Pages:
- 그린_정리,Green_theorem
- 단조수렴정리,monotone_convergence_theorem
- 롤_정리,Rolle_s_theorem
- 발산정리,divergence_theorem
- 베이즈_정리,Bayes_theorem
- 비리얼정리,virial_theorem
- 스토크스_정리,Stokes_theorem
- 이항정리,binomial_theorem
- 일-에너지_정리,work-energy_theorem
- 전확률정리,total_probability_theorem
- 정리,theorem
- 중간값정리,사이값정리,intermediate_value_theorem,IVT
- 중심극한정리,central_limit_theorem,CLT
- 최대최소정리,extreme_value_theorem,EVT
- 코시-구르사_정리,Cauchy-Goursat_theorem
- 테일러_정리,Taylor_theorem
- 페르마_정리,Fermat_theorem
- 평균값정리,mean_value_theorem,MVT
나중에 규칙,rule 원리,principle 보조정리,lemma 따름정리,corollary 수,number 행렬,matrix 문제,problem 공간,space 관계,relation 순서,order model(모형,model or 모델,model) 분포,distribution formula term _norm(노름,norm) algebra(suffix _algebra / prefix algebraic_ ) 이론,theory ...등의 페이지에도 이 방법을 쓰면 간편할 듯. 다만 몇 개 안되는 페이지들에 대해서 굳이 이 방법 필요 없음. / 현재 함수,function페이지에서도 같은 방법 쓰고 있음("auto-gen"...문단) 행렬,matirx페이지에는 안쓰고있는듯. ....