Difference between r1.12 and the current
@@ -1,6 +1,79 @@
#noindex
<<tableofcontents>>
= Sub =
== 분류정리 classification theorem ==
[[분류정리,classification_theorem]] =분류정리,classification_theorem =,classification_theorem 분류정리 classification_theorem
{
<<tableofcontents>>
= Sub =
== 기본정리 fundamental theorem ==
각 분야별로 있음.
"기본정리 fundamental theorem"
Ggl:"기본정리 fundamental theorem"
Naver:"기본정리 fundamental theorem"
Bing:"기본정리 fundamental theorem"
...
Ggl:"list of fundamental theorems"
=== 산술의 기본정리 ===
산술의 기본정리
FTA
[[산술,arithmetic]]
[[자연수,natural_number]]
[[소수,prime_number]]
[[곱셈,multiplication]] 표현의 유일성을, [[소인수분해,prime_factorization]]가 존재하고 유일함을([[존재성,existence]] [[유일성,uniqueness]]) ... (수백)
Twin
[[https://terms.naver.com/entry.naver?docId=3340632&cid=60207&categoryId=60207 수학백과: 산술의 기본정리]]
https://oeis.org/wiki/Fundamental_theorem_of_arithmetic
"산술의 기본정리"
Ndict:"산술의 기본정리"
Ggl:"산술의 기본정리"
// curr [[VG:산술%2Carithmetic#s-5.1]]
=== 대수학의 기본정리 ===
대수학의 기본정리
FTA
[[대수학의기본정리,fundamental_theorem_of_algebra,FTA]] ? - mentioned at VG
[[앨지브라,algebra]] - [[대수,algebra]] or [[대수학,algebra]]
ex. 이차방정식 $x^2+1=0$ 은 [[실근]]을 갖지 않지만, [[해,solution]]의 범위를 복소수 집합으로 확장하면 근을 두 개 갖는다.
일반화하면 일반적으로
> 모든 $n$ 차 방정식은 복소수 영역에서 $n$ 개의 근을 갖는다.
MKL
[[근,root]]
[[다항식,polynomial]]
[[방정식,equation]]
// 이 둘을 합한 [[다항방정식]] / [[polynomial_equation]] / [[다항방정식,polynomial_equation]] ? WtEn:polynomial_equation
[[https://terms.naver.com/entry.naver?docId=3574277&cid=58944&categoryId=58970 수학산책: 대수학의 기본 정리]]
[[https://terms.naver.com/entry.naver?docId=4125228&cid=60207&categoryId=60207 수학백과: 대수학의 기본정리]]
"대수학의 기본정리" ... Ndict:"대수학의 기본정리" Ggl:"대수학의 기본정리"
"fundamental theorem of algebra" ... Ggl:"fundamental theorem of algebra"
=== 미적분의 기본정리 ===
미적분의 기본정리
[[미적분,calculus]]
[[미분,differentiation]] [[적분,integration]]이 서로 역연산임을 말하는? chk
[[https://terms.naver.com/entry.naver?docId=3338338&cid=47324&categoryId=47324 수학백과: 미적분의 기본정리]]
"미적분의 기본정리"
Ndict:"미적분의 기본정리"
Ggl:"미적분의 기본정리"
=== 기본정리는여기에추가 ===
=== 기본정리는여기에추가 ===
=== 기본정리는여기에추가 ===
[[분류정리,classification_theorem]] =분류정리,classification_theorem =,classification_theorem 분류정리 classification_theorem
{
@@ -26,15 +99,14 @@
표현정리
representation theorem
Ndict:표현정리
Ggl:표현정리
Ggl:"representation theorem"
[[표현,representation]]
}
representation theorem
WtEn:representation_theorem
=
[[WtEn:representation_theorem]] = https://en.wiktionary.org/wiki/representation_theorem
[[WpEn:Representation_theorem]]
= https://en.wikipedia.org/wiki/Representation_theorem
[[WpEn:Representation_theorem]] = https://en.wikipedia.org/wiki/Representation_theorem
Ndict:표현정리
Ggl:표현정리
Ggl:"representation theorem"
Bing:"representation theorem"
[[표현,representation]]
}
@@ -76,6 +148,18 @@
WpSp:Pythagorean_theorem
WpEn:Pythagorean_theorem
= MKLINK =
'''정리'''는 (참임이) [[증명,proof]]된 [[명제proposition]]([[VG:명제,proposition]])임.
WpEn:Pythagorean_theorem
== 다항정리 multinomial theorem ==
[[다항정리,multinomial_theorem]]
== 메타정리 metatheorem ==
[[메타정리,metatheorem]]
curr at [[증명이론%2Cproof_theory?action=highlight&value=메타정리%2Cmetatheorem]]
== ADDHERE ==
== ADDHERE ==
== ADDHERE ==
== ADDHERE ==
'''정리'''는 (참임이) [[증명,proof]]된 [[명제proposition]]([[VG:명제,proposition]])임.
@@ -92,3 +176,6 @@
----
[[VG:정리,theorem]]
https://oeis.org/wiki/Theorems
"'''Theorems''' are important mathematical statements^^[[진술,statement]]^^ having valid^^[[validity]]{ KmsE:validity Ndict:validity Ggl:validity }^^ proofs^^[[증명,proof]]^^."
Contents
- 1. Sub
- 1.1. 기본정리 fundamental theorem
- 1.2. 분류정리 classification theorem
- 1.3. 표현정리 representation theorem
- 1.4. 클레로 정리 Clairaut theorem
- 1.5. unique readability theorem (URT)
- 1.6. Smn theorem
- 1.7. 피타고라스 정리 Pythagorean theorem
- 1.8. 다항정리 multinomial theorem
- 1.9. 메타정리 metatheorem
- 1.10. ADDHERE
- 1.11. ADDHERE
- 1.12. ADDHERE
- 1.13. ADDHERE
- 2. MKLINK
1.1. 기본정리 fundamental theorem ¶
각 분야별로 있음.
"기본정리 fundamental theorem"
기본정리 fundamental theorem
기본정리 fundamental theorem
기본정리 fundamental theorem
"기본정리 fundamental theorem"
기본정리 fundamental theorem
기본정리 fundamental theorem
기본정리 fundamental theorem
1.1.1. 산술의 기본정리 ¶
자연수,natural_number
소수,prime_number
곱셈,multiplication 표현의 유일성을, 소인수분해,prime_factorization가 존재하고 유일함을(존재성,existence 유일성,uniqueness) ... (수백)
소수,prime_number
곱셈,multiplication 표현의 유일성을, 소인수분해,prime_factorization가 존재하고 유일함을(존재성,existence 유일성,uniqueness) ... (수백)
Twin
1.1.2. 대수학의 기본정리 ¶
대수학의 기본정리
FTA
FTA
대수학의기본정리,fundamental_theorem_of_algebra,FTA ? - mentioned at VG
ex. 이차방정식 $\displaystyle x^2+1=0$ 은 실근을 갖지 않지만, 해,solution의 범위를 복소수 집합으로 확장하면 근을 두 개 갖는다.
일반화하면 일반적으로
일반화하면 일반적으로
모든 $\displaystyle n$ 차 방정식은 복소수 영역에서 $\displaystyle n$ 개의 근을 갖는다.
MKL
근,root
다항식,polynomial
방정식,equation
// 이 둘을 합한 다항방정식 / polynomial_equation / 다항방정식,polynomial_equation ? polynomial_equation
근,root
다항식,polynomial
방정식,equation
// 이 둘을 합한 다항방정식 / polynomial_equation / 다항방정식,polynomial_equation ? polynomial_equation
"대수학의 기본정리" ... 대수학의 기본정리 대수학의 기본정리
"fundamental theorem of algebra" ... fundamental theorem of algebra
"fundamental theorem of algebra" ... fundamental theorem of algebra
1.2. 분류정리 classification theorem ¶
분류정리,classification_theorem =분류정리,classification_theorem =,classification_theorem 분류정리 classification_theorem
{
분류정리
classification theorem
{
분류정리
classification theorem
1.3. 표현정리 representation theorem ¶
표현정리,representation_theorem =표현정리,representation_theorem =,representation_theorem 표현정리 representation_theorem
{
표현정리
representation theorem
{
표현정리
representation theorem
1.5. unique readability theorem (URT) ¶
unique_readability_theorem =,unique_readability_theorem =,unique_readability_theorem . unique_readability_theorem (writing)
{
명제논리,propositional_logic(curr 명제논리,propositional_logic)에서
unique readability theorem (URT)
은 임의의 적형식,wff에 대한 정리. (curr at 적형식)
{
명제논리,propositional_logic(curr 명제논리,propositional_logic)에서
unique readability theorem (URT)
은 임의의 적형식,wff에 대한 정리. (curr at 적형식)
}