巨大数探索スレッド14
■ このスレッドは過去ログ倉庫に格納されています
>>737 現状でサスクワッチが(本質的に)最大だとしたら まあ普通に考えたら一番大きい巨大数を探すのがメインの目的になるわな じゃあ、順序数ごとにスレわけるか。 いくらなんでもものの考えかたが一律的すぎるし、>>406 のような背景を把握できてるのかよくわからないし、 別に計算可能巨大数を生み出すことも、その面白さやアイデアが活かされる可能性は普通に分かるが、 >>406 のような背景があってplatnist's universe否定主義者であっても、その主義の中では「戦え数」が一番大きいわけで、計算可能に立ち返る必要はないわけだからね >>746 話題を変えるようで申し訳ないけど、関数階層を作った。 Wikipediaのペンテーションを見て、計算したけど、あってる？ >>753 たとえばビジービーバー関数の値を自然な解釈で決定する理論は、簡単にいえば サスカッチは1階言語のplatonist universeですら済まなくなるような そもそも具体的な値、つまりアラビア数字の列での表現を求めるのは巨大数のメインの趣旨とは異なる 大学の巨大数サークルってあるんやな 2↑↑↑2=2^2= 2↑(2↑↑2)=4 【教育】文系の大学生でも数学を 経団連提言★４ https://asahi.5ch.net/test/read.cgi/newsplus/1543851226/638 グラハム数 MODULAR 3 = 1, 俺の勝ち！ グラハム数 x 0 = 0 0=1からグラハム数 MODULAR 3 > サスカッチ も グラハム数 x 0 > サスカッチ も導くことができる そこで_paraconsistent logic ですよ 3↑↑↑3 = 3↑↑(3↑↑3)= 3↑↑（3^3^3）= 3↑↑（3^27）= 3↑↑ 7625597484987 このシグマが分からないが、Σ(100) mod 3 = 1以上3以下じゃないの？ 求められるかって聞かれてるのに おれの予想は1だな ビーバーって、川にダムを作るげっ歯類の生き物でだと認識しているが、なんで忙しんだ？ Σ(100) mod 3 = 2だよ。 >>784 【速報】朝日新聞社を罵倒した『日本国紀』、よりにもよってその朝日から無断転載 https://rondan.net/6323 >>784 >>789 に書きもらしたことの追加 >>784 さんの身体（高々100 kgのオーダーでしょ）には素粒子（特にフェルミ粒子…これは仮想的な生成消滅を除けば個数を勘定できる粒子）は >>785 さんのレスのような>>784 への感想は私も共有してますよ） このスレも落ちたもんだな。。 純粋数学って、数学科の人しか理解できないじゃん。物理で使う応用数学だって 雑誌を読んでると偉い でもここ数学板だし、 巨大数に求められる知識って数学のなかでもけっこう異端な気がする 少しづつ理解するしかない気がする。 計算可能な関数ならプログラム書いて動かしてみるのが一番いいと思われる。 n=10^80 >>799 例え学部生に難しいレベルでも、1万時間やれば出来るはずだからな ' -- Over Graham's Number BASIC program -- >>804 とか言うけど、フランスでは燃料税16%ほどでも暴動が起きるレベル。 燃料税がグラハム数%からグラハム数+16%上がったところで暴動は起きないでしょ 一般的な庶民：「消費税を10パーセントにあげる自民、ふざけてるの？」 巨大数の逆数をとってみようか？ 値が１に近かろうが正確に表現するならたくさんの文字数が必要になる。 あははっ！ 「円周率を言ってみて！」って、誰かに言われたら、 すごいよ！ そもそもよく分かってないんだが、 集合論とかまでいいだしたら大学レベルでやるしかないと思う 大学の教科書とか いや、俺はキューネンの本とか読んでるし、チューリングマシンや形式言語も少しは勉強した 俺も理解しきってるとはとても言えないけど、質問があったら出来る限り答えるぞ ぶっちゃけ初心者はまず数学科2年レベルまでの数学をやった方がいいんじゃね 巨大数も好きだけど、いつか連続体仮説の独立性とか理解してみたい。 そういえばこの順序数の存在を仮定すれば連続体仮説が成り立つみたいな順序数はあるの？ https://logika.ff.cuni.cz/radek/papers/failureCHandLargecardinals.pdf >>822 チューリングマシンなしで計算可能でない関数どうやって定義すんのさ ある意味（ZFCなんかを基準とした）証明可能ベースかモデル依存ベースかの違いに過ぎなくて、 >>827 p進さんが英語版巨大数wikiにビッグフットとかのill-defined性についてブログ投稿してたね reasonableな公理系ってなんだよとかOrdのとり方とか。 ■ このスレッドは過去ログ倉庫に格納されています
