18/12/22 13:43:18.60 m+Gy3ZBn.net
>>822
計算可能な関数を学んでも計算可能でない関数の創造には役に立たない
865:１３２人目の素数さん
18/12/22 14:02:03.58 95NMZe90.net
間を取って半計算可能からはじめよう
866:１３２人目の素数さん
18/12/22 14:03:55.32 gTpS7ul7.net
チューリングマシンなしで計算可能でない関数どうやって定義すんのさ
867:１３２人目の素数さん
18/12/22 14:34:08.57 XXbRSl5U.net
ある意味（ZFCなんかを基準とした）証明可能ベースかモデル依存ベースかの違いに過ぎなくて、
計算可能か不可能かはどちらでもいいっちゃどちらでもいい。
BIG FOOTのZFC上の証明論的類似がZFC+マーロ基数の存在になるんだろうか
868:１３２人目の素数さん
18/12/22 17:17:03.88 OwKan1q5.net
>>827
BSPFA+可測基数の存在から実数の濃度がアレフ2になることが導かれるというゲーデルが喜びそうな結果ならある
869:１３２人目の素数さん
18/12/22 19:29:13.48 ZobxK5YQ.net
p進さんが英語版巨大数wikiにビッグフットとかのill-defined性についてブログ投稿してたね
結局何がill-definedなのか全く分かってないけど
870:１３２人目の素数さん
18/12/22 20:01:26.51 XXbRSl5U.net
reasonableな公理系ってなんだよとかOrdのとり方とか。
871:１３２人目の素数さん
18/12/23 10:29:32.00 ARatInII.net
reasonableな公理系は無茶言ってるの何となく分かるが、
Ordって「順序数である」という式の省略形以外にあるんか
872:１３２人目の素数さん
18/12/24 09:00:16.97 AHRj0df+.net
この指標で巨大数評価するはなしとかあるのかな
＞コルモゴロフ複雑性（コルモゴロフふくざつせい、英語: Kolmogorov complexity）とは、
＞計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。
873:１３２人目の素数さん
18/12/24 11:08:49.76 L+FvpzGo.net
実際に複雑性を求めることが出来ないんだから役に立たない
874:よ
875:１３２人目の素数さん
18/12/24 11:10:35.81 L+FvpzGo.net
それの逆関数みたいなのがビジービーバー関数
876:１３２人目の素数さん
18/12/24 12:14:46.22 GawZznGH.net
初歩的だったらすまないが、
ZFCの中で「ZFCの全てのモデル」って扱えないの？
877:１３２人目の素数さん
18/12/25 02:24:50.16 YnmL+DdG.net
もう少し正確なstatementが無いと何とも
878:１３２人目の素数さん
18/12/25 09:39:08.98 vWZxEE5A.net
完全性定理により1階述語論理による公理系は無矛盾であればモデルが存在する。
不完全性定理により数論を含む理論は自身の無矛盾性を証明できない。
ZFCはZFCの無矛盾性を証明できない。
ZFCでZFCのモデルの存在は保証されない。
879:１３２人目の素数さん
18/12/25 10:39:31.82 QgbVWN8J.net
なるほど
だからplatnist universeとやらが問題視されるのか
ZFCの外からZFCの全てのモデルを考えてるから
880:１３２人目の素数さん
18/12/25 21:57:35.50 ovz3Lz6V.net
コルモゴロフ複雑性と急増加関数の対応がわかったとしたらちょっと面白い
881:majimanji
18/12/26 13:09:25.55 O5mjTwrO.net
話を遮ってすまん
誰か↓の巨大数を評価してくれないか?
[n]m,f(k)=[n-1]f^m(m),f^m(m)
[1]m,f(k)=f^m(m)
{n}m,f(k)=[[・・・n回・・・[[n]m,f(k)]m,f(k)]]・・・n回・・・]]m,f(k)
{10}10,10^kをTrES-2数とする
882:１３２人目の素数さん
18/12/26 15:01:17.70 eLAYsxb+.net
1行目の定義に従うと
[2]10,10^k=[1]f^10(10),f^10(10)
(ただしf(k)=10^k)
と計算されるが、
[1]自然数,自然数
の時のルールがないのでわからん
883:１３２人目の素数さん
18/12/26 17:32:27.95 Ym8cT8a6.net
BB(n)は、ビジービーバー関数
A(1,n)=BB(n)
A(m+1,n)=BB(A(m,n))
C(n)=A(BB(n),n)
C(n) の強さは、F_[ω_1^CK×2](n) ぐらい？
884:majimanji
18/12/26 19:23:45.32 O5mjTwrO.net
[1]自然数a、自然数b=a*b
885:１３２人目の素数さん
18/12/26 21:21:36.27 rsJa4tPg.net
1行目の定義に従うと
[3]10,10^k=[2]f^10(10),f^10(10)
(ただしf(k)=10^k)
と計算されるが、
[2]自然数,自然数
の時のルールがないのでわからん
886:majimanji
18/12/27 06:37:29.72 pqWAsW5V.net
じゃあ一気に定義しちゃいますか
[a]b,c=b↑^[a]c
887:１３２人目の素数さん
18/12/27 07:53:30.82 oGZKrTb0.net
>>849
F_[ω_1^CK +1](n) ぐらい
888:１３２人目の素数さん
18/12/27 12:58:20.49 WO+ycPob.net
>>852
適当かよw
889:majimanji
18/12/27 13:33:30.10 pqWAsW5V.net
>>854
まあ定義できただけいいだろ
890:１３２人目の素数さん
18/12/27 15:23:29.28 BMr6GCfo.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ .⌒ ⌒ | |
（Ｓ|| | （●） （●） |
| || | .ﾉ ）| （ "''''''':::::.
| || |ヽ､＿ ▽ _／|ﾉ--'''''"""" ヽ ゛゛:ヽ.
|::::::::"""" . ＼::. 丿
|::::: ..........::::::::::::彡''ﾍ::::....ノ
/ ::::::::::;;;;;,,---"""￣ ＾｀｀
／ ￣￣ ＼
/:::::::: : ヽ
|::::: :: |
( ( ヽ:::::: :::.. ﾉ ) )
＼::::::: ／＼:::;;;;;;__ ノ
891:majimanji
18/12/27 16:23:53.99 pqWAsW5V.net
ここがAAやリーマン予想に洗脳され始めてると思うのは俺だけか?
892:１３２人目の素数さん
18/12/27 17:20:23.69 WO+ycPob.net
ここのスレにはもう何も望めない
Twitterかdiscordの界隈で研究した方が君のためだよ
893:１３２人目の素数さん
18/12/27 18:19:19.81 37hLnwuO.net
reasonableな公理系としてフォン・ノイマン宇宙を扱えるような2階の理論をもってくるとOrdの取り方
というかα_0の取り方の時点で矛盾してしまう。
FOSTによる任意の閉論理式の判定がVと一致するようなoodle（集合と呼んでいいと思うけど）
としてのモデルを作る、という趣旨だとは思うし公理系の取り方によっては矛盾しないだろう。
ただ計算不可能レベルである以上その公理系が実際に構成不可能であることが求められるため、
ちとわかりづらい
894:１３２人目の素数さん
18/12/27 21:03:26.21 QDYnvpNl.net
なるほど
そんなこと巨大数wikiのどこに書いてあるのやら
895:１３２人目の素数さん
18/12/27 22:42:00.50 37hLnwuO.net
ちょっと言い方が悪かった
構成不可能であることが求められるため
→構成不可能であるほど強力であることが求められるため
896:１３２人目の素数さん
18/12/28 12:52:22.05 8b5AHwJz.net
俺の実力が足らないから、まだまだ完全には理解できてないな……
そもそもZFCではZFCのモデルの存在が証明できないが、断片ではないfullZFCのモデルVは認めるルールなのだろうか？
そのVと、ZFCの中で一階ウードル論理を作りそのモデルであるウードルバースとの閉論理式の真偽を比較することはZFCあるいはメタ理論で可能なのだろうか？
897:１３２人目の素数さん
18/12/28 13:18:57.09 gWux6RmG.net
そのVはどのZFCのモデルでどのZFCに棲んでいるの
898:１３２人目の素数さん
18/12/28 13:30:46.96 8b5AHwJz.net
むしろZFCのモデルが何であっても存在しさえすればVは作れるので、Vを舞台に考えてるのだと思ってたけど
元のモデルが何であるかまでは仮定として強いんじゃないんか？
899:１３２人目の素数さん
18/12/31 12:35:27.06 MU4KaQpA.net
Vは1階の言語で扱える対象の上限であって、なんらかの1階の理論でZFCのモデルの存在を
保証できるからといってVまで扱えるわけではない
2階の理論としてのZFCならわからんでもない
900:１３２人目の素数さん
18/12/31 13:12:42.82 5vcVYDjH.net
つまり、ZFCのなかの一階述語論理で構成できるVαの上限Vでの真偽と、
oodleのモデルでの真偽は、
ZFCの中の一階述語論理では扱えないので、ZFCの中でreasonableな公理系を持つVを扱えるような二階の理論を導入する必要があるが、それだと構成不可能なほど強力であることが求められてしまう
ということだろうか
こういうのって何の分野の本を読めば勉強できるんだ
モデル理論？
901:１３２人目の素数さん
18/12/31 13:41:44.74 9U+imPi1.net
この分野だと2階集合論としてどの公理系を使うことが多いですか?
902:majimanji
19/01/03 12:00:40.61 gvMX8JKe.net
このスレはゴミ箱だ。
嫌な広告、AA、リーマンの3つが、このスレをゴミ箱にしている。
Twitterやdiscordで研究した方がまだましだ。
903:１３２人目の素数さん
19/01/03 12:44:52.14 iPdLg+cc.net
どのへんがリーマンなんだ?
904:１３２人目の素数さん
19/01/03 12:53:33.63 +sMFo9DY.net
こういう世の中なんで、うまくいってる人でも
不満の当たり所探してるってのはあるような気も・・
内実どんな職種でも楽観してないです
905:１３２人目の素数さん
19/01/03 12:55:58.32 +zlr8mZX.net
宮内庁警察本部で７２億なんですよ、何なんだろ、たかだか２２人の皇族を警備するために、年間７２億。
ｽﾚﾘﾝｸ(liveplus板)
国 民 を 思 い や る 天 皇 は 演 出 で す よ
906:１３２人目の素数さん
19/01/03 17:48:23.95 UQOzr4bt.net
>>871
お前と違って守られるべき存在だからだよ
907:１３２人目の素数さん
19/01/03 18:11:54.96 nto4aFUD.net
まあどういった公理系を選ぶかによる話だな
908:１３２人目の素数さん
19/01/03 23:37:30.45 iPdLg+cc.net
「どういった公理系を選ぶか」もどういった公理系を選ぶかによる
「「どういった公理系を選ぶか」もどういった公理系を選ぶかによる」もどういった公理系を選ぶかによる
・・・ 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
909:１３２人目の素数さん
19/01/04 07:56:57.92 MI5EF/Qj.net
まだこのスレあったのか
910:１３２人目の素数さん
19/01/04 09:18:18.41 /gUAFkPO.net
>>871
72億円を日本の労働人口6700万人で割ったら
911:、一人当たり110円以下。 110円も払えないなんてどこの無職だよ。
912:majimanji
19/01/04 15:04:05.71 QAoKBxLf.net
>>871 スレチ
913:１３２人目の素数さん
19/01/04 16:10:55.84 RIHCHDep.net
>>877
ところでリーマン予想要素はどこのこと言ってるんだ?
914:majimanji
19/01/04 17:28:45.10 QAoKBxLf.net
>>878
ログを遡ってたらそれっぽいのがあるよ
915:１３２人目の素数さん
19/01/04 17:33:55.61 RIHCHDep.net
>>879
ないけど……
916:１３２人目の素数さん
19/01/04 17:37:41.88 uEWV9QNl.net
あるだろ
917:majimanji
19/01/04 17:42:07.38 QAoKBxLf.net
>>880
>>600らへんにある
918:１３２人目の素数さん
19/01/05 10:38:40.05 fkz09qru.net
3↑↑↑↑3＝3↑↑3＝ 3↑↑7625597484987＝3↑↑3
を3↑↑7625597484987回繰り返すことであっている？
そしてグラハム数はそれを64回繰り返すことであっている？
919:１３２人目の素数さん
19/01/05 11:09:27.37 fkz09qru.net
URLﾘﾝｸ(livedoor.blogimg.jp)
グラハム数のイメージ画像。3ペンテーション3のタワー表記が横にも
伸びて言っているイメージ。
920:１３２人目の素数さん
19/01/05 19:12:47.06 jzBSPooA.net
TREE関数はリーマン予想関係ないがな
921:１３２人目の素数さん
19/01/05 19:21:10.36 As5C8/sn.net
それな
922:majimanji
19/01/06 08:12:14.70 drDNELBn.net
>>885
周辺を見ろ
>>616とか
923:低学歴超変態食糞愛好家井口千明の連絡先：葛飾区青戸６－２３－１６
19/01/06 11:41:10.77 HlqGsCVU.net
☆★☆【神よこの者たちはもはや人間ではない悪魔であるこのような悪魔どもを一匹残らず殺してくださいお願いします】★☆★
《超悪質！盗聴盗撮・つきまとい嫌がらせ犯罪首謀者の実名と住所／死ねっ!! 悪魔井口・千明っ!!》
【要注意!! 盗聴盗撮・つきまとい嫌がらせ犯罪工作員】
◎井口・千明（東京都葛飾区青戸６－２３－１６）
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在／犯罪組織の一員で様々な犯罪行為に手を染めている
低学歴で醜いほどの学歴コンプレックスの塊／超変態で食糞愛好家である／醜悪で不気味な顔つきが特徴的である
【超悪質！盗聴盗撮・嫌がらせつきまとい犯罪者の実名と住所／井口・千明の子分たち】
①宇野壽倫（東京都葛飾区青戸６－２３－２１ハイツニュー青戸２０２）
※宇野壽倫は過去に生活保護を不正に受給していた犯罪者です／どんどん警察や役所に通報・密告してやってください
②色川高志（東京都葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
※色川高志は現在まさに、生活保護を不正に受給している犯罪者です／どんどん警察や役所に通報・密告してやってください
【通報先】
◎葛飾区福祉事務所（西生活課）
〒１２４－８５５５
東京都葛飾区立石５－１３－１
℡０３－３６９５－１１１１
③清水（東京都葛飾区青戸６－２３－１９）
※低学歴脱糞老女：清水婆婆 ☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
清水婆婆はコンプレックスの塊でとにかく底意地が悪い／醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
④高添・沼田（東京都葛飾区青戸６－２６－６）
※犯罪首謀者井口・千明の子分／いつも逆らえずに言いなりになっている金魚のフン／親子孫一族そろって低能
⑤高橋（東京都葛飾区青戸６－２３－２３）
⑥長木義明（東京都葛飾区青戸６－２３－２０）
⑦若林豆腐店店主（東京都葛飾区青戸２－９－１４）
⑧肉の津南青戸店店主（東京都葛飾区青戸６－３５ー２
924:majimanji
19/01/06 13:50:56.49 drDNELBn.net
このスレ情報保管庫化しやがった()
925:１３２人目の素数さん
19/01/06 15:12:09.78 cNGAwYZv.net
>>883 typoかもしらんが、
3↑↑↑3=3↑↑3↑↑3=3↑↑(3↑3↑3)
=3↑↑(3↑27)
926:１３２人目の素数さん
19/01/06 15:22:03.87 OsNW8xBs.net
キューネン数学基礎論講義って巨大数の理解に繋がる？
927:１３２人目の素数さん
19/01/07 22:15:09.91 Ebvlnvq3.net
Twitterで「巨大数で計算可能関数を絶対認めない人は何故Twitterに来ないのか」という意見があったが、
Twitterで名前を出してイベントを開く人物が「俺は計算不可能関数を巨大数として認めてない」という個人的な主張を展開することの方が問題視されるべきだろう
チューリングマシンで出力できないから巨大数ではないというのはまるで理解不能だ
928:１３２人目の素数さん
19/01/07 22:31:12.72 VjwjMI7O.net
計算可能と計算不能じゃクラスが違うってだけの話。
どちらも巨大関数だよ。
929:１３２人目の素数さん
19/01/07 22:37:12.86 Ebvlnvq3.net
私もそう思うが、
どちらか一方を認めないという主張を2ちゃんねるで匿名でやるのとイベント主催者がTwitterでするのでは、後者の方が問題だと考える
930:１３２人目の素数さん
19/01/07 23:04:53.29 sZAcHkkS.net
計算不可能レベルにおける言語の拡張を特定の理論を基準として計算可能レベルに実装する、
というのはある意味巨大基数公理や順序数崩壊関数の研究となる
931:１３２人目の素数さん
19/01/08 23:48:04.48 KIHDjQ3/.net
2章までは役に立つ
3章以降は読んでないから分からん
932:１３２人目の素数さん
19/01/09 08:37:51.44 qKVL35Ds.net
いいじゃんどっちでも
933:１３２人目の素数さん
19/01/10 21:32:48.26 24r+hKp+.net
／￣`Y ￣ヽ､
/ / / / l | | lヽヽ
/ / // ノ ヽ､ヽ
| | |/oﾟ（●） （●）ﾟo ウンコうめえおｗｗｗｗｗｗｗｗ
（Ｓ|| | ⌒ ･ｨ ヽ
| || | ミ;;'';;;､;:..,.,,, ﾝｸﾞ ﾝｸﾞ
| || | i;i;i; '',',;^′ヽ
| || | ＼_ﾞゞy､､;:..､） ｝
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
934:１３２人目の素数さん
19/01/10 21:51:56.48 nwVddK4B.net
ウルフラムの2状態3記号チューリングマシンはチューリング完全、すなわちω＾CK_1の表現力
では2状態2記号チューリングマシンの表現力でどこまでいける？
935:majimanji
19/01/11 15:34:44.28 yW+yfkzg.net
このスレも遂に900か
936:１３２人目の素数さん
19/01/13 13:24:16.97 pKNorktt.net
巨大数研究wikiの「巨大数コンテストのレギュレーション一覧」というユーザーブログが面白い
レギュレーション分けを通して今の巨大数たちの分類も見えてくる
937:１３２人目の素数さん
19/01/16 09:11:22.37 2ToEjNSD.net
ゴミスレッドやな。。
938:１３２人目の素数さん
19/01/17 10:46:09.61 /gJRet7+.net
無量大数 ↑ 無量大数＝ 10 ↑ 68 ↑（10↑68）
＝ 10 ↑ 10 ↑ 10 ↑ 68. 2630460955 8040934916 532254411477782071991438968011
間違いだった！？
10^68^10^0=1の後に0が68個 =68*10^0個
10^68^10^1=1の後に0が680個 =68*10^1個
10^68^10^2=1の後に0が6,800個 =68*10^2個
10^68^10^3=1の後に0が68,000個 =68*10^3個
10^68^10^4=1の後に0が680,000個 =68*10^4個
10^68^10^5=1の後に0が6,800,000個 =68*10^5個
・・・・・・
10^68＾10^68=1の後に0が68*10^68(無量大数)個並ぶ。すなわち、
10^10^｛68*（100,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000)}
＝10^10^（68*10^68） ・・・・・・ これであってる？
939:１３２人目の素数さん
19/01/17 13:55:46.13 FaRGClBj.net
意味が変わるからカッ�
940:Rを省略しないで
941:１３２人目の素数さん
19/01/19 08:18:24.04 y33SOovl.net
もしもセンター試験に巨大数が出たら
942:１３２人目の素数さん
19/01/19 10:52:35.35 jRde8QDH.net
センター数学
問１ 巨大数を作りなさい。あなたの作った巨大数をそのまま点数とします。
943:１３２人目の素数さん
19/01/19 10:55:59.87 jRde8QDH.net
つかセンターってマーク式だっけW
忘れてた。
944:１３２人目の素数さん
19/01/20 22:08:28.13 Vn0GCtSE.net
東方巨大数3の仮ルールが発表されたけど、
「計算可能関数と計算不可能関数には絶対的な違いがあり、比べることに意味はない」とあるが、
計算不可能である最小の証明を書けなくても戦え数は計算可能であるグラハム数より大きいのではないのか？
計算可能かどうかが絶対的な違いというのがよく分からんのだが
945:>>904
19/01/21 11:05:25.33 XHU6+fDk.net
無量大数 ↑ 無量大数を計算する！！
（10^68）^10^0=1の後に0が68個 ・・・無量大数の一乗で無量大数のまま。
（10^68）^10^1=1の後に0が680個 : (10^68）^10^2=1の後に0が6,800個
（10^68）^10^3=1の後に0が68,000個 : （10^68）^10^4=1の後に0が680,000個
（10^68）^10^5=1の後に0が6,800,000個 ・・・・・・
（10^68）＾10^68=1の後に0が68*10^68(無量大数)個並ぶ。すなわち、
10^10^｛68*（100,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000)}
＝10^10^（68 * 10^68）
べき乗は右から計算する。――無量大数の無量大数乗でも感じで表せる最大の数字、「不可説不可説転」
を超えてはいるが、グーゴル・プレックスには程遠かった。
946:１３２人目の素数さん
19/01/21 13:43:09.40 bZLMBWf5.net
a,n,m := 0以上の整数
X := 0個以上の0以上の整数
b#a := a個のb
b#a+c := b#(a+c)
A_0(0#a,n)=n+1
A_0(X,m+1,0#a+1)=A_0(X,m,1#a+1)
A_0(X,m+1,0#a,n+1)=A_0(X,m,A_0(X,m+1,0#a,n)#a+1)
A_1(0#a,n)=A_0(n#n)
A_1(X,m+1,0#a+1)=A_1(X,m,1#a+1)
A_1(X,m+1,0#a,n+1)=A_1(X,m,A_1(X,m+1,0#a,n)#a+1)
A_2(0#a,n)=A_1(n#n)
A_2(X,m+1,0#a+1)=A_2(X,m,1#a+1)
A_2(X,m+1,0#a,n+1)=A_2(X,m,A_2(X,m+1,0#a,n)#a+1)
A_3(0#a,n)=A_2(n#n)
上記の定義のとき
A_1(n)がF_ω^ω(n)の強さだとわかるのですが
A_2(n)、A_3(n)の強さはどれぐらいなのでしょうか？
947:１３２人目の素数さん
19/01/21 15:59:38.85 +sDvlacg.net
1の後に0がN個並んだ数は10^Nであって10^10^Nじゃない
948:１３２人目の素数さん
19/01/21 16:46:58.75 XHU6+fDk.net
おお、間違い指摘ありがとお！
wolframalpha.comで、(10^68)^10^68と入力すると
Power of 10 representation:
10^(10^69.83250891270623)
Number length:
6.8×10^69 decimal digits
と表示される件。
つまり、無量大数＾無量大数乗は10^（68*10^68）だったか。
949:１３２人目の素数さん
19/01/21 21:00:20.30 1/Ynb3Ie.net
ラヨ数などはill-definedであるorZFC公理系の上の話じゃない←分かる
計算不可能関数は計算可能と絶対的に違う←？
例えばビジービーバーは何の問題もなく計算可能関数より大きい、特に比較可能だし、全域性を再帰理論では証明できないという話もあったが明確に否定された
逆にローダー数はC言語で書かれている通り明確に計算可能だが、チューリングマシンと違って実際の今のパソコンではメモリが圧倒的に足りず計算できない
絶対的な違いがあるとはとても思えないのは俺だけだろうか
950:１３２人目の素数さん
19/01/21 21:13:23.30 XHU6+fDk.net
計算できない巨大数は、韓国の妄言と同じ。
951:１３２人目の素数さん
19/01/21 21:21:52.50 DbqXFOjH.net
計算不可能関数で定義された数を評価するための自然な理論がなんなのかがどんどん曖昧
になってくとか無矛盾性がどんどん疑わしくなるとか。
グラハム数レベルならKPなんかで評価できるしKPを比較する基準として受け入れられないという人も
そうそういないだろう。
あと計算不可能関数の全域性については、例化可能な形では再帰理論では証明不可能だけど
ただ全域性を証明するだけなら可能という話です。
ラヨ数はwell definedであることを数学的に証明できないほど強いけどwell definedであると
信じようというあれなんだろう。
952:１３２人目の素数さん
19/01/21 21:36:16.60 DbqXFOjH.net
つきつ
953:めてしまえば計算可能関数と不可能関数を区別しなくてもいいだろうとは思う。 でかさじゃなくて芸術点を競うみたいな
954:１３２人目の素数さん
19/01/21 21:39:30.52 SYCcdPIF.net
オリンピックでも男子と女子は別扱いだろ？
そういうことだ。
955:１３２人目の素数さん
19/01/21 21:56:26.42 1/Ynb3Ie.net
なるほど、結局再帰理論では無理なのか、すまん
確かにビジービーバー関数では過去の話題として「ビジービーバー関数の値を保証する公理を無限個(計算不可能関数だから当たり前だけど)帰納的公理化して付加することができない」といった話題もあったし、オラクルを付け加えるとしても無矛盾性は疑わしいかもしれない
ただ、戦え数は理論も明確でZFCの中なのでZFCが無矛盾というルールでは無矛盾だ
それでも評価するための自然な理論は曖昧なのか、？
956:１３２人目の素数さん
19/01/21 22:53:07.03 DbqXFOjH.net
ビジービーバー関数の値の存在を保証する公理を無限個追加するというのは帰納的公理化可能
それらの値すべてが本当に、我々の想像する普通の自然数である、というのは帰納的公理化不可能
とりあえず箇条書き
ビジービーバー関数の値をすべて「自然に」決定する理論というのは帰納的公理化不可能
すべてでなく特定の引数に対しても、自然な帰納的公理化可能な理論で決定できるが、
その引数が大きくなれば大きくなるほど無矛盾性が怪しくなる。
自然な無矛盾な理論がなんなのかわからなくてもとりあえずそういうのが存在すると仮定して
オラクルで呼び出すことにする。
コンパクト性により、任意の有限部分が無矛盾であれば全体でも無矛盾。
957:１３２人目の素数さん
19/01/21 22:55:43.59 DbqXFOjH.net
日本語を微修正
>すべてでなく特定の引数に対しても→すべてでなく特定の引数に対しては
958:１３２人目の素数さん
19/01/22 02:27:49.47 mvwK2+pd.net
ビジービバーアビバノンノン
959:１３２人目の素数さん
19/01/22 02:33:42.07 mvwK2+pd.net
ネットの中では韓国に勝てる！
960:１３２人目の素数さん
19/01/22 08:04:12.80 ShhYZVRQ.net
大分認識が間違っていたようだ
コンパクト性定理をオラクルを付加した公理に使うとか言われてみればなるほどだが、俺の頭が良くないから気づけなかったな
ビジービーバー関数は巨大数で見れば、自然な(超準自然数を含まないような)理論は帰納的公理化できないが、とりあえずオラクルとして付加すればコンパクト性定理から元の公理系が無矛盾であれば無矛盾性が保証されると
東方巨大数3ではこの辺りどうなるんだろうな
そして戦え数のこういう隙のない完成度の高さに改めて驚くわ
961:１３２人目の素数さん
19/01/22 15:23:25.26 Nv0C4Qvx.net
「計算可能関数と計算不可能関数には絶対的な違いがあり、比べることに意味はない」
という文言を仮ルールに入れた者です
東方巨大数は、Twitter上で、みんなで巨大数を作って大きさを競うイベントです
例えば、バシク行列やY数列といった、明らかに計算可能であり再帰的に定義される関数は、いくら工夫を凝らしても、増加速度においてビジービーバー関数には勝つことが出来ません
巨大数の大きさを競うのであれば1位を目指すと思うのですが、well-definedな計算不可能巨大数が出てきた時点で、計算可能な巨大数達は絶対に1位になることは出来ません
それでは計算可能関数を作ることに意味がなくなってしまうため、計算可能と不可能を別の部門として扱っています
また、計算不可能関数を、「現実的に計算不可能な関数」としている方がいらっしゃるようですが(914等)、「数学的に計算不可能な関数」という意味ですのでお間違えの無いよう
詳しくは、巨大数wiki等見てください
962:１３２人目の素数さん
19/01/22 22:19:12.87 x1Q43hhp.net
なるほど、確かに計算可能の中でもランクが分かれているし、エンターテイメントとしてレギュレーションは分かる
だがやはり「絶対的に違う」という点に引っ掛かりを感じる
1. ビジービーバー関数は上で教えてもらったように何らかの公理を追加する必要があるが、東方巨大数3のルールでそれは出来るのか？
もし出来ないのなら計算可能関数にも普通に勝機はありそう
2. 確かにビジービーバー関数は全ての計算可能関数を押さえ込むことが証明されているようで、それは計算不可能関数を包含するけど、計算不可能関数だからといって全ての計算可能関数を押さえ込むわけではないのでは
特に過去「書けて戦え数」は結果的に計算不可能だったものの、計算可能
963:関数で計算不可能関数を越えられる可能性はありそうだと思ったが 要するに決定的に違うのはビジービーバー関数やZFC公理系の上ではない巨大数、ill-definedな巨大数たちなだけで計算不可能巨大数自体はそこまで決定的に違わないと感じる
964:１３２人目の素数さん
19/01/22 22:37:49.36 NAwHI9f4.net
計算可能と計算不能じゃ、将棋で例えるなら片方だけ2手連続で打てるってくらい違うぞ？
それでも勝負はわからないといってるようなもの。
965:１３２人目の素数さん
19/01/22 22:59:58.58 IBpGnHQh.net
別の計算可能関数でおさえられる計算不可能関数は存在することは存在する
停止性述語とか ビジービーバー関数を100で割った余りとか
966:１３２人目の素数さん
19/01/23 14:30:00.41 qeMV2rxb.net
計算可能関数を作る時は、大きさに上限があります(一般にf_{ω^CK_1}と表される)が、ビジービーバーを初めとする計算不可能関数はそれを超えることができます
上限があるかどうかの問題ですかね
もちろん、BB(2000)(これはZFCで存在が証明できない)を1000で割った余りなどは、計算不可能且つ大体の計算可能な巨大数より小さいです(これは東方巨大数3では1兆より小さいので失格となる)
あとは、チューリングマシン(プログラムの1種？)で計算できるかどうかといったところでしょうか
私は計算不可能に詳しくないので、これくらいしか説明することができませんが。。
967:１３２人目の素数さん
19/01/23 14:37:02.81 JF7m6dzy.net
>>925
>「絶対的に違う」という点に引っ掛かりを感じる
>>924が理解できてないのか？
計算不可能関数の増加度は、計算可能関数では実現不可能
これは質的な違いであり、絶対的なもの
>計算可能関数にも普通に勝機はありそう
ないよ
円積問題とか角の三等分問題に挑戦する
トンデモ野郎みたなこというなよ
>計算不可能関数だからといって
>全ての計算可能関数を押さえ込む
>わけではないのでは
だから？そりゃ増加度なんかいくらでもコントロールできるよ
でも、より大きな増加度を競ってるんだろ？
だったら計算可能関数では実現できない増加度をもつ
計算不可能関数があるという事実だけで絶対的な違いだろ
>計算不可能巨大数自体はそこまで決定的に違わないと感じる
「俺様の計算可能関数はビジービーバー超えられる！」
とかほざくトンデモはどっかいってくれ
ここは第二の「角の三等分野郎」の来るところじゃない シッシッ！！！
968:１３２人目の素数さん
19/01/23 14:45:37.38 JF7m6dzy.net
計算可能関数と計算不可能関数の区別は
鳥人間コンテストでいったら
滑空機部門と人力プロペラ機部門
みたいなもん
そりゃ人力プロペラ機も呆れるほどすぐ落ちる場合も多々あるが
そのことは混合で競う根拠にならないだろ
969:１３２人目の素数さん
19/01/23 20:19:28.46 5jhAriq1.net
>>930
少し言い方がきついですよ()
まぁあとは、主催者の権限があるから、というのも大きいですね。
もしこの部門分けに意義がある等、進行に納得できない場合は無理に参加していただく必要はないとのことです。
ちなみに、東方巨大数3の計算可能部門には、バシク行列を超える増加度をもつ関数が投稿される可能性がありますので、頑張ってください
970:１３２人目の素数さん
19/01/23 21:55:08.50 E77cVR6k.net
計算可能関数はビジービーバー関数を越えられると言ってないどころかむしろ、計算可能関数はビジービーバー関数を越えられないことが証明されてると書いてるし、
混合でやるべきだとも言ってないし、
参加するとも言ってないんだが
絶対的な違いって言うほどあるか？って話な
計算不可能関数って非可算無限個あるし、その中の一部が特別なだけだろ？
971:１３２人目の素数さん
19/01/23 22:09:54.30 v+hbHM17.net
絶対的な違いは言うほどあるぞ？
972:１３２人目の素数さん
19/01/23 22:44:32.31 2fOG9J7y.net
でかさで評価するなら区別せざるをえないよ
973:１３２人目の素数さん
19/01/23 23:03:16.43 UjR+dL5P.net
例えば計算可能関数の中でも原始帰納的関数と原始帰納的でない帰納的関数の間には増大度の違いがある
これを絶対的な違いと言うかは人に依るが
974:１３２人目の素数さん
19/01/23 23:49:47.31 WLcEfs3L.net
まぁ混戦すると計算可能巨大数はものすごくめちゃめちゃほとんど勝ち目がないので分けました、くらいの意味でしょう言いたかったのは。
めちゃめちゃ弱い失敗作の計算不可能関数しか投稿されなくてたまたまそれより大きな計算可能関数が投稿された超激レアケースでは計算可能関数が勝つし、
計算可能関数より弱い計算不可能関数が１つもないわけでもないが、それを「絶対的な違い」と断言調で書いてしまうのは主催者の言葉使いが甘いけどそれが気になるなら本人に直接言えば。
975:１３２人目の素数さん
19/01/24 00:24:22.21 RVxTHiAw.net
増加率の増加率の増加率の…というアプローチは弱い？
関数fの増加率を求める関数をRI(f_0)とする
関数fを、「RI(RI(RI...(f_n-1)...))と繰り返しても関数fより高い増加率を持つ最弱の関数」に変換する関数をRI(f_n)とする
とか
976:１３２人目の素数さん
19/01/24 01:55:03.66 c0L++UuU.net
,ｒ- ､,ｒ- ､
／// | | | l iヾ
/./ ⌒ ⌒ ＼ヽ､
＿,,......._ // （●） （●） ヽヽ おっぱい出しちゃった！！
／ "''-.,,_ ｒ-i./ ｀⌒,(･･)⌒´ ヽ.l-､
/ ｀ヽ__ | | | ),ｒ=‐､( | | ﾉ
!、 ._ ＼｀''-.,, ｀| |ヽ ⌒ ﾉ| ||
ヽ、'''ｰ-- ''"´ （ ,. ,. ､ヽ ｀,x | | | |＼ ｀ｰ-‐'' ／| || ||
｀''-.,, 丨 ﾉ .,ｒ ｨ i _ ￣￣￣ 一一 ￣￣--‐‐::..,,_
｀''-.,,_ ｀ﾞ^‐トtｲ,,ｨク三ﾆミ＝- ...,,,,＿ / ／, ｀ﾞ''''ｰ-::...,,＿
''-.,, |;'{ `ｰ'´￣￣""'''''ー-=ﾆ､三三Y _/／ ｀ ヽ、
｀i/ ｀ﾞ''＝t.｀''ヾ､ｒ'''ﾄ‐‐'^ヽ、 ＼
/ ￣V ﾉ ! ＼ i
ノ .:, l ∧ ＼ ﾉ
／ /i '; } i !｀''ｰ--:::..,,,_ _,.:-''´
/ / ! ij ,!./ ￣￣￣
ｉ / l |l!´
.|::::.:.. / ! . . . !'
!;;::::::::.. / ﾍ . ..:.:::::::::::::::. /
ヾ;;::::::::: ／ ヽ:.::::::::::::r,､::::::.: ノ!
｀ー‐'i''´ ｀''-;;::::::::.:;;;;:-'' ﾉ
977:１３２人目の素数さん
19/01/24 11:08:29.08 RVxTHiAw.net
>>937訂正
RI[1](f)は増加率の増加率をいくら繰り返しても元の関数fより高い増加率の関数F1を出力する関数。この時点で増加率を競う全ての関数より遥かに強い。
RI[1]^n(f)の増加率はもはや増加率では表現不能なため第1強化率と呼ぶ。ただの増加率は第0強化率とする
RI[2](f)は第1強化率の第1強化率をいくら繰り返してもRI[1](f)より高い第1強化率の関数F2を出力する関数
これ以降は陳腐な対角化の連鎖になる。まっとうな再帰はまっとうな計算不能関数より弱いが、結局は「増加率を参照した再帰」こそが最強であり、計算不能な手続きと再帰的手続きの融合は「大きさ比べ」を終結させた。
978:１３２人目の素数さん
19/01/24 12:05:01.60 1dO0k687.net
増加率の定義は何で、どのような順序が定まってるの
979:１３２人目の素数さん
19/01/24 15:12:49.71 jgp+ZsgL.net
>>936
本人に言おうにも本人がマシュマロとかやってないとツイ垢が必要だからなぁ
結果的に来
980:てくれたけど 断言するほどのことではないけど主催側はそこまで気にしてなかったってことで納得するわ サンクス
981:１３２人目の素数さん
19/01/24 20:07:05.18 XpIGjXje.net
過去レスにもあったが2の超べき乗でさえすごい。
２↑↑５は、指数表記等えを使わず10進法表記した場合、数字1文字ずつ1cm間隔で表記すると数字の長さは約200m。200mなら日常生活レベルだから
２↑↑６は宇宙レベルか？と思いきや、10進法表記だと数字の長さは観測可能な宇宙をはるかに超える。
もっともこのレベルの超べき乗の場合は、数字の左上に超指数を書く、シンプルな表記法があるが、これなら最新のグラハム数は
2の左上の6つ書けば表記できる。それでも宇宙レベルをはるかに超えるが、旧グラハム数は、数学的意味がなくなり、数学的意味
を持つ最大数はモーザー数ということになるのかな。
982:１３２人目の素数さん
19/01/25 17:04:17.94 m0Lnt/Ay.net
ボクの考えた巨大数生成関数 ZZ(a)
a,b,n = 非負整数
m = 自然数
X = 0個以上の非負整数
a#n = n個のa
a#n+m = a#(n+m)
Z[X]^{1}(a) = Z[X](a)
Z[X]^{m+1}(a) = Z[X](Z[X]^{m}(a))
Z[](a)=a+1
Z[0#n+1](0)=Z[Z[0#n](0)#n]^{Z[0#n](0)}(Z[0#n](0))
Z[0#n+1](a+1)=Z[Z[0#n+1](a)#n]^{Z[0#n+1](a)}(Z[0#n+1](a))
Z[X,b+1,0#n](0)=Z[X,b,Z[X,b,0#n](0)#n]^{Z[X,b,0#n](0)}(Z[X,b,0#n](0))
Z[X,b+1,0#n](a+1)=Z[X,b,Z[X,b+1,0#n](a)#n]^{Z[X,b+1,0#n](a)}(Z[X,b+1,0#n](a))
ZZ(a)=Z[Z[a#a](a)#Z[a#a](a)]^{Z[a#a](a)}(Z[a#a](a))
983:１３２人目の素数さん
19/01/25 22:01:44.11 fQuU00vE.net
サスクワッチについて疑問があるんだが、詳しくないもので間違いがあったら教えてくれ
サスクワッチのWikiの説明によると、フォンノイマン宇宙Vの整列順序が一般的には定義可能でないために、Vを強制拡大したV[G]がV=HODを満足するようにし、HODの標準の順序を使う、とあるが、
半順序Pの元pに対するジェネリックフィルターが存在することの有名な証明のように、可算である仮定が必要なはずで、
これは実際にはVの立場から可算推移的モデルMを作って、それを強制拡大したM[G]がZFC+V=HODを満足するということだよな
で、M[G]がV=HODを満足するとしてVに整列順序を入れた、というのはM[G]の住人の立場で、依然としてメタ理論の視点では整列順序が定義可能とは言えず、V=HODのモデルに限定するなら戦え数とかの方が大きいと思うんだけど、認識の誤りってある？
984:１３２人目の素数さん
19/01/26 16:38:46.35 vSKDTpKc.net
いくら大きな計算可能関数を作っても、「ビジービーバーに比べたらゴミ」などと、あたかも自分が作った関数かのようにマウント取ってくる人がいるので分けてるってのはあるかも
985:１３２人目の素数さん
19/01/27 16:33:52.05 yjqqveLO.net
計算可能にこだわる意味がわからん
巨大数探索スレなのに
わざわざ小さい数に限定するのはなぜ？
986:１３２人目の素数さん
19/01/27 16:43:05.28 ozYeFWNl.net
計算可能に限定してるわけじゃなくて
計算不能に限定してないんやで
987:１３２人目の素数さん
19/01/27 16:50:49.44 yjqqveLO.net
その理屈だと
合成数に限定してないから
巨大な素数探しについて延々語るのも有りになる
988:１３２人目の素数さん
19/01/27 16:51:24.53 9Cbmf/7Y.net
ところで>>944に誰か答えてくれると有りがたい
989:１３２人目の素数さん
19/01/27 18:44:38.11 w1JgJ/aI.net
巨大数番目の素数とすれば巨大な素数になるし、計算不可能レベルの言語の拡張も
証明論的類似で計算可能なシステムができるし、逆もまた然りでそこはあまり本質的な問題でない
990:１３２人目の素数さん
19/01/27 18:48:39.91 w1JgJ/aI.net
ラヨ数系列は背景が、すくなくとも形式的にwell defdinedでないし、どうもも向こうではwell definedに
できないからこそいかなるwell definedなシステムより強いとしているようで、ちょっとね・・・
991:１３２人目の素数さん
19/01/27 23:24:30.46 BcwXI4id.net
>>946
計算不可能にこだわる意味がわからん
巨大数探索スレなのに
わざわざアルゴリズムで求められないものに限定するのはなぜ？
992:１３２人目の素数さん
19/01/27 23:27:00.52 BcwXI4id.net
順序数表記の中で最大級の「Y数列」というのを作ったので、Twitterで見てくれると嬉しいです
調べれば出てくる
993:１３２人目の素数さん
19/01/27 23:29:27.78 BcwXI4id.net
さぁ、お約束の「ビジービーバーよりは弱い」というフレーズを誰が言うかな。。？
994:１３２人目の素数さん
19/01/27 23:35:51.78 BcwXI4id.net
あ、別に計算不可能嫌いなわけじゃないんよ
ただ、順序数を大きくしていく感じ(原始→ペア→バシク行列みたいな)の楽しさを946にも知って欲しい。。
995:majimanji
19/01/28 08:20:27.95 nwATmDUM.net
>>952-955
自作自演だな
IDで分かる
996:１３２人目の素数さん
19/01/28 09:18:51.46 D102dPXA.net
何が自作自演なの？
997:majimanji
19/01/28 09:29:05.50 nwATmDUM.net
>>957
とりま>>956は撤回なう
998:１３２人目の素数さん
19/01/28 12:24:02.15 s3snldZY.net
>>952
巨大数を求めれば自然と計算不可能な領域に入る
わざわざ大きな数を作れないように勝手に制限を加え
それを他の人にも求めるのはスレの趣旨に反する
999:１３２人目の素数さん
19/01/28 15:16:21.34 0t9ocrVC.net
>>959
勿体ねぇなぁ楽しいのに
1000:１３２人目の素数さん
19/01/28 21:01:54.95 D102dPXA.net
>>944
に巨大数スレの住人が答えられないと、他に聞くところがないのも難点だな
1001:１３２人目の素数さん
19/01/28 21:16:51.15 8ZE4rM12.net
>>949
残念ながらその質問に答えられるほどモデル理論に詳しい人がいなさそうだ。
英語版のgoogology wikiならもっとましな人がいるかもしれない。
>>946
標準的自然数にこだわる意味がわからん
巨大数探索スレなのに
わざわざ超準的でない数に限定するのはなぜ？
有限にこだわる意味がわからん
巨大数探索スレなのに
わざわざ有限の数に限定するのはなぜ？
無矛盾にこだわる意味がわからん
巨大数探索スレなのに
わざわざ存在を仮定しても矛盾を導けない数に限定するのはなぜ？
1002:１３２人目の素数さん
19/01/28 22:05:27.78 9ndR+j+2.net
これだけ長文を英語にするのは俺には厳しいな……
強制法にも突っ込んでるモデル理論の本でも探して勉強してみる
1003:１３２人目の素数さん
19/01/29 00:27:27.37 tewiYPnU.net
サスカッチにツッコミ入れるとそれ以前にBIG FOOTの時点でどうなのってなるしなあ。
そのへん向こうはplatonist universeで済ませてるんだろうが
1004:１３２人目の素数さん
19/01/29 01:01:14.55 tewiYPnU.net
BIG FOOTのOrdは、VにおけるFOSTのreasonableな(platonicな)理論のモデルとなる集合（作者は集合という言葉を使わずにoodleと呼んでいる）の最小のランク、という扱いと考えるのが順当か
1005:１３２人目の素数さん
19/01/29 01:04:19.76 7vqoD688.net
各々の好き好きのレギュレーションでそれぞれ話をすればいいさ
大きさだけが大事なら巨大基数スレ作ってそこでやってくれ
1006:１３２人目の素数さん
19/01/30 08:18:00.20 +LBG2b9I.net
>>962
>>1
1007:１３２人目の素数さん
19/01/30 08:55:33.82 FAzexVo5.net
数学はさっぱりだが、言わせてもらう。
俺の巨大数＝お前らの作った巨大数の二乗。
はい、俺の勝ち！
1008:１３２人目の素数さん
19/01/30 09:37:29.20 X2yxXz5E.net
>>962は>>946への皮肉のつもりで書いたんだが、
どうやら分かりにくかったようでごめん。
あと無限や矛盾は当然論外としても、
超準数は標準数との区別が非自明で、
しかも前スレで言われてた通り
大きな計算不能関数は標準数を引数にしても超準数を返す可能性を
健全かつ実効
1009:的な論理体系では否定できない(肯定もできない) という事情があるから、超準数を認めるかどうかは 大きな計算不能関数を認めるかどうかにダイレクトに関わるぞ。
1010:１３２人目の素数さん
19/01/30 12:35:20.32 FBIA3mA/.net
>>969
巨大数の探索が矛盾との戦い、
well-definedとの戦いなわけだから、
当然そういうことも考えなくてはならないけど
明確に定義されたものまで一律に否定することはない
数学板の巨大数探索スレッドなのに
計算可能というところに線を引くのは低すぎる
1011:１３２人目の素数さん
19/01/30 12:37:08.45 FBIA3mA/.net
単純明快がお望みなら指数関数に限定すれば良いよ
1012:１３２人目の素数さん
19/01/30 13:28:58.29 u47dSmHx.net
>>970
こう言っている奴ほど計算不可能はもとより計算可能関数でも大したもの作れないんだよなぁ
1013:１３２人目の素数さん
19/01/30 18:33:57.12 RftMasxx.net
計算不可能レベルにこだわるのは自由だけどさっきからモデル理論とか証明論とか把握できてるのか疑問なんだわ。
個人的には面白かったり斬新だったりすれば指数関数レベルの巨大数でもいいよ。
well definedかどうか確かめようがないけどwell definedだという主張なんかはどう扱うんだろう
1014:１３２人目の素数さん
19/01/30 18:50:31.60 RftMasxx.net
計算可能レベルはwell definedであることをある論証体系のもとで実効的に判定できる。
計算不可能レベルはできない。非構成的な、形式的に把握しきれないなにかを仮定しなければならない。
直観的に、日常的な言葉でちゃんとした定義になってるからいいと言えばかまうこたないが、
直観に反する結果（超準モデルの存在とか）が得られたり、日常的な言葉で矛盾が見つかったり
してきた歴史があるわけで。
なんなら無数の自然数の存在が矛盾しないというのも根拠がないまま仮定されている。
でもとりあえず無矛盾と仮定したり、言葉で表せないなにかも仮定したしすることでレギュレーション分けされている
1015:１３２人目の素数さん
19/01/30 19:04:56.73 DQ0EZ/5b.net
105 １３２人目の素数さん 2019/01/04(金) 18:58:57.05 ID:s68Y7dWN
リチャード・テイラーっていうイギリスの数学者はどのくらいのレベルの数学者ですか？
現役ではそこそこ上位の方に入るぐらいの学者ですか？
106 １３２人目の素数さん 2019/01/04(金) 23:19:10.56 ID:UTaC5hnL
>>105
底辺のものが語るべき話題にあらず
1016:１３２人目の素数さん
19/01/30 20:50:24.95 vs6lFvAO.net
戦え数って形式的に把握できない仮定あるん？
1017:１３２人目の素数さん
19/01/30 22:42:47.93 +LBG2b9I.net
>>974
全ての正しい事は証明可能なんて妄想は捨てなさい
1018:majimanji
19/01/31 07:07:41.50 OhyqM8t3.net
こんにちは、majimanjiです。
私は、巨大数論を引退しようと思います。
理由は、>>868でも書いたように、ここがゴミになりかけてると思ったためです。
また理由はもう一つあります。
ライフゲームやその別ルールに研究を集中させるためです。
巨大数論より、ライフゲームが面白く、手間もなく、そして多くの変種があるためです。
突然ですがすいません。
さようなら。
010
100
111
1019:１３２人目の素数さん
19/01/31 10:50:18.19 kTY3m9NJ.net
とっくの昔からゴミだぞ
まともに語られてたのは初期のころだけ
1020:１３２人目の素数さん
19/01/31 12:23:02.13 8x9dB1ud.net
元々学問は勉強を重ねた一部の人間による閉じた世界だしな
5ちゃんねるは自由に書き込めるから参加したくなるが、オリンピック観戦者の気持ちで眺めるのが正解と言える
1021:１３２人目の素数さん
19/01/31 13:04:31.09 oDApAcW+.net
>>977
すべての正しいことが証明可能とは言ってないし、「確かさ」にいろんな段階があって、
計算不可能レベルはそのひとつの区切りみたいな趣旨で
1022:す。
1023:１３２人目の素数さん
19/01/31 23:52:56.40 iZ7gW0wq.net
3^6+4^6+4^6-2*(4^12+2*3^6*4^6))=3*3*5054383
3^6+5^6+5^6-2*(5^12+2*3^6*5^6)=3*3*59312419
3^6+6^6+6^6-2*(6^12+2*3^6*6^6)=3*3*3*3*3*3*3*2052821
1024:１３２人目の素数さん
19/01/31 23:54:25.86 iZ7gW0wq.net
3^6+6^6+6^6-2*(6^12+2*3^6*6^6)=3*3*3*5118623717
1025:１３２人目の素数さん
19/01/31 23:54:47.40 iZ7gW0wq.net
3^6+8^6+8^6-2*(8^12+2*3^6*8^6)=3*3*3*5118623717
1026:１３２人目の素数さん
19/02/01 00:45:13.39 yx1W6Vji.net
閉じた世界だと局所解に陥るリスクが大きい
1027:１３２人目の素数さん
19/02/01 08:55:13.75 NfFn5j1z.net
>>982-984
きっとスルーすべき場面ではあるだろうが、
あえて愚かにも指摘しよう。
その等式の両辺を実際に計算しても=で結べない。
1028:１３２人目の素数さん
19/02/02 02:02:09.38 x+fkBvw0.net
>>986
3^3+11^3+11^3-2*(11^6+2*3^3*11^3)=-3684181
3^3+9^3+9^3-2*(9^6+2*3^3*9^3)=-3*3*3*42227
3^n+2*X^n-2*(X^2n+2*3^n*X^n)=-3^m*素数
1029:１３２人目の素数さん
19/02/02 09:39:51.53 hmQ4uwMS.net
10＾37218383881977644441306597687849648128 ≒ 10^10^37 (不可説不可説転）
10^（68*10^68) ≒ 10^10^69 （無量大数の無量大数乗）
10^10^100 (グーゴルプレックス）
1030:１３２人目の素数さん
19/02/02 13:03:46.68 Fw4BKVsR.net
残念ながらX=5, n=3とすると
3^3+2*5^3-2*(5^6+2*3^3*5^3)=-44473=-11*13*311で全く-3^m*素数ではない。
わざわざ指摘はしてこなかったが、この人の別の書き込みもデタラメだらけだ。
スレ違いなだけで数学的には正しいことを書いているだろうと、
万が一思っている人がいるかもしれないから釘を刺しておく。
1031:１３２人目の素数さん
19/02/02 20:43:55.89 x+fkBvw0.net
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n+Y^n*Z^n+X^n*Z^n))=0
X^(n/2)=Y^(n/2)+Z^(n/2)
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n-Y^n*Z^n+X^n*Z^n)-4*Y^n*Z^n)=0
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n-Y^n*Z^n+X^n*Z^n))=2*Y^(n/2)*Z^(n/2)
√(X^2n+Y^2n+Z^2n-2*(X^n*Y^n-Y^n*Z^n+X^n*Z^n))=|X^n-Y^n-Z^n|=2*Y^(n/2)*Z^(n/2)
nが6以上の正の偶数のとき
|X^n-Y^n-Z^n|=2*Y^(n/2)*Z^(n/2)
をみたす整数X,Y,Zの組み合わせは存在しない
√(X^2n+Y^2n+Z^2n+A^2n-2*(X^n*Y^n+Y^n*Z^n+X^n*Z^n+X^n*A^n+Y^n*A^n+Z^n*A^n))=0
X^2n-X^n*2*(Y^n+Z^n+A^n)+Y^2n+Z^2n+A^2n-2*(Y^n*A^n+Z^n*A^n+Z^n*Y^n)=0
X^n=(Y^n+Z^n+A^n)+2*√(Y^n*A^n+Z^n*A^n+Z^n*Y^n)
nが6以上の正の偶数のとき
|X^n-Y^n-Z^n-A^n|=2*√(Y^n*A^n+Z^n*A^n+Z^n*Y^n)
をみたす整数X,Y,Z,Aの組み合わせは存在しない
1032:１３２人目の素数さん
19/02/04 21:47:11.45 0Gxs6L+E.net
計算可能で計算不可能を超えようとするのは加算無限で加算無限を超えようとするようなもの。
1033:加算無限で加算無限
19/02/04 21:47:39.85 0Gxs6L+E.net
訂正
加算無限で不加算無限
1034:１３２人目の素数さん
19/02/06 18:03:21.50 q32LwTOR.net
定義
A[](a)=a+1
A[0#(n+1)](0)=A[A[1#n](1)#n]^{A[1#n](1)}(A[1#n](1))
A[0#(n+1)](a+1)=A[A[0#(n+1)](a)#n]^{A[0#(n+1)](a)}(A[0#(n+1)](a))
A[X,b+1,0#n](0)=A[X,b,A[X,b,(b+1)#n](b+1)#n]^{A[X,b,(b+1)#n](b+1)}(A[X,b,(b+1)#n](b+1))
A[X,b+1,0#n](a+1)=A[X,b,A[X,b+1,0#n](a)#n]^{A[X,b+1,0#n](a)}(A[X,b+1,0#n](a))
1035:１３２人目の素数さん
19/02/06 18:05:55.48 q32LwTOR.net
以下、展開例
A[0](0)=A[]^{A[](1)}(A[](1))=A[]^{2}(2)=4
A[0](1)=A[]^{A[0](0)}(A[0](0))=A[]^{4}(4)=8
A[0](2)=A[]^{A[0](1)}(A[0](1))=A[]^{8}(8)=16
A[0](3)=A[]^{A[0](2)}(A[0](2))=A[]^{16}(16)=32
A[0](n)=2^(n+2)
A[1](0)=A[0]^{A[0](1)}(A[0](1))=A[0]^{8}(8)=N0=2^(2^(2^(2^(2^(2^(2^(2^(8+2)+2)+2)+2)+2)+2)+2)+2)
A[1](1)=A[0]^{A[1](0)}(A[1](0))=A[0]^{N0}(N0)=N1
A[1](2)=A[0]^{A[1](1)}(A[1](1))=A[0]^{N1}(N1)=N2
A[1](3)=A[0]^{A[1](2)}(A[1](2))=A[0]^{N2}(N2)=N3
A[2](0)=A[1]^{A[1](2)}(A[1](2))=A[1]^{N2}(N2)=NN0
A[2](1)=A[1]^{A[2](0)}(A[2](0))=A[1]^{NN0}(NN0)=NN1
A[2](2)=A[1]^{A[2](1)}(A[2](1))=A[1]^{NN1}(NN1)=NN2
A[2](3)=A[1]^{A[2](2)}(A[2](2))=A[1]^{NN2}(NN2)=NN3
A[3](0)=A[2]^{A[2](3)}(A[2](3))=A[2]^{NN3}(NN3)=NNN0
A[3](1)=A[2]^{A[3](0)}(A[3](0))=A[2]^{NNN0}(NNN0)=NNN1
A[3](2)=A[2]^{A[3](1)}(A[3](1))=A[2]^{NNN1}(NNN1)=NNN2
A[3](3)=A[2]^{A[3](2)}(A[3](2))=A[2]^{NNN2}(NNN2)=NNN3
1036:１３２人目の素数さん
19/02/06 18:07:23.61 q32LwTOR.net
A[0,0](0)=A[A[1](1)]^{A[1](1)}(A[1](1))=A[N1]^{N1}(N1)=M0
A[0,0](1)=A[A[0,0](0)]^{A[0,0](0)}(A[0,0](0))=A[M0]^{M0}(M0)=M1
A[0,0](2)=A[A[0,0](1)]^{A[0,0](1)}(A[0,0](1))=A[M1]^{M1}(M1)=M2
A[0,1](0)=A[0,0]^{A[0,0](1)}(A[0,0](1))=A[0,0]^{M1}(M1)=MM0
A[0,1](1)=A[0,0]^{A[0,1
1037:](0)}(A[0,1](0))=A[0,0]^{MM0}(MM0)=MM1 A[0,1](2)=A[0,0]^{A[0,1](1)}(A[0,1](1))=A[0,0]^{MM1}(MM1)=MM2 A[0,2](0)=A[0,1]^{A[0,1](2)}(A[0,1](2))=A[0,1]^{MM2}(MM2)=MMM0 A[0,2](1)=A[0,1]^{A[0,2](0)}(A[0,2](0))=A[0,1]^{MMM0}(MMM0)=MMM1 A[0,2](2)=A[0,1]^{A[0,2](1)}(A[0,2](1))=A[0,1]^{MMM1}(MMM1)=MMM2 A[1,0](0)=A[0,A[0,1](1)]^{A[0,1](1)}(A[0,1](1))=A[0,MM1]^{MM1}(MM1)=L0 A[1,0](1)=A[0,A[1,0](0)]^{A[1,0](0)}(A[1,0](0))=A[0,L0]^{L0}(L0)=L1 A[1,0](2)=A[0,A[1,0](1)]^{A[1,0](1)}(A[1,0](1))=A[0,L1]^{L1}(L1)=L2 A[1,1](0)=A[1,0]^{A[1,0](1)}(A[1,0](1))=A[1,0]^{L1}(L1)=LL0 A[1,1](1)=A[1,0]^{A[1,1](0)}(A[1,1](0))=A[1,0]^{LL0}(LL0)=LL1 A[1,1](2)=A[1,0]^{A[1,1](1)}(A[1,1](1))=A[1,0]^{LL1}(LL1)=LL2
1038:１３２人目の素数さん
19/02/08 18:49:39.45 bs50Azst.net
>>865
もう残り4レスで済まんがこれがよく分からん
ZFCの中で一階述語論理を形式化したものでは｢任意の順序数αに対してVα｣の上限としてVがクラスとなってしまい扱えない、ということなのだと思うけど、
このVを｢クラス(論理式)｣｢ZFCのモデル｣として捉えるのはZFC公理系を形式化している一階述語論理の視点だから扱えるし、二階論理が出てくる必要性がないと思うのだが
1039:１３２人目の素数さん
19/02/09 07:38:51.57 focDYhs5.net
Vの定義は∀x(x∈V←→x=x)でおｋ？
1040:１３２人目の素数さん
19/02/09 19:03:10.11 WEah+vDH.net
次スレ
ｽﾚﾘﾝｸ(math板)
1041:１３２人目の素数さん
19/02/10 14:55:13.47 Eg2BwSS6.net
合ってるけどx∈Vをx=xの略記と見た方が良い
1042:majimanji
19/02/10 16:02:06.70 Z0x3g5v2.net
1000
1043:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 197日 16時間 53分 41秒
1044:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています