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

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

1(1): 07/27(日)09:17 ID:rMGHn5/k(1) AAS
判定する方法はあるの？

2: 07/27(日)09:25 ID:2hG4kFO7(1) AAS
無い

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

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

5: 07/27(日)09:43 ID:VIP+BsVn(1/2) AAS
はたらけ