(resource 보기 전 내 생각)
정의란 이름,name -> 개념,concept or 대상,object or ....something or anything .... 으로의 바인딩,binding?
정의란 이름,name -> 개념,concept or 대상,object or ....something or anything .... 으로의 바인딩,binding?
Sub:
recursive_definition
재귀적정의 recursive_definition ?
(위 둘 같은것?)
"a recursive definition, or inductive definition, " (we) - 는 같다고 함
이 때는 base_case (is: 경우,case) =,base_case . base_case
{
번역?
기본경우(????)
기초적경우?
base
basic
재귀적정의 recursive_definition ?
(위 둘 같은것?)
"a recursive definition, or inductive definition, " (we) - 는 같다고 함
이 때는 base_case (is: 경우,case) =,base_case . base_case
{
번역?
기본경우(????)
기초적경우?



(Redirected from Base case (recursion)) //

}// base case
piecewise_definition =,piecewise_definition . piecewise_definition
DTD,Document_Type_Definition - curr at 문서,document
DTD,Document_Type_Definition - curr at 문서,document


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


"잘 정의됨"
"well-definedness"
}
circular_definition =,circular_definition =,circular_definition . circular_definition
{
https://en.wiktionary.org/wiki/circular_definition
}
{
https://en.wiktionary.org/wiki/circular_definition
}
intensional definition vs extensional definition ¶
정의가능성 definability ¶
정의가능성,definability =정의가능성,definability =,definability 정의가능성 definability
{
definability (뻔한말)
https://ncatlab.org/nlab/show/definability
{

https://ncatlab.org/nlab/show/definability
Cmp: 결정가능성,decidability(w at RR)
집합,set:
정의가능집합,definable_set =정의가능집합,definable_set =,definable_set 정의가능집합 definable_set
{
definable set
정의가능집합,definable_set =정의가능집합,definable_set =,definable_set 정의가능집합 definable_set
{
definable set



https://ncatlab.org/nlab/show/definable set
Rel
구성가능집합,constructible_set =구성가능집합,constructible_set =,constructible_set 구성가능집합 constructible_set
{
constructible set
구성가능집합,constructible_set =구성가능집합,constructible_set =,constructible_set 구성가능집합 constructible_set
{
constructible set
Twins:
![[https]](/wiki/imgs/https.png)

= https://en.wikipedia.org/wiki/Constructible_set_(topology)
= https://en.wikipedia.org/wiki/Constructible_set_(topology)
"정의가능집합"
정의가능집합
정의가능집합
정의가능집합
"definable set"
definable set
definable set
definable set
Up: 정의가능성,definability 집합,set
} // 정의가능집합



"definable set"



Up: 정의가능성,definability 집합,set
} // 정의가능집합
정리 할까말까? cleanup or del ¶
귀납,induction적 ie 수학적귀납법,mathematical_induction적 정의
VG: 귀납,induction적 ie VG: 수학적귀납법,mathematical_induction 적 정의 i.e. 재귀적 정의
VG: 귀납,induction적 ie VG: 수학적귀납법,mathematical_induction 적 정의 i.e. 재귀적 정의