[일반] thm lemma corollary proposition 관계가 어케 됨

[익명(49.174)]

thm 은 thm 이고..

거기서 파생되서 나오는게 corollary 같고.. (먼가 thm 이 있으면 자연스럽게 이런거도 된다 이런 느낌??)

근데 lemma 는 보조정리 라는데.. thm 을 증명하는데 도움이 되는 정리인가요??

그리고 젤 모르겠는거.. proposition 이건 뭐라고 생각해야 되죠?? ㄷㄷㄷㄷㄷ

기본없이 하려니까 좀 우왕좌왕 해서 ㄷㄷㄷ 궁금합니다..

[익명(mzdrg)]

정리 보조정리 따름정리 명제

[연쵸(solstice4649)]

thm 어떤 사실 lemma 어떤 사실을 위한 밑작업 cor 어떤 사실에서 쉽게 나오는거 prop - dc App

[수갤러 1(211.179)]

theorem라 하면 좀 짜치는게 proposition인듯

[익명(49.174)]

아.. proposition 은 약간 trivial 한 그런 느낌인가여 ㄷㄷㄷㄷ 감사합니다 ㄷㄷㄷ

[익명(rmflvltm910)]

자명이라기보단 약간 thm보다 덜중요하거나 이미 알려져있는 사실이거나 다른 paper의 결과 가져올때 등 thm붙이기 애매할때 많이씀

[mCC(pumpkin7889)]

Prop 은 좀 사람마다 의견 갈리는데 난 유용하고 쓸만한건데 일단 이 페이퍼 안에서 증명하고자 하는 사실은 아닌거 이런 뉘앙스로씀 thm보다는 더 툴적인 측면이 강한데 lemma 처럼 패이퍼 안에서 thm 을 증명하려고만 쓰이는 테크니컬한 명제는 아니고 범용성이 있어보이는거 - dc App

[수갤러 2(121.184)]

아 그렇근여 감사합니다 ㄷㄷㄷㄷㄷㄷㄷ

[수갤러 3(211.230)]

thm: 논문의 핵심결과 lem: thm의 핵심 부품 prop: 빌드업 명제 - dc App