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

任意に取った実数が整数であるかどうかはどう判定するの？ (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
はたらけ

6(1): 07/27(日)11:52 ID:BtC8baTp(1/2) AAS
>>1
君の言う判定とは？

7(1): 07/27(日)13:16 ID:hWr4l1cK(1) AAS
>>6
自分で考えろかす

8: 07/27(日)13:23 ID:BtC8baTp(2/2) AAS
>>7
受験生が勝手に出題変更したらアカンやろ
そのくらい自分で考えろかす

9: 07/27(日)15:00 ID:VIP+BsVn(2/2) AAS
Boolean IsInteger()

10(1): 07/30(水)20:30 ID:1/joJsBb(1) AAS
x ∈ Z ⇔ x ＝ [x]
Z は整数全体の集合
[x] は床関数で「x 以下の最大の整数」
xと[x]が等しければ整数

11(1): 07/30(水)21:36 ID:jdvnoVMw(1) AAS
任意に実数を取るということは、乱数発生器で小数以下の桁を1個づつ発生させることに等しい。
発生した乱数がすべて0なら整数と言える。