주의 : 이것은 역사적으로 OP 질문에 대한 첫 번째 답변입니다. 통계에 따르면, Jerzy Neyman과 Egon Pearson이 1933 년에 논문으로 Neyman-Pearson 렘마를 소개했습니다 . 또한 통계 학자들은 실제로는 정리 가 아니라 정리 로 사용되며 , 1936 년 논문 때문에 크게 정리 정리라고 부릅니다. IMHO, 역사적 대우는 "왜"질문에 대답하지 않으며,이 포스트는 그 일을 시도합니다.
정리 나 추론과 대조되는 정리 정리는 다른 곳 이나 여기에서 다루어진다 . 보다 정확하게는 정의의 문제와 관련하여 : Lemma, 첫 번째 의미 : 논증 또는 증거의 보조 또는 중간 정리. 나는 옥스포드 사전에 동의하지만 단어 순서를 변경하고 정확한 언어를 주목할 것입니다 : 중간 또는 보조 정리. 일부 저자는 실수로 클레 마가 증거에서 중개자가되어야한다고 믿으며, 이는 이름이없는 많은 렘마의 경우입니다. 그러나, 명명 된 렘마에 대해서는, 렘마 결과가 이미 입증 된 정리로부터 발생하는 의미가되어, 렘마가 부가 적, 즉 보조 정리가되도록하는 것이 일반적이다. 로부터 새로운 세계 백과 사전 한 수학자의 주요 결과는 다른 수수께끼의 주장이기 때문에 이론과 음운의 구별은 다소 자의적입니다. 예를 들어 가우스의 명예와 Zorn의 명예는 일부 저자가 어떤 이론의 증거로 그것을 사용하지 않고 명목상의 명예를 제시 할 정도로 충분히 흥미 롭다. 이러한 다른 예에서하지 다음 에반스 표제어 인 증거 제 카탄 구조 방정식 두 테트라에 가설의 평등 ... 테트라를 가정이라고 ... 쇼 미분 기하학의 간단한 원리 [ SiC를 자체] 이고 미분 기하학의 에반스 렘마의 근원. Wikipedia 는 시간에 따른 정리의 진화를 언급합니다.어떤 경우에는, 다른 정리의 상대적인 중요성이 더 명확 해짐에 따라, "엘레 마"라는 단어는 여전히 이름으로 남아 있지만, 일단 한 정리로 간주되었던 것은 이제 정리로 간주된다.
그러나, 그들이 독립형에 속하는지 아닌지는 또한 정리라는 점에 유의하십시오. 즉, 정리는 정리 인 정리 는 때때로 "(위의 정리는 무엇을 의미 하는가?") 질문에 대한 답이 될 수 있습니다. 때로는 정리는 정리를 설정하는 데 사용되는 디딤돌입니다.
1933 년 논문을 읽는 것은 분명하다 : IX. 통계적 가설에 대한 가장 효율적인 테스트 문제. Jerzy Neyman, Egon Sharpe Pearson 및 Karl Pearson 은 베이 즈 정리 입니다. 이 글의 일부 독자들은 Bayes의 정리를 1933 년 논문과 관련시키는 데 어려움을 겪고 있습니다. 1933 년 논문은 벤 다이어그램으로 흩어져 있으며 벤 다이어그램 은 베이 즈 정리 인 조건부 확률을 보여줍니다 . 어떤 사람들은이 규칙을 "정리"라고 언급하는 것이 과장되기 때문에 이것을 베이 즈의 규칙이라고 부릅니다. 예를 들어, 규칙이 아니라 '가산'정리를 불러야한다면 설명보다는 혼란 스러울 것입니다.
따라서 Neyman - 피어슨 보조 정리 A는 정리 베이지안 가설의 가장 효율적인 테스트와 관련된,하지만 현재는 아니므로 시작하는 것을 호출되지 않습니다.