정리,theorem - VeryGoodWiki

공리,axiom와 정의,definition에서 이끌어 낸, 참으로 증명,proof된, 수학적 사실.

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.

theorem

theory
https://ncatlab.org/nlab/show/theory

ex. / Sub
피타고라스_정리,Pythagorean_theorem - w
4색정리 four_color_theorem four-color_theorem - w

https://mathworld.wolfram.com/Four-ColorTheorem.html
https://en.wikipedia.org/wiki/Four_color_theorem
증명되기 전엔 4색문제 ...문제,problem였다, 아무튼 정리의 증명 이전의 명칭은 명제 말고도 '문제'도 있다, 위 mkl에 추가함 (del this)

...

Auto-generated List of *theorem* Pages:

나중에 규칙,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페이지에는 안쓰고있는듯. ....

topics:
정리증명 theorem_proving - w

{
theorem proving
http://www.aistudy.com/math/theorem_proving.htm

"정리는 수학적으로 참인 명제,proposition를 뜻한다."

Up: 정리,theorem 증명,proof
} // theorem proving

theorem proving

자동정리증명 automated_theorem_proving (ATP) - w

{
automated theorem proving, AKA automated deduction (we) ... so rel 연역,deduction
Rel symbolic_computation