Difference between r1.27 and the current

@@ -1,5 +1,13 @@

(resource 보기 전 내 생각)
'''정의'''란 [[이름,name]] -> [[개념,concept]] or [[대상,object]] or ....something or anything .... 으로의 [[바인딩,binding]]?

cs,pl에선 확실히 이렇다

----

qqq '''정의'''의 대상^^target or object^^은??

'[[개념,concept]]을 정의한다'

... 대충 [[철학,philosophy]]쪽? i.e. 매우 일반적으로는.

----
Sub:

@@ -73,14 +81,39 @@

}

[[well-definedness]] =,well-definedness . well-definedness

[[welldefinedness]] =,welldefinedness . welldefinedness

{

'''well-definedness''' n.

'''well-defined''' adj.

MKL

[[정의,definition]]

[[유일성,uniqueness]]

[[ambiguity]]

tmp

https://namu.wiki/w/동치관계#s-4.2 .....여기선 명확성으로 번역함.

[[well-defined_expression]] =,well-defined_expression . well-defined_expression

{

'''well-defined expression'''

~~[[식,expression]]~~

https://en.wikipedia.org/wiki/Well-defined_expression

Up:

[[well-definedness]]

[[식,expression]]

} // well-defined expression Ggl:"well-defined expression"

WtEn:well-definedness

[[WtEn:well-defined]] = https://en.wiktionary.org/wiki/well-defined

[[Zeta:잘_정의됨]]
https://ko.wikipedia.org/wiki/잘_정의됨

정의가 유일한 것을 가리키고 // [[유일성,uniqueness]]

[[모순,contradiction]]이나

[[ambiguity]]이 없는... // [[애매성,ambiguity]] or [[모호성,ambiguity]].

https://namu.wiki/w/잘%20정의됨
https://librewiki.net/wiki/잘_정의됨
https://mathworld.wolfram.com/Well-Defined.html

@@ -89,7 +122,10 @@

Bing:"well-definedness"
"잘 정의됨"
"well-definedness"

}

Ggl:"well-definedness"

Naver:"well-definedness"

} // well-definedness Ggl:"well-definedness" Naver:well-definedness

