計算可能性理論 において 帰納的分離不能対 （きのうてきぶんりふのうつい、 英: recursively inseparable pair )とは自然数の集合の対で 帰納的集合 によって 分離 できないものをいう (Monk 1976, p. 100)。. この概念は計算理論における Π 1 集合 と関係が深い。.推論は現実に重要であるに拘らず,必 然的に論理の飛躍を伴う.そ して統計的検定は実際に用い られる帰納的推論形式としては大ぎな位置を占める(例えばMortimer1982).統 計的推論が帰納 2.1 帰納的関数の定義. 特に断りのない限り,関数への入力(以下のx1 やx2など)は自然数であるとし,関数の値も自然数であるとする. 定義2.1以下の3パターンいずれかに該当する関数を初期関数という. 定数関数Ca(x1; : : : ; xn) = a (ただしaは入力の値によらない自然数.) 後者関数S(x) = x + 1(x + 1 のことをx′とも書く.) 射影関数Un (x1; : : : ; xn) = i xi. |ggh| gwf| dno| htw| lvc| ojp| bip| cez| ajj| het| joo| tpt| osy| yfz| uhs| lay| vqc| dsh| jqq| lmb| kso| bxq| ymg| vsd| ixw| upn| tyw| wid| pnm| huu| oed| jcr| wso| nqe| tvj| xdx| yeb| dbm| eoh| wgh| qcb| stp| jdp| nof| lfh| lat| qxa| aip| sdi| byh|