来来来, xiongyp, 我问你个问题:# WaterWorld - 未名水世界
l*3
1 楼
我们定义一种数, 叫做 "高智商数"
定义如下:
a被称为高智商数, 当且仅当 "a是大于1的自然数, 并且a不能被任何小于a的高智商数
整除"
请问, 这个定义是否具有 "可判定性" 和 "良定义性" ?
我根据这个定义, 能不能判断出一个对象a是不是 "高智商数" ?
定义如下:
a被称为高智商数, 当且仅当 "a是大于1的自然数, 并且a不能被任何小于a的高智商数
整除"
请问, 这个定义是否具有 "可判定性" 和 "良定义性" ?
我根据这个定义, 能不能判断出一个对象a是不是 "高智商数" ?