정리는 그리스어에서 유래 한 단어로 특정 과학 분야에 대한 진실을 나타내는 명제, 공리라고하는 이전에 입증 된 다른 명제에 의존하여 입증 할 수있는 특수성을 가지고 있습니다. 일반적으로 정리는 '정확한’, 특히 '형식적'(수학, 논리)은 이상적인 요소를 사용하여 일반적인 결론을 도출하는 것입니다.
정리 개념 뒤에있는 생각은 이것이 논리적이고 정확하게 표현 된 진정한 명제에 기초하는 한, 정리가 표현하는 것은 절대적 타당성의 진실입니다. 이것이 바로 그들이 다시 증명할 필요없이 어떤 과학 이론의 발전을 지원하는 역할을 할 수있게 해주는 것입니다.
정리의 핵심적인 특성은 논리적. 일반적으로 다른 종류의 과학 지식 (예 : 추론 또는 관찰을 통해 생성 된 지식)과 비교하면 그 기원은 쉽게 정렬 할 수있는 논리적 절차의 수행에서 비롯됩니다. 이런 의미에서 정리는 근본적인 가설, 그것은 당신이 보여주고 싶은 것입니다; 논문, 정확히는 데모, 그리고 그 결과 결론 데모가 완료되면 도달합니다.
말했듯이 정리의 주요 아이디어는 지속적인 타당성에 대한 질문과 항상 서명되고 다시 수락 될 가능성입니다. 그러나 정리가 보편성을 잃는 단일 상황이 발생하면 정리는 즉시 유효하지 않습니다.
정리의 개념은 다른 과학 (경제학, 심리학 또는 정치학 등) 설명 된 절차를 통해 발생하지 않는 경우에도 해당 분야를 지배하는 특정 중요하거나 기초적인 개념을 지정합니다. 이 경우 공리가 사용되지 않고 오히려 관찰 또는 통계 샘플링과 같은 절차에 의해 추론됩니다.
다음 목록은 정리의 예와 그것이 가정하는 것에 대한 간략한 설명을 수집합니다.
- 피타고라스 정리: 직각 삼각형의 경우 빗변 측정 값과 다리 측정 값 간의 관계.
- 소수 정리: 숫자 선이 커질수록 해당 그룹의 숫자가 점점 줄어 듭니다.
- 이항 정리: 이항의 거듭 제곱 (요소의 더하기 또는 빼기)을 푸는 공식.
- 프로 베니 우스 정리: 선형 연립 방정식의 풀이 공식.
- 탈레스 정리: 유사한 삼각형의 각도와 변의 특성 및 기타 특성.
- 오일러의 정리: 정점 수에면 수를 더한 값은 가장자리 수에 2를 더한 값과 같습니다.
- 프톨레마이오스의 정리: 대각선의 곱의 합은 반대쪽의 곱의 합과 같습니다.
- 코시-아다 마르 정리: 점 주위의 함수를 근사하는 일련의 거듭 제곱의 수렴 반경을 설정합니다.
- Rolle의 정리: 미분 함수에서 평가 된 극단 값이 동일한 구간에서는 항상 미분이 사라지는 지점이 있습니다.
- 평균값 정리: 함수가 연속적이고 간격에 따라 미분 할 수있는 경우 해당 간격에 접선이 시컨트에 평행 한 지점이 있습니다.
- 코시 디니의 정리: 암시 적 함수의 경우 미분 계산 조건.
- 미적분 정리: 함수의 유도 및 통합은 역 연산입니다.
- 산술 정리: 모든 양의 정수는 소인수의 곱으로 표현 될 수 있습니다.
- 베이 즈 정리 (통계): 조건부 확률을 얻는 방법입니다.
- 거미줄 정리 (경제학): 이전 가격을 기준으로 만들어진 제품의 형성을 설명하는 정리.
- Marshall Lerner의 정리 (경제학): 수량 및 가격 측면에서 통화 평가 절하의 영향 분석.
- 코즈 정리 (경제학): 외부 효과 사례에 대한 해결책, 규제 완화 경향.
- 중앙값 유권자 정리 (정치학): 다수결 시스템은 중앙값을 선호하는 경향이 있습니다.
- Baglini의 정리 (아르헨티나 정치학): 정치인은 권력의 위치에 접근 할 때 그의 제안을 중심에 더 가깝게 가져 오는 경향이 있습니다.
- 토마스 정리 (사회학): 사람들이 상황을 현실로 정의하면 결과에서 현실이됩니다.
