0117132人目の素数さん垢版 | 大砲2018/08/05(日) 15:20:19.30ID:xO+6a1PH >>97サスカッチなどがwell definedでないという数論の専門家もいまして あと計算不可能関数で定義された巨大数は具体的にどういう値かを計算機で決定することができないし、決定可能な分類として計算可能レベルを認めてもいいだろう。 ・・・計算可能でも事実上決定不可能ではあるが ほかには神託なくして計算不可能関数は定義できないとか