[[circular_definition]] =,circular_definition =,circular_definition . circular_definition
{

@@ -130,6 +166,20 @@

[[정의가능성,definability]]
[[집합,set]]

Sub:

[[ordinal_definable_set]] =,ordinal_definable_set . ordinal_definable_set

{

'''ordinal definable set'''

'''''ordinal definable''' adj.''

순서수 정의 가능 집합 (wk)

MKL [[집합,set]] [[정의가능집합,definable_set]]

https://ko.wikipedia.org/wiki/순서수_정의_가능_집합

https://en.wikipedia.org/wiki/Ordinal_definable_set

https://ja.wikipedia.org/wiki/順序数定義可能集合

} // ordinal definable set Ggl:"ordinal definable set"

WpKo:정의_가능_집합 = https://ko.wikipedia.org/wiki/정의_가능_집합
WpEn:Definable_set = https://en.wikipedia.org/wiki/Definable_set
WpJa:定義可能集合 = https://ja.wikipedia.org/wiki/定義可能集合

(resource 보기 전 내 생각)
정의란 이름,name -> 개념,concept or 대상,object or ....something or anything .... 으로의 바인딩,binding?
cs,pl에선 확실히 이렇다

qqq 정의의 대상^{target or object}은??

'개념,concept을 정의한다'
... 대충 철학,philosophy쪽? i.e. 매우 일반적으로는.

Sub:

inductive_definition
귀납적정의 inductive_definition ? - 귀납,induction

귀납,induction

recursive_definition
재귀적정의 recursive_definition ?

수열의 귀납적 정의

Recursive_definition = https://en.wikipedia.org/wiki/Recursive_definition

(위 둘 같은것?)
"a recursive definition, or inductive definition, " (we) - 는 같다고 함
이 때는 base_case (is: 경우,case) =,base_case . base_case
{
번역?
기본경우(????)
기초적경우?

base

basic

Recursion#base_case = https://en.wikipedia.org/wiki/Recursion#base_case
(Redirected from Base case (recursion)) //

Base_case_(recursion)

Base_case <- 두가지

"base case"

base case

base_case

}// base case

piecewise_definition =,piecewise_definition . piecewise_definition

piecewise_definition ?

조각적 정의

DTD,Document_Type_Definition - curr at 문서,document

undefined =,undefined =,undefined . undefined
undef =,undef =,undef . undef
{

undef ?

Sub:
undefined_variable - curr at 변수,variable
undefined_behavior =,undefined_behavior . undefined_behavior |=,UB UB

undefined_behavior ?
https://en.wikipedia.org/wiki/Undefined_behavior
정의되지 않은 행동,behavior

컴퓨터 프로그램 얘기이므로 행동 대신 다른 것(동작, and? ...)으로 번역해도 무방

번역?
미정의 행동|동작?
비정의 행동/동작?
...
undefined의 번역을 먼저 생각해야 함.

Compare:
uninitialized (초기화,initialization되지 않은)
널,null

'아직 정의되지 않은 것'의 표시를 null로 하는 걸 많이 본 듯 한데 구체적 예시 보이면 추가

https://foldoc.org/undefined

https://mathworld.wolfram.com/Undefined.html

Undefined_(mathematics) = https://en.wikipedia.org/wiki/Undefined_(mathematics)
}

well-definedness =,well-definedness . well-definedness
welldefinedness =,welldefinedness . welldefinedness
{
well-definedness n.
well-defined adj.

MKL
정의,definition
유일성,uniqueness
ambiguity

tmp
https://namu.wiki/w/동치관계#s-4.2 .....여기선 명확성으로 번역함.

well-defined_expression =,well-defined_expression . well-defined_expression
{
well-defined expression

https://en.wikipedia.org/wiki/Well-defined_expression

Up:
well-definedness
식,expression
} // well-defined expression

well-defined expression

well-definedness

well-defined = https://en.wiktionary.org/wiki/well-defined

잘_정의됨
https://ko.wikipedia.org/wiki/잘_정의됨

정의가 유일한 것을 가리키고 // 유일성,uniqueness
모순,contradiction이나
ambiguity이 없는... // 애매성,ambiguity or 모호성,ambiguity.

https://namu.wiki/w/잘 정의됨
https://librewiki.net/wiki/잘_정의됨
https://mathworld.wolfram.com/Well-Defined.html
...

잘 정의됨

well-definedness
"잘 정의됨"
"well-definedness"

well-definedness

} // well-definedness

well-definedness

circular_definition =,circular_definition =,circular_definition . circular_definition
{
https://en.wiktionary.org/wiki/circular_definition
}

[edit]

intensional definition vs extensional definition ¶

intensional

extensional

extensional
intensional definition
extensional definition

https://en.wiktionary.org/wiki/extensional_definition
https://en.wiktionary.org/wiki/intensional_definition

intensional extensional definition

intensional extensional definition
"intensional extensional definition"

rel. https://en.wiktionary.org/wiki/intensional_logic

[edit]

정의가능성 definability ¶

정의가능성,definability =정의가능성,definability =,definability 정의가능성 definability
{

definability (뻔한말)
https://ncatlab.org/nlab/show/definability

Cmp: 결정가능성,decidability(w at RR)

집합,set:
정의가능집합,definable_set =정의가능집합,definable_set =,definable_set 정의가능집합 definable_set
{
definable set

정의가능성,definability
집합,set

Sub:
ordinal_definable_set =,ordinal_definable_set . ordinal_definable_set
{
ordinal definable set
ordinal definable adj.
순서수 정의 가능 집합 (wk)

MKL 집합,set 정의가능집합,definable_set

https://ko.wikipedia.org/wiki/순서수_정의_가능_집합
https://en.wikipedia.org/wiki/Ordinal_definable_set
https://ja.wikipedia.org/wiki/順序数定義可能集合
} // ordinal definable set

ordinal definable set