koteitan is a user on googoldon.net. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

すみません。サーバーが落ちていたようです。復旧しました

TREE数列の解説を日本語でしたのは初めての例ではないでしょうか。面白かったです。

koteitan boosted

ご存知の方もいるかもしれませんが、YouTubeに「巨大数チャンネル」というものを開設しました。少しずつ巨大数に関する動画を投稿していこうと思います。どうぞよろしくお願いいたします。
youtube.com/channel/UC64I-9s6b

$‪2^{2^{2+1}+2}+2^{2^{2+1}+1}+2^{2^{2+1}}+2^{2^2+2+1}+2^{2^2+2}+2^{2^2+1}+2+1=2019‬$

なるほど。集合論では \(\left< x,y\right> =\{x,\{x,y\}\}\) とかでしたっけ。

@KurohaKafka 「順序対を表現するのに掛け算を使う」そんな方法があるんですか。

$‪(0,0,0)(1,1,1)=‬1^1+1^{1+1^1}+1^{1+2^1}\\
(0,0,0)(1,1,1)(2,0,0)(1,1,1)=
1^1+1^{1+1^1}+1^{1+2^1}+2^2+1^3+1^{3+1^1}+1^{3+2^1}$

Pの定義 $j_0 := \min \{j \in \mathbb{N} \mid 0 < j \leq j_1 \wedge (0,j) \leq_M (0,j_1)\}$と置く[5]

$\bot \not\vdash \not\vDash$

鑑賞不可能数の $f(n)$
$f(n)=\frac{n^{n+2}-2n^{n+1}+n}{(n-1)^2}\\
=\frac{n^n(n^2-2n)+n}{(n-1)^2}\\
=\frac{n^n(n^2-2n+1)-n^n+n}{(n-1)^2}\\
=\frac{n^n(n-1)^2+(n-n^n)}{(n-1)^2}\\
=n^n+\frac{n-n^n}{(n-1)^2}\\
$

鑑賞不可能数の $f(n)$
$f(n)=\frac{n^{n+2}-2n^{n+1}+n}{(n-1)^2}\\
=\frac{n^n((n-1)^2+(n-1))}{(n-1)^2}\\
=n^n\left(1-\frac{1}{n-1}\right)\\
=n^n\left(\frac{n-1-1}{n-1}\right)\\
=n^n\left(\frac{n-2}{n-1}\right)\\
$

\begin{eqnarray}
B_0&=&(S_{r0},S_{r1})(S_{(r+1)0},S_{(r+1)1})\cdots (S_{(k-1)0},S_{(k-1)1})\\
B_k&=&(S_{r0}+k\Delta,S_{r1})(S_{(r+1)0}+k\Delta,S_{(r+1)1})\cdots (S_{(k-1)0}+k\Delta,S_{(k-1)1})\\
\Delta&=&S_{k0}-S_{(r+1)0}\\
r &=& P_0(k)~(\mathrm{if}~ S_{k1}=0)\\
r &=& P_1(k)~(\mathrm{otherwise})\\
P_0(k)&=&\max_{j}\{ S_{j0} \lt S_{k0} \land j\lt k\}\\
P_1(k)&=&\max_{j}\{ S_{j0} \lt S_{k0} \land j\lt k~\land \exists a( j=P_0^a(k))\}\\
\end{eqnarray}
上記 K を「幻想○ア数列数」と定義します。

\begin{eqnarray}
f_0(n)&=&n+1\\
f_{\alpha+1}(n)&=&f_{\alpha}^n(n)\\
K&=&f_{(0,0)(1,1)\cdots(10^{100},10^{100})[10^{100}~]}(10^{100})\\
S&=&(S_{00},S_{01})(S_{11},S_{11})\cdots (S_{k0},S_{k1})\\
S[n]&=&(S_{00},S_{01})(S_{11},S_{11})\cdots (S_{(k-1)0},S_{(k-1)1})[n+1]~(\mathrm{if}~ S_{k0}=0 \land S_{k1}=0)\\
S[n]&=&GB_0B_1B_2 \cdots B_n[n+1]~(\rm{otherwise})\\
G&=&(S_{00},S_{01})(S_{11},S_{11})\cdots (S_{(i-1)0},S_{(r-1)1})\\
\end{eqnarray}

燃料が来たので木曜日までは電源供給可能とのこと。

Googoldon は北海道にサーバーがあり、地震による停電の影響で、状況によっては月曜日以降にアクセスができなくなる可能性があります。