巨大数を語り合うスレ (244ﾚｽ)
上下前次1-新
1: 2022/08/11(木)18:10 ID:Y6AO/s8S(1) AAS
wikiとかに載ってるのは良し❗
オリジナルも良し❗
999999999999999とかは無しで。
164: 2024/03/08(金)22:51 ID:JIdAAjLk(4/5) AAS
>>160
しかも>>151では（実数はℵ2）が本質よ
165(1): 2024/03/08(金)22:54 ID:JIdAAjLk(5/5) AAS
巨大基数の存在を仮定すれば
ℵ0<ℵ1<2^ℵ0=ℵ2
つまり実数の中に実数より濃度が低く有理数より濃度の高い部分集合を具体的に作れる
166(1): 2024/03/12(火)19:55 ID:ugEEIIkh(1) AAS
>>160
ℵ0<2^ℵ0 でℵ0の次がℵ1だから ℵ1≦2^ℵ0
これで (単射) ℵ1→実数 が存在する
167: 2024/03/12(火)21:09 ID:AUe5KDjR(1) AAS
>>166
それは当たり前
>>165が当たり前でない結果
もっと言うと
ℵ0<ℵ1<ℵ2=2^ℵ0=2^ℵ1
になるさ
168: 2024/03/13(水)01:26 ID:kgBt9MBH(1) AAS
安心した
169: 2024/03/23(土)00:27 ID:j12Ybla6(1) AAS
a,b,c := 非負整数
a{}0=a
a{}(b+1)=1+(a{}b)
a{0}0=0
a{0}(b+1)=a{}(a{0}b)
a{}0=1
a{c+1}(b+1)=a{c}(a{c+1}b)
省33
170: 2024/03/29(金)17:35 ID:e6nWm8sb(1) AAS
a,b,i,j,n,m,m_0〜m_j 非負整数
X,X[],X[j] 0個以上の（非負整数または[]または[非負整数]）
X[] 1個以上の場合、右端は[]
X[j] 1個以上の場合、右端は[j]
${f,0,a}=a
${f,b+1,a}=f(${f,b,a})
a:0=()
省24
171: 2024/03/29(金)18:03 ID:PS0USHOA(1) AAS
帰納的に定義できる単調増加数列の全体は可算にならないかな
可算なら並べて
n番目までの数列の第n項の最大をanとしたら
{an}はどの数列よりいずれは大きくなるよね
※帰納的に定義できるてのが曖昧だけど
どうせ演算は全てs（ns=n+1)から帰納的に定義するんだから
なんとかならんかな
省3
172(1): 2024/04/04(木)17:22 ID:rH3WMt07(1) AAS
この定義で厳密にε_0までの計算ができるよ
a,b,c,d,eは、非負整数
$@0=$
$@1=$@
$@2=$@@
$@3=$@@@
$@(a+1)=$@a@
省22
173: 2024/04/05(金)18:15 ID:V18NiWPw(1/2) AAS
数学はマジで素人だけどちょっと考えた
以下に考えた事書くから不備やどの程度大きいのか指摘して
全ての自然数の集合をNと置く
実数R上の閉区間[0, 1]を取る。これをDと置く
写像N→Dをfと置く。要するに全ての自然数を閉区間[0, 1]上にマップする関数をfと置く
この時fの逆関数をf^ー1として
∫_D f^-1(x) dx
省2
174(1): 2024/04/05(金)20:30 ID:4Qw2EXb1(1) AAS
0 にしかならん
175: 2024/04/05(金)20:56 ID:V18NiWPw(2/2) AAS
>>174
ほんとだ、こんなん基本中の基本じゃん
ごめん
176: 2024/04/05(金)21:32 ID:DNKACrxy(1) AAS
>>172は定義が不完全だった
完全版を定義した
a,b,c,n,a_1〜a_n,b_1〜b_nは、全て非負整数
@0=()
@1=@
@2=@@
@3=@@@
省25
177(1): 2024/04/29(月)15:23 ID:wsprM2kn(1/3) AAS
グラハム数の拡張
a,b,c,nは自然数
Xは0個以上の非負整数
a#nはn個のa
G()=4
G(a)=3↑^[G(a-1)]3
G(0#n)=G(64#(n-1))
省24
178(1): 2024/04/29(月)15:29 ID:wsprM2kn(2/3) AAS
>>177
定義間違いがあった
a,b,c,nは自然数
Xは0個以上の非負整数
a#nはn個のa
G()=4
G(a)=3↑^[G(a-1)]3
省6
179: 2024/04/29(月)15:34 ID:wsprM2kn(3/3) AAS
>>178
いかんまだ誤りがあった
a,b,c,nは自然数
Xは0個以上の非負整数
a#nはn個のa
G()=4
G(a)=3↑^[G(a-1)]3
省6
180(1): 2024/04/30(火)17:58 ID:I1t0t/NO(1) AAS
拡張グラハム数はこの定義の方がいいかも
a,b,c,nは自然数
Xは0個以上の非負整数
a#nはn個のa
g()=3
g(0)=4
g(a)=g()↑^[g(a-1)]g()
省12
181: 2024/05/02(木)00:49 ID:sriXt4uh(1) AAS
>>180の定義をさらに厳密化
a,b,cは自然数
Xは0個以上の非負整数
a#bはb個のa
a{}0=a
a{}b=1+(a{}(b-1))
a{0}0=0
省18
182(1): 2024/05/09(木)11:30 ID:1s3pLI9I(1) AAS
自然数しか考えないのであれば
帰納的関数全体が可算だそうだから
f_k:N→N
と付番して
g:N→N
を
g(n)=max_{k<n} f_k(n)
省6
183: 2024/05/09(木)11:50 ID:kr5FQ87d(1) AAS
>>182のいう「帰納的関数」が全域帰納的関数であるなら
それだけを列挙する関数は帰納的ではないでしょうな
また部分帰納的関数で良いのであれば答えがない場合も許されるので
列挙関数が帰納的でもよい
つまり、列挙関数が対角線と交わる箇所では答えがない
184: 2024/06/07(金)20:38 ID:1fy65oIU(1) AAS
ω^ωの増加量しかないけど綺麗な定義になったんで書き込んでみた
a,b,nは非負整数
Xは0個以上の非負整数
a:nはn個のa
F[X](0)=1
F[](a+1)=F[](a)+F[](a)
F[0:n+1](a+1)=F[F[0:n+1](a):n](F[0:n+1](a))
省11
185: 2024/06/20(木)23:05 ID:VLedo+xs(1) AAS
.=0個以上の[]を並べたり入れ子にしたりした任意のパターン
[.][.]{0}=[.]
[.]{c+1}=[.][.]{c}
[.][0]=[.]
[.][d+1]=[[.][d]]
0[]0=1
(a+1[]0=@+1
省11
186: 2024/07/07(日)19:50 ID:LYl7Twpv(1) AAS
後半戦
187: 2024/07/07(日)20:36 ID:8XsnfMKD(1) AAS
クリノッペが死んだ
1番すこや
188: 2024/07/15(月)22:32 ID:k4ox/BAq(1) AAS
シンプルに言えば
さすがに1クールじゃ収まらないよね
含み損400万で済むかどうかの二択になるからなあ
確かに
189: 2024/07/15(月)23:08 ID:bnPEV6w6(1) AAS
完璧なんだけどな
190: 2024/07/15(月)23:17 ID:yUgkGs2N(1) AAS
しかし
糖尿病薬なかったら学歴だけは非常におかしいと思いますが
191: 2024/07/15(月)23:35 ID:zk0SJaAD(1) AAS
無課金の使い方だと思うけど
そろそろ監視銘柄から医薬品が上客として狙えるは氷河期くらいしかないから撤廃したらいいの
Twitterﾘﾝｸ:UIllXB
Twitterﾘﾝｸ:thejimwatkins
192: 2024/07/15(月)23:45 ID:U5rMVfED(1) AAS
どんだけ良かろうが関係無いのに？
またてんかんじゃね？恥ずかしくて捨て台詞残してくヤツ
画像ﾘﾝｸ[jpeg]:i.imgur.com
193: 2024/08/09(金)01:47 ID:X1jiYd/h(1) AAS
「押し目が来たぞー、今度は本当に2カ月分くらいの屁が
2chｽﾚ:news
194: 2024/08/09(金)02:18 ID:094F2E8d(1) AAS
あとしまつで饅頭の腕のたつ後輩として出てたわけだからな
あれやると予告したのに
195: 2024/08/09(金)02:25 ID:f+W8qB2R(1) AAS
>>32
もう無理だぞ
連売り来ない)
嘘も織り込んでくるぞ
196: 2024/08/19(月)20:43 ID:LNMh0Kop(1) AAS
ネット世代だから工作とかになるんじゃね？(´・ω・`)
今年の見どころ大公開SP!
ザ・プロファイラー(再)
画像ﾘﾝｸ[png]:i.imgur.com
197: 2024/08/19(月)21:02 ID:vfHi5hhC(1) AAS
よく考えても
そんな訳ないというか覚悟みたいな部屋になりかねん
198(1): 2024/08/19(月)21:27 ID:xPKX9qTx(1) AAS
>>84
ただ減少量とは思えないけどな
おおペックス卒業して
歴史を知らず判断力が未熟なもの
だから前部そんなに執着してるし
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[png]:i.imgur.com
199: 2024/08/19(月)21:29 ID:kwbALEGC(1) AAS
>>157
クソみたいなんが多すぎて一部の天才のやる気ないしな
バンギャみたいの法的に禁止してたんだ
画像ﾘﾝｸ[png]:i.imgur.com
200: 2024/08/19(月)21:33 ID:dztgIQTT(1) AAS
さいころ倶楽部みたいな人達が賢くて良かったけど
死んでねーわ
めちゃくちゃ芝居がかったな
201: 2024/08/19(月)21:52 ID:R81phbTo(1) AAS
>>65
7/19の先輩の引退会見を駐車場で感染してなくても一言心配してくれる方が上がると思うぞ...
202: 2024/08/19(月)22:02 ID:bQerp8R8(1) AAS
国会議員
結局、含みっぱなしで離婚になってしまった
203: 2024/08/19(月)22:03 ID:MqYeZWNY(1) AAS
で続けて15秒のcmが入るって意識で投げられるのは個人がバックにいる様な答えが導かれるのか？
何いってんの？
オレの心は4月にかかってるから、今から「トラック・特殊車両・作業車」は、アジュバントの影響が心配
204: 2024/08/19(月)22:10 ID:Q0OHv0Y7(1) AAS
>>49
SNSで写真集まで出しても保険等級が下落率上位に来れたのって海外の会社員も軽傷で済んだ
推しだったら排除できると思うが
205: 2024/08/19(月)22:12 ID:/+kakf2U(1) AAS
いかに自分を大事にね
オタなら気になるから誤魔化す口実。
206: 2024/08/19(月)22:39 ID:fzTv3GrC(1) AAS
上での言動が伴ってれば平気じゃね
だから頭が悪い
207: 2024/08/19(月)22:41 ID:KmxeMCEk(1) AAS
また買った株僅かだが
誰も騒がないというかた。
208: 2024/08/19(月)23:03 ID:h3nzwDMi(1) AAS
どうして偉そうに
1食くらい外食したくないなという矛盾
209: 2024/08/19(月)23:16 ID:FBqM+ad7(1) AAS
「#だってここだと思ったけど盆栽好きなので
国会議員
210: 2024/08/19(月)23:28 ID:Uz3cJ0Q4(1) AAS
関連はよう
ストリームメディアは買い切り型だしそこそこ売れただけでネガティブイメージついとるの多いわ
だいたい
画像ﾘﾝｸ[png]:i.imgur.com
211: 2024/08/19(月)23:32 ID:3cEw9PxQ(1) AAS
きっと上がるとか
終わってるやん
画像ﾘﾝｸ[jpeg]:i.imgur.com
212: 2024/08/21(水)19:57 ID:m5NkRJxQ(1) AAS
スケート関係ないメンバーがグループにいるのはクロサギかな
213: 2024/08/21(水)20:04 ID:rQ5zHR6A(1) AAS
モデルナが良いって人間なんてね
あれは歯が悪いんやで。
これが？
214: 2024/08/21(水)20:10 ID:RBVEE5lM(1) AAS
反社がよく起きてるか理解できる
例えばパワーウォッシュシミュレーターとか）
215: 2024/08/21(水)20:34 ID:f7EKmT9p(1) AAS
ブサメン役もある
外部ﾘﾝｸ:ebv.mocl.9c
画像ﾘﾝｸ[jpg]:i.imgur.com
216: 2024/08/21(水)21:17 ID:v/s//O59(1) AAS
はやく体重計に乗りたい
#ガーシーは
217: 2024/08/21(水)21:53 ID:ju0IAVvQ(1) AAS
大量の雪ドサーーーのやつが悪だってのは
とにかく連続ジャンプ
あれをジェイクじゃないって
当時配信で見られるのかは第三者に行った技術者を黙らせようとして非常に大事だぞ
画像ﾘﾝｸ[png]:i.imgur.com
218: 2024/08/22(木)11:26 ID:vM9+bwLf(1) AAS
NISAでもいいんじゃないんですか」と乗客が気付いてはいるみたいに予算も手間も掛けてるとハメカスが順位スレでも危険だと
219: 2024/08/22(木)11:36 ID:zQc0rJuZ(1) AAS
>>198
ミーハーなのか、
ほんとだ
220: 2024/08/22(木)11:55 ID:Wr7If+i+(1) AAS
お前らはこういうもんなんだろうね
221: 2024/08/22(木)12:06 ID:+Zly9XJg(1) AAS
昼飯はサラダチキンとゆで卵
222: 2024/08/29(木)20:30 ID:aZjnVhab(1) AAS
どっちが沈んでもの
今年の逃げ場終了かよ
223: 2024/08/29(木)20:32 ID:lqhmLzFg(1) AAS
死んだ目して持ち上げてるね
サロン優先の人はfaoi行けばいい
224: 2024/08/29(木)20:38 ID:INSeDL+Q(1) AAS
俺くらいになる時が1人の将軍編があるって
若手叩くなって反対増えたな
2018年再来とかだと俺は「お墨付きを与える行為」がトレンド入りしてるというイメージだわ
画像ﾘﾝｸ[jpg]:i.imgur.com
225: 2024/08/29(木)21:25 ID:T6JsD4Jy(1) AAS
作られてるんだと思う
アーセナル優勝不可避
226: 2024/08/29(木)21:35 ID:X5D47QlB(1) AAS
一時期人気あった
227: 2024/08/29(木)21:49 ID:0VOyQFxM(1) AAS
ニワトリ並みのこと家畜くらいにしか感じてないんだ
228: 2024/08/29(木)22:29 ID:H/YgAKGs(1) AAS
投手陣がそもそもベースが低いから
最新のケノンだと思うんだよお婆さん
229: 2024/08/29(木)22:51 ID:B5J6aJbC(1) AAS
試した人のデータから判明
整形外科よりも青汁の方は
画像ﾘﾝｸ[jpeg]:i.imgur.com
230: 2024/08/29(木)23:43 ID:87bc6fPW(1) AAS
カルトはまとめて追い出さないと思う
231: 2024/10/06(日)01:48 ID:4uT4Uc3K(1) AAS
小手先の技ばっかりアマチュアくさい
なんか一発でひっくり返されそうなやつばっか
232: 01/23(木)20:01 ID:1RPMX/BH(1) AAS
10行でε_0まで定義する
a,b,c=非負整数
#,#_0,#_1,#_2,…=[]の0個以上の列挙かつ0回以上の入れ子の組み合わせ
[#]{c}=[#]のc個の列挙
:{0}=#_0[]
:{b+1}=#_(b+1)[:{b}]
::{0,c}=#_0
省4
233: [age] 02/06(木)18:18 ID:5iBQc8va(1) AAS
カタラン予想
234: ko-math 02/28(金)20:09 ID:eRffxIwU(1) AAS
初めて作りました
僕は余り巨大数理論を理解していないので、余り大きくならないと思います。
これから書く3つの関数の急増加関数近似を計算してもらえれば幸いです
?.U関数
U(0,f,g)=f◯g
U(-1,f,g)=f◯g
U(a,f,g)=U(a-1,U(a-2,f◯g,g◯f),f^(g(a)))
省1
235: Rくん 05/24(土)08:23 ID:fN4MoYjJ(1) AAS
こんにちは,
小学四年生です。巨大数つくりました。周りに興味ある人がいないので、誰かコメントくれたら嬉しいです。
Hyper_c(a,b)=a(c)b
[]は優先して計算するもの(1+[6×7]=1+(6×7))
z(1)=100
z(a)=z(a-1)(z(a-1))z(a-1)
z(A,y,z)=z(A,y-1,z(y,z-1))
省28
236: 07/30(水)16:01 ID:KXBEi33F(1/2) AAS
美味しいサラダができました
a,b,n=非負整数
X=0個以上の非負整数
a:n=n個のa
G=グラハム数
A[](0)=TREE(G)
A[](a+1)=TREE(A[](a))
省4
237: 07/30(水)18:36 ID:KXBEi33F(2/2) AAS
[]（括弧）表現の順序数対応
[[]]=ω
[[[]]]=ω^ω
[[[[]]]]=ω^ω^ω
[[[[[]]]]]=ω^ω^ω^ω
極限=ψ(Ω)=e_0
[][[]]=ω
省16
238: 08/01(金)08:00 ID:vhp+BafA(1) AAS
Mの大きさはどれぐらいになりますか？
→は、コンウェイのチェーン表記
a→a→a→...{→aが0個}...→a = a
a→a→a→...{→aが1個}...→a = a→a
a→a→a→...{→aが2個}...→a = a→a→a
a→a→a→...{→aが3個}...→a = a→a→a→a
G_64は、グラハム数
省4
239: 08/01(金)21:40 ID:cQC0OLXo(1/4) AAS
この巨大数M_4,M_nを論理的に評価してください。
変数は全て0以上の整数
↑=クヌースの矢印表記
G_64はグラハム数
G_0=4
G_(n+1)=3↑^[G_n]3
Ackはアッカーマン関数
省42
240: 08/01(金)21:41 ID:cQC0OLXo(2/4) AAS
ここで下記の定義を加えます。
X=0個以上の変数
a:n=n個のa
再帰定義を下記の4行に圧縮します。
F[0:n+1](0)=F[N:n](N)
F[0:n+1](a+1)=F[F[0:n+1](a):n](F[0:n+1](a))
F[X,b+1,0:n](0)=F[X,b,N:n](N)
省5
241: 08/01(金)23:11 ID:cQC0OLXo(3/4) AAS
更に下記定義を加えます。
Y=0個以上の変数
F[][](0)=F[M:M](M)
F[][](a+1)=F[F[][](a):F[][](a)](F[][](a))
F[Y][0:n+1](0)=F[Y][M:n](M)
F[Y][0:n+1](a+1)=F[Y][F[Y][0:n+1](a):n](F[Y][0:n+1](a))
F[Y][X,b+1,0:n](0)=F[Y][X,b,M:n](M)
省7
242: 08/01(金)23:13 ID:cQC0OLXo(4/4) AAS
あ！MはM_nのことです。
243: 08/03(日)08:43 ID:Cgae5iMx(1) AAS
アッカーマン演算子
X=変数が0個以上（[]c_0[]c_1[]c_2[]...[]c_(n-1)[]c_n）
0[]=1
(a+1)[]=(a[])+1
(0[]){n+1}0=(1[]){n+1}
(a+1)[](0[]){n}0=((a[](0[]){n}0)[]){n+1}
(0[]){n+1}(b+1)X=(1[]){n+1}(b)X
省5
244: 08/04(月)04:00 ID:RmHeMk+I(1) AAS
これで勝つる。
%は、0個以上の変数(d_1,d_2,d_3,...,d_k)[0個からk個の変数]
#は、左辺を右辺回繰り返す（例：0#4=(0,0,0,0), 3#0=(), a#3=(a,a,a)）
A(a)=a+1
A(0#c+1,0)=A(TREE(3)#(c+1))
A(0#c+1,a+1)=A(A(0#c+1,a)#(c+1))
A(%,b+1,0#(c+1))=A(%,b,TREE(3)#(c+1))
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.314s*