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


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


OCF(順序数崩壊関数)全般

1:abata :

2019/06/01 (Sat) 15:06:44

■こちらでは、OCF(順序数崩壊関数)全般についての情報や話題を募集したいと思います。

参考:
https://googology.wikia.org/wiki/Ordinal_notation
2:abata :

2019/06/03 (Mon) 15:11:35

参考にOCFや順序数表記のスレッドを貼っておきます。

・フェファーマンのθ
http://googology.bbs.fc2.com/?act=reply&tid=11269266
・ウェイヤーマンのϑ
http://googology.bbs.fc2.com/?act=reply&tid=11269270
・ブーフホルツのΨ関数
http://googology.bbs.fc2.com/?act=reply&tid=11269273
・UNOCF(Username's OCF)
http://googology.bbs.fc2.com/?act=reply&tid=11269279
・TON(タラノフスキーの順序数表記)
http://googology.bbs.fc2.com/?act=reply&tid=11269283
3:abata :

2019/06/03 (Mon) 15:14:45

ふぃっしゅっしゅさんの順序数講座に書かれているOCFの情報がわかりやすいです。
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:Kyodaisuu/%E9%A0%86%E5%BA%8F%E6%95%B0%E8%AC%9B%E5%BA%A7
4:abata :

2019/06/04 (Tue) 14:01:39

RathjenのOCFのスレッド作りました。
http://googology.bbs.fc2.com/?act=reply&tid=11270073
5:nanas1 :

2019/06/23 (Sun) 16:54:35

2変数OCF、LiOCFを作ってみたい
一変数目には非可算順序数を、二変数目には可算順序数を
例:Li(Ω^Ω,ω^2),Li(ε_Ω+1,ε_0)
6:abata :

2019/06/24 (Mon) 21:32:56

>5
LiOCFはどのようなものですか?
7:nanas1 :

2019/06/25 (Tue) 06:03:03

でもルールの一般化が難しいので、とりあえず今は保留です。
8:abata :

2019/06/25 (Tue) 06:50:12

>7
OCFのルールは一から作るの難しいですよね・・。
9:nanas1 :

2019/06/25 (Tue) 17:43:04

自分集合論さっぱりなんで....
10:abata :

2019/06/25 (Tue) 18:02:55

>9
OCFは動きだけわかってて定義しても結構つまずきますよね・・。
それっぽい定義はできても結局計算停止しなかったり、著しく弱くなってしまったり。
11:nanas1 :

2019/06/25 (Tue) 18:53:18

たしかに...
OCFを作るコツとかってあるんでしょうか?
12:abata :

2019/06/26 (Wed) 11:18:45

>10
創ったことがない私がいうのもアレですが、やっぱり集合論の勉強をするのが一番かもしれませんね。

P進大好きbotさんがそのあたり詳しいです。
参考になりそうな記事貼っておきます。

OCFと順序数表記の関係
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/OCF%E3%81%A8%E9%A0%86%E5%BA%8F%E6%95%B0%E8%A1%A8%E8%A8%98%E3%81%AE%E9%96%A2%E4%BF%82
計算可能関数の定義の書き方
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%A8%88%E7%AE%97%E5%8F%AF%E8%83%BD%E9%96%A2%E6%95%B0%E3%81%AE%E5%AE%9A%E7%BE%A9%E3%81%AE%E6%9B%B8%E3%81%8D%E6%96%B9
13:nanas1 :

2019/06/28 (Fri) 18:54:38

NWOCF(Nanasi weak ordinal collapse function)が完成しました!
定義を19:10になったら自作巨大数投稿所に投稿するので、それまで待っておいてください。
(めっちゃ弱いなんて言えない...)

  • 名前: E-mail(省略可):
  • 画像:

Copyright © 1999- FC2, inc All Rights Reserved.