14/09/22 06:51:14.13 XoUFao4y.net
>>313
両方扱わない。
それは、p(1,x)の計算結果がたまたま有限集合になってるだけで、
定義域は無限集合なので扱わない。
>>314
オートマトンが受理する列の集合を変数として扱うことはしない。
関数として受理するかしないかを判定することはもちろんできる。
>>315
ZFCから導き出される真の式の集合とかは変数として扱わない。
>>316
ブール代数は基本的に有限だよね？
>>317
マイナーすぎじゃね？
14/09/22 06:51:14.13 XoUFao4y.net
>>313
両方扱わない。
それは、p(1,x)の計算結果がたまたま有限集合になってるだけで、
定義域は無限集合なので扱わない。
>>314
オートマトンが受理する列の集合を変数として扱うことはしない。
関数として受理するかしないかを判定することはもちろんできる。
>>315
ZFCから導き出される真の式の集合とかは変数として扱わない。
>>316
ブール代数は基本的に有限だよね？
>>317
マイナーすぎじゃね？