13/11/03 11:32:07.67
新有限主義とでもいうものが登場したわけだね
URLﾘﾝｸ(www.mathunion.org)
つまり大きな数を自然数としない
実際的計算可能とか多項式時間などの分けと同じだが
ライトらの論理としての自然数、つまり数詞の導入だが
URLﾘﾝｸ(etd.nd.edu)
を参照されるとよい、実際の数詞の構成方法がある。
13/11/03 11:32:07.67
新有限主義とでもいうものが登場したわけだね
URLﾘﾝｸ(www.mathunion.org)
つまり大きな数を自然数としない
実際的計算可能とか多項式時間などの分けと同じだが
ライトらの論理としての自然数、つまり数詞の導入だが
URLﾘﾝｸ(etd.nd.edu)
を参照されるとよい、実際の数詞の構成方法がある。