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

任意に取った実数が整数であるかどうかはどう判定するの？ (29ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

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