巨大数探索スレッド14
■ このスレッドは過去ログ倉庫に格納されています
>>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のとり方とか。 reasonableな公理系は無茶言ってるの何となく分かるが、 この指標で巨大数評価するはなしとかあるのかな 実際に複雑性を求めることが出来ないんだから役に立たないよ 初歩的だったらすまないが、 完全性定理により1階述語論理による公理系は無矛盾であればモデルが存在する。 なるほど コルモゴロフ複雑性と急増加関数の対応がわかったとしたらちょっと面白い 話を遮ってすまん 1行目の定義に従うと BB(n)は、ビジービーバー関数 1行目の定義に従うと じゃあ一気に定義しちゃいますか >>849 ／ ￣｀Y ￣ ヽ ここがAAやリーマン予想に洗脳され始めてると思うのは俺だけか? ここのスレにはもう何も望めない reasonableな公理系としてフォン・ノイマン宇宙を扱えるような2階の理論をもってくるとOrdの取り方 なるほど ちょっと言い方が悪かった 俺の実力が足らないから、まだまだ完全には理解できてないな…… そのVはどのZFCのモデルでどのZFCに棲んでいるの むしろZFCのモデルが何であっても存在しさえすればVは作れるので、Vを舞台に考えてるのだと思ってたけど Vは1階の言語で扱える対象の上限であって、なんらかの1階の理論でZFCのモデルの存在を つまり、ZFCのなかの一階述語論理で構成できるVαの上限Vでの真偽と、 この分野だと2階集合論としてどの公理系を使うことが多いですか? このスレはゴミ箱だ。 こういう世の中なんで、うまくいってる人でも 宮内庁警察本部で７２億なんですよ、何なんだろ、たかだか２２人の皇族を警備するために、年間７２億。 http://rosie.5ch.net/test/read.cgi/liveplus/1546485945/l50 >>871 「どういった公理系を選ぶか」もどういった公理系を選ぶかによる 👀 >>871 >>877 3↑↑↑↑3＝3↑↑3＝ 3↑↑7625597484987＝3↑↑3 ☆★☆【神よこの者たちはもはや人間ではない悪魔であるこのような悪魔どもを一匹残らず殺してくださいお願いします】★☆★ >>883 typoかもしらんが、 ■ このスレッドは過去ログ倉庫に格納されています
