• 완전성completeness . . . . 21 matches
       = 단어 completeness는, =
       completeness vs soundness 참고:
       [[완전성정리,completeness_theorem]]
       [[튜링_완전성,Turing_completeness]] =튜링_완전성,Turing_completeness =,Turing_completeness . 튜링_완전성 Turing_completeness
        rel: Gödel's incompleteness theorems { https://simple.wikipedia.org/wiki/Gödel%27s_incompleteness_theorems }
       https://en.wikipedia.org/wiki/Turing_completeness
       https://www.pls-lab.org/en/Completeness
       반대는 [[불완전성incompleteness]]
       Sub: [[불완전성정리incompleteness_theorem]]
       https://simple.wikipedia.org/wiki/Gödel%27s_incompleteness_theorems
       [[완전성,completeness]]
       [[완비성completeness]]
       [[완비성,completeness]]
       완비성공리 completeness_axiom - curr at [[공리,axiom]]
       [[벡터공간,vector_space]]의 [[완비성,completeness]]? : 벡터공간의 성질 중 하나.
       "벡터 공간의 중요한 다른 성질 중 하나는 완전성(completeness)이다. 벡터들의 크기의 합(무한 갯수를 더했더라도)이 유한하면, 이 벡터들의 합이 유한한 벡터 하나로 수렴한다는 조건이다."[* 물리학백과: 힐베르트 공간 Hilbert Space, [[힐베르트_공간,Hilbert_space]] 설명 중에서]
       WtEn:completeness
• 공리,axiom . . . . 8 matches
       [[completeness_axiom]] =,completeness_axiom =,completeness_axiom . completeness_axiom
       [[완비성,completeness]]
       WtEn:completeness_axiom
       ... Google:completeness.axiom Naver:completeness+axiom Naver:완비성공리 Google:완비성공리
• 논리게이트,logic_gate . . . . 3 matches
       functional completeness ?
       functional completeness n. ?
       Ggl:"functional completeness"
• 오더,order . . . . 3 matches
        "(Some authors) [[propositional_logic]] (i.e. [[명제논리,propositional_logic]])와 동의어로 쓰는 경우도 있으나 아닐 수 있다, 다만 뭐든간 complete(completeness
       Srch:completeness — ''linked to [[WpEn:Completeness_(logic)]]'') and compact(compactness Srch:compactness — ''linked to [[WpEn:Compactness_theorem]]'')하다." (we)
• OnlineLectures . . . . 2 matches
       미분, 적분 둘다 정의에서 극한을 사용하므로 안 됨. 실수 밑의 단계에서는 미적분학이 불가능. 실수는 큰 의미가 있다. ''완비성,,completeness,,?''
       completeness
• 모형,model . . . . 2 matches
       logic - Incompleteness theorem: Peano arithmetic vs. standard model of arithmetic - Mathematics Stack Exchange
       https://math.stackexchange.com/questions/4247792/incompleteness-theorem-peano-arithmetic-vs-standard-model-of-arithmetic
• 벡터 . . . . 2 matches
       || ||orthonormal property [[br]]// Ggl:"orthonormal property of bases" ||completeness property [[br]]// Ggl:"completeness property of bases" ||
• 벡터공간,vector_space . . . . 2 matches
        * [[완비성,completeness]] - curr [[완전성completeness#s-1.2]]
• 증명,proof . . . . 2 matches
       [[불완전성,incompleteness]]
       [[불완전성정리,incompleteness_theorem]]
• 튜링_기계,Turing_machine . . . . 2 matches
       BROUGHTFROM [[튜링_완전성,Turing_completeness]] ... curr at [[완전성completeness]]
• 건전성soundness . . . . 1 match
       비교: [[완전성completeness]]
• 곱집합,product_set . . . . 1 match
        - [[집합,set]]s들의 [[완비성,completeness]]을 가진? 직접곱/직곱? [[direct_product]]
• 공간,space . . . . 1 match
        "[[벡터공간,vector_space]]에 [[노름,norm]]이 정의되어 있으면 [[노름공간,normed_space]]이고, 이게 [[완비성,completeness]]을 가지면 '''바나흐 공간'''이라고 한다."
• 논리학,logic . . . . 1 match
        [[완전성completeness]]
• 동치,equivalence . . . . 1 match
       Cmp [[튜링_완전성,Turing_completeness]]
• 르베그_측도,Lebesgue_measure . . . . 1 match
       [[보렐_측도,Borel_measure]]의 완비화. (wpko) // [[완비화]]페이지 만들 필요 있나? [[완비성,completeness]]이면 족할듯한데
• 상태,state . . . . 1 match
       [[튜링_기계,Turing_machine]] - curr at [[완전성completeness?action=highlight&value=Turing_machine]]
• 실수,real_number . . . . 1 match
       [[완비성,completeness]] ... Ggl:"실수 완비성"
• 열린집합,open_set . . . . 1 match
       Sub: [[complete_accumulation_point]] =,complete_accumulation_point . complete_accumulation_point { '''complete accumulation point''' WtEn:complete_accumulation_point https://encyclopediaofmath.org/wiki/Complete_accumulation_point Up: [[완비성,completeness]]? }
• 완전그래프,complete_graph . . . . 1 match
       [[완전성completeness]]??
• 충족가능성,satisfiability . . . . 1 match
       [[NP완전성,NP-completeness]]
• 측도,measure . . . . 1 match
       [[완비성,completeness]]
• 패러독스,paradox . . . . 1 match
        원래 이것의 형식은 괴델의 [[불완전성정리,incompleteness_theorem]]의 [[일반화,generalization]]였다.
• 필드,field . . . . 1 match
       [[completeness]]? [[순서체,ordered_field]]

You can also click here to search title.