완전성completeness

Difference between r1.22 and the current

@@ -1,7 +1,9 @@
#noindex
<<tableofcontents>>
= 단어 completeness는, =
== 완전성 ==
[[논리학,logic]]에서 '''완전성'''.
[[논리학,logic]]에서 '''완전성''': "모든 진리를 연역적으로 증명할 수 있다는 성질" // [[연역,deduction]] [[증명,proof]] [[성질,property]]
비교: [[건전성soundness]]과는 다른 것. 차이 tbw.
{
completeness vs soundness 참고:
@@ -140,7 +142,7 @@

(Misc)
[[그래프이론,graph_theory]] > [[그래프,graph]]쪽에서 이 단어는 이렇게 쓴다
[[완전그래프,complete_graph]] - [[VG:완전그래프,complete_graph]]
[[완전그래프,complete_graph]]

(alt. pagename)
[[완전성,completeness]]
@@ -155,7 +157,18 @@
MKLINK
완비성공리 completeness_axiom - curr at [[공리,axiom]]

ALSOIN
[[벡터공간,vector_space]]
[[벡터공간,vector_space]]의 [[완비성,completeness]]? : 벡터공간의 성질 중 하나.
"벡터 공간의 중요한 다른 성질 중 하나는 완전성(completeness)이다. 벡터들의 크기의 합(무한 갯수를 더했더라도)이 유한하면, 이 벡터들의 합이 유한한 벡터 하나로 수렴한다는 조건이다."[* 물리학백과: 힐베르트 공간 Hilbert Space, [[힐베르트_공간,Hilbert_space]] 설명 중에서]
 
 
WtEn:completeness

----
REL universality...?
universal_gate 는 [[불_함수,Boolean_function]]들의 집합의 함수적 완전성 functional_completenss 관련이다. see https://freshrimpsushi.github.io/ko/posts/3408/#범용-게이트
 
----
RENAMETHISPAGE


[edit]

1. 단어 completeness는,

[edit]

1.1. 완전성

논리학,logic에서 완전성: "모든 진리를 연역적으로 증명할 수 있다는 성질" // 연역,deduction 증명,proof 성질,property

비교: 건전성soundness과는 다른 것. 차이 tbw.
{
completeness vs soundness 참고:
https://thinkpro.tistory.com/163
}
from WpKo:완전성


튜링_완전성,Turing_completeness =튜링_완전성,Turing_completeness =,Turing_completeness . 튜링_완전성 Turing_completeness
{
REL:
Alan_Turing http://en.citizendium.org/wiki/Alan_Turing https://en.wikipedia.org/wiki/Alan_Turing
튜링_기계,Turing_machine

UTM
범용_튜링_기계,universal_Turing_machine? universal_Turing_machine =,universal_Turing_machine =,universal_Turing_machine . universal_Turing_machine |=,UTM UTM
{
WtEn:universal_Turing_machine ?
WtEn:UTM ?


deterministic_Turing_machine |=,DTM DTM
{
deterministic Turing machine
https://en.wikipedia.org/wiki/Deterministic_Turing_machine : redir.

"deterministic Turing machine"
Ggl:deterministic Turing machine
}
nondeterministic_Turing_machine //OR// non-deterministic_Turing_machine |=,NTM NTM ... |=,NDTM NDTM ?
{
nondeterministic Turing machine
non-deterministic Turing machine

alternating_Turing_machine alternating_Turing_machine |=,ATM ATM
// TM의 sub(variant).
{
alternating Turing machine
alternating_Turing_machine


probabilistic_Turing_machine =,probabilistic_Turing_machine =,probabilistic_Turing_machine . probabilistic_Turing_machine |=,PTM PTM
// TM의 sub(variant).
{
probabilistic Turing machine


QTM
quantum_Turing_machine
{
quantum Turing machine


WpKo:양자_튜링_기계 = https://ko.wikipedia.org/wiki/양자_튜링_기계
WpEn:Quantum_Turing_machine = https://en.wikipedia.org/wiki/Quantum_Turing_machine
{2023-11-07 첫 문단만 인용: "A quantum Turing machine (QTM)
or universal quantum computer // universal_quantum_computer
is an 추상기계,abstract_machine
used to model the effects of a 양자컴퓨터,quantum_computer.
It provides a simple model that captures all of the power of quantum_computation—that is, // 양자계산? WtEn:quantum_computation WpEn:Quantum_computation
any 양자알고리듬,quantum_algorithm // quantum_algorithm =,quantum_algorithm . quantum_algorithm WtEn:quantum_algorithm ? \\ WpEn:Quantum_algorithm = https://en.wikipedia.org/wiki/Quantum_algorithm
can be expressed formally as a particular quantum Turing machine.
However, the computationally equivalent // n. computational_equivalence ? WtEn:computational_equivalence ? "computational equivalence" Ggl:computational equivalence \ Up: 동치,equivalence
quantum_circuit is a more common model."} // 양자회로,quantum_circuit =양자회로,quantum_circuit =,quantum_circuit 양자회로 quantum_circuit { https://en.wikipedia.org/wiki/Quantum_circuit Ndict:양자회로 WtEn:quantum_circuit }

"quantum Turing machine"
Ggl:quantum Turing machine
Naver:quantum Turing machine
Bing:quantum Turing machine
} // quantum Turing machine


Turing_equivalence { Turing equivalence ... Ggl:Turing equivalence Turing+equivalence "Turing equivalence" } // Turing equivalence

Church-Turing_thesis =,Church-Turing_thesis =,Church-Turing_thesis . Church-Turing_thesis |=,CTT CTT
{
처치-튜링 xx

Church-Turing thesis

AKA
computability thesis
// computability_thesis =,computability_thesis . 계산가능성,computability 씨시스,thesis? =,thesis { thesis 씨시스 시시스 ... 번역이 까다롭다. 라기보단 번역어를 고르기 까다롭다. 논제 논증 논문 ... WtEn:thesis WpEn:thesis NdEn:thesis Ndict:thesis Ggl:thesis }
Inter:
http://www.aistudy.com/computer/church_turing_thesis.htm
https://ko.wikipedia.org/wiki/처치-튜링_논제
https://simple.wikipedia.org/wiki/Church–Turing_thesis
https://simple.wikipedia.org/wiki/Church–Turing_thesis
rel: Gödel's incompleteness theorems { https://simple.wikipedia.org/wiki/Gödel's_incompleteness_theorems }
https://en.wikipedia.org/wiki/Church–Turing_thesis
}
Inter:
http://pub.mearie.org/튜링완전
https://en.wikipedia.org/wiki/Turing_completeness
"turing-complete or computationally universal" (adj.)
}


Opp:
반대는 불완전성incompleteness
{



}

...

(Misc)
그래프이론,graph_theory > 그래프,graph쪽에서 이 단어는 이렇게 쓴다
완전그래프,complete_graph

(alt. pagename)
완전성,completeness

[edit]

1.2. 완비성

수학의 다른 분야에선 대체적으로 완비성.
완비성completeness

(alt. pagename)
완비성,completeness

MKLINK
완비성공리 completeness_axiom - curr at 공리,axiom

ALSOIN
벡터공간,vector_space
벡터공간,vector_space의 완비성,completeness? : 벡터공간의 성질 중 하나.
"벡터 공간의 중요한 다른 성질 중 하나는 완전성(completeness)이다. 벡터들의 크기의 합(무한 갯수를 더했더라도)이 유한하면, 이 벡터들의 합이 유한한 벡터 하나로 수렴한다는 조건이다."[1]




REL universality...?
universal_gate 는 불_함수,Boolean_function들의 집합의 함수적 완전성 functional_completenss 관련이다. see https://freshrimpsushi.github.io/ko/posts/3408/#범용-게이트

RENAMETHISPAGE
----
완전성completeness Modified on 9:51 pm, July 12, 2024.
🎲 Random