細編集の要約なし タグ: ビジュアルエディタ |
細 (。の位置) タグ: ビジュアルエディタ |
||
1行目: | 1行目: | ||
− | ß関数とは、\(ß(a,b,...n)\)で表される関数である。以下はそのルールである(\(x,a,y,z,m,n\)は自然数)(\(n\)は要素の最後) |
+ | ß関数とは、\(ß(a,b,...n)\)で表される関数である。以下はそのルールである。(\(x,a,y,z,m,n\)は自然数)(\(n\)は要素の最後) |
# \(ß(x)=ßSTM(x,x,x)\) |
# \(ß(x)=ßSTM(x,x,x)\) |
2022年8月16日 (火) 14:37時点における最新版
ß関数とは、\(ß(a,b,...n)\)で表される関数である。以下はそのルールである。(\(x,a,y,z,m,n\)は自然数)(\(n\)は要素の最後)
- \(ß(x)=ßSTM(x,x,x)\)
- \(ß^a(x)=\underbrace {ß(ß(...ß}_{a個のß} (x)\)
- \(ß(x,y)=\underbrace {ß^{ß^{.^{.^{.^{ß^{ß(x)}(x)}.}.}.}(x)}(x)}_{y個のß(x)}\)
- \(ß(x,y,z)=ß(\underbrace {ß(x,y),ß(x,y),...ß(x,y)}_{z個のß(x,y)},z-1)\)(補足)
- \(ß(x,y...m,n)=ß(\underbrace {ß(x,y...m),ß(x,y...m),...ß(x,y...m)}_{n個のß(x,y...m)},n-1)\)
これ参照。