人気ブログランキング |

「数学ガール ゲーデルの不完全性定理」の10章「冬」の単元で定義される関数、述語の一覧表 11

10.8.3


定義-6 x[n]
列xのn番目の要素

CanDivideByPower(x,n,k)↔︎CanDivide(x,prime(n,x)^k)

定義-7 len(x)
列xの長さ

定義-8 x*y
列xと列yを連結させた列

M8(x,y)

定義9
xだけからなる列
ただしx>0
by tomoarrow | 2016-03-19 07:00 | モチーフについて | Comments(0)