巨大数探索スレッド11.75at MATH巨大数探索スレッド11.75 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1017:１３２人目の素数さん 17/01/17 23:28:49.64 bBhLDo2n.net RCA_0 という理論体系を考えている以上は、証明を離れた定義を与えるのは無理 1018:１３２人目の素数さん 17/01/17 23:59:12.53 LlH1bWiB.net TaranovskyのCを超えたところから順序数による評価そのものに限界を感じ始める。 正確には評価というより評価の表現 1019:１３２人目の素数さん 17/01/18 23:06:04.75 AW3VJECs.net RCA_0やらは証明するための前提条件でなにかを定義するものではないのでは。 そして定義できることと記述できることと証明できることはそれぞれ別だろう。 1020:１３２人目の素数さん 17/01/19 02:38:26.58 V/9wQX49.net リトルビッゲドン分かる人解説お願い 1021:１３２人目の素数さん 17/01/19 03:28:03.75 V/9wQX49.net >>983 全域関数f(n)を定義するためには、f(n)がすべての自然数で定義されている必要がある。 でも、全域性が証明できないということは、定義されているかどうかわからないという ことだから、定義したことにはならない。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch