名もなき巨大数研究掲示板 644450

・こちらは、巨大数に関する情報を書き込んだり、自作巨大数を投稿したりできる掲示板です。
・sage機能は実装されてません。
・主なスレッドの一覧はこちら
・意見要望はこちらへ

行列システムの限界数の解析用スレッド

1：abata :
2021/09/19 (Sun) 00:03:21: p進大好きbotさんがツイッターから名もなき巨大数コンテストの

計算可能ハード部門用に投稿した行列システムの計算可能限界数
と
無制限部門に投稿した行列システムの計算不可能限界数

の解析用スレッドです。

↓エントリーツイート
https://twitter.com/non_archimedean/status/1439223172520239105
↓定義
https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E8%A1%8C%E5%88%97%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E9%99%90%E7%95%8C%E6%95%B0

名もなき巨大数コンテスト総合スレッド
https://googology.bbs.fc2.com/?act=reply&tid=11639234
2：p進大好きbot :
2021/09/19 (Sun) 08:31:38: 行列の和を定義するところで間違ってベクトルの和を定義してしまっていたので修正しました。
↓が差分ページです。

https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E8%A1%8C%E5%88%97%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E9%99%90%E7%95%8C%E6%95%B0?type=revision&diff=39880&oldid=39874
3：p進大好きbot :
2021/09/19 (Sun) 09:02:52: 自己解析を追加しました。

https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E8%A1%8C%E5%88%97%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E9%99%90%E7%95%8C%E6%95%B0#.E8.A7.A3.E6.9E.90
4：ブルームーン :
2021/11/07 (Sun) 00:28:42: 形式化のところに出てくる写像Ｅnumerateの出力がＭａｔＳｙｓの要素になってないように見えます。
それと計算可能巨大数と計算不可能巨大数のところにそれぞれ複数の間違いがあるように見えます。
　(例えば写像eの定義域はＭａｔとしていたのに自然数を代入していませんか？)
5：p進大好きbot :
2021/11/08 (Mon) 01:08:30: ありがとうございます。ご指摘の箇所を修正しました。他にも間違いがあれば教えていただけると幸いです。
https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E8%A1%8C%E5%88%97%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E9%99%90%E7%95%8C%E6%95%B0?type=revision&diff=40800&oldid=39882
6：ブルームーン :
2021/11/15 (Mon) 21:22:34: 写像ＥnumerateのところのＴＭ(b)◦eがＭａｔ→Ｍａｔではない気がします。
また計算可能巨大数のところのｘ_３や、計算不可能巨大数のところのＭＳもＭａｔＳｙｓの
要素になってない気がします。
7：p進大好きbot :
2021/11/16 (Tue) 10:48:01: ありがとうございます。e^{-1}の記法を導入することで無理やり解決しました。
https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E8%A1%8C%E5%88%97%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E9%99%90%E7%95%8C%E6%95%B0?type=revision&diff=40947&oldid=40827
8：ブルームーン :
2021/11/20 (Sat) 00:08:18: ＴＭ(a)◦eのほうはe^{-1}はいらない気がします。
9：p進大好きbot :
2021/11/21 (Sun) 15:27:38: たびたびすみません。e^{-1}消しました・・。差分はこちらです。

https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E8%A1%8C%E5%88%97%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E9%99%90%E7%95%8C%E6%95%B0?type=revision&diff=41038&oldid=40947