任意に取った実数が整数であるかどうかはどう判定するの？

任意に取った実数が整数であるかどうかはどう判定するの？ (29ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

4(2): 07/27(日)09:38 ID:XXof90fb(1) AAS
Pを自然数nに対する述語とする
実数xの小数第n位を、P(n)が真なら1、偽なら0で定める
Pとして、∃nP(n)が数学では証明も反証も不可能なものを取ってくれば、判定できない

12(1): 07/31(木)05:37 ID:Hvgj+o8p(1) AAS
>>10-11
で、それをどうやって判定するんだ
たとえば>>4の実数は整数なのか？

22: 08/11(月)22:13 ID:yz/q3SoC(1) AAS
>>20
>>4のような定義でそれが整数か否かを判定する手段は無いけれど整数か否かは決まっているよ