(Adding categories) |
mNo edit summary |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 11: | Line 11: | ||
== Example == |
== Example == |
||
| − | Since definition shifting is considered as a generalisation of side nesting, [[Side nesting#Examples|the notations]] in the articles of side nesting, which has not been formalised yet, are examples of notations associated to ordinal functions defined by shifting definition. |
+ | Since definition shifting is considered as a generalisation of side nesting, [[Side nesting#Examples|the notations]] in the articles of side nesting, which has not been formalised yet, are examples of notations associated to ordinal functions defined by shifting definition. Three other examples are given by Jason: |
* [[δOCF]] |
* [[δOCF]] |
||
* [[δφ]] |
* [[δφ]] |
||
| + | * [[ε function]] |
||
Although neither of them has been fully defined yet, they are expected to be significantly strong if they will be appropriately formalised. |
Although neither of them has been fully defined yet, they are expected to be significantly strong if they will be appropriately formalised. |
||
| Line 21: | Line 22: | ||
{{main|δOCF}} |
{{main|δOCF}} |
||
| − | δOCF is the first system defined by shifting definition, and is intended to perform as an ordinal function associated to an OCF through the method.<ref>Jason, [https://drive.google.com/file/d/1nT3MBXtKyRyVXepSSHfoqoEUbCfaErH9/view δ関数の展開ルール], Google Drive.</ref><ref>Jason, [https://docs.google.com/presentation/d/1lyVkKA6i0EE_vWVlO26w15RdXou5ejuJwsDHpGddjdM/edit#slide=id.p1 δ解説 もっと詳しく], Google Document.</ref><ref>Jason, [https://twitter.com/D13jason2/status/1127226941205954561 グラハム数〜legend of δ〜].</ref> |
+ | δOCF is the first system defined by shifting definition, and is intended to perform as an ordinal function associated to an OCF through the method.<ref>Jason, [https://drive.google.com/file/d/1nT3MBXtKyRyVXepSSHfoqoEUbCfaErH9/view δ関数の展開ルール], Google Drive.</ref><ref>Jason, [https://docs.google.com/presentation/d/1lyVkKA6i0EE_vWVlO26w15RdXou5ejuJwsDHpGddjdM/edit#slide=id.p1 δ解説 もっと詳しく], Google Document.</ref><ref>Jason, [https://twitter.com/D13jason2/status/1127226941205954561 グラハム数〜legend of δ〜], twiiter.</ref> |
| Line 29: | Line 30: | ||
δφ is the second system defined by shifting definition, and is intended to perform as an ordinal function associated to [[Veblen function]] through shifting definition.<ref>Jason, [https://docs.google.com/spreadsheets/d/1hGbOqFrMu1SergIDwLlO9yFx_8yGYwuB0Mi2qlBm3cA/edit#gid=0 δφ対応表], Google Document.</ref><ref>Jason, [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:%E3%81%98%E3%81%87%E3%81%84%E3%81%9D%E3%82%93/%CE%B4%CF%86%E3%81%AE%E3%81%84%E3%82%8D%E3%81%84%E3%82%8D δφのいろいろ], Japanese Googology WIki user blog.</ref> |
δφ is the second system defined by shifting definition, and is intended to perform as an ordinal function associated to [[Veblen function]] through shifting definition.<ref>Jason, [https://docs.google.com/spreadsheets/d/1hGbOqFrMu1SergIDwLlO9yFx_8yGYwuB0Mi2qlBm3cA/edit#gid=0 δφ対応表], Google Document.</ref><ref>Jason, [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:%E3%81%98%E3%81%87%E3%81%84%E3%81%9D%E3%82%93/%CE%B4%CF%86%E3%81%AE%E3%81%84%E3%82%8D%E3%81%84%E3%82%8D δφのいろいろ], Japanese Googology WIki user blog.</ref> |
||
| + | |||
| + | |||
| + | === ε function === |
||
| + | |||
| + | {{main|ε function}} |
||
| + | |||
| + | ε function is the third system defined by shifting definition, and it intend to perform as a notation inclusing shifting definition and higher system called ''meta-shifting definition'', ''meta-meta-shifting definition'', and so on.<ref>Jason, [https://docs.google.com/document/d/1VoDgcsa-4pv1_R20aNPNCm-fTkeOzHz1wxYqtss7LEw/edit ε関数定義試作], Google Document. (Trial to formalise the notation.)</ref><ref>Jason, [https://docs.google.com/spreadsheets/d/1dvsZtGQomMTQolqerGmtrnAWjIlSJFa3zxl28-eLg6Y/edit#gid=272325030 ε関数成長記録], Google Document. (Comparison to other notations.)</ref><ref>Jason, [https://docs.google.com/document/d/15ETSEe2xMIz7wxE97qAhHcEhQT16rssIHcz_rffK6qo/edit ε関数 ver ε.0.1.0], Google Document. (The current version.)</ref><ref>Jason, [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:%E3%81%98%E3%81%87%E3%81%84%E3%81%9D%E3%82%93/%CE%B5%E9%96%A2%E6%95%B0%E3%81%AE%E8%A7%A3%E8%AA%AC%E3%82%92%E8%A9%A6%E3%81%BF%E3%82%8B ε関数の解説を試みる], Japanese Googology Wiki user blog. (Trial to explain ε function)</ref> |
||
Revision as of 12:18, 14 November 2020
Shifting definition (定義ずらし in Japanese) is a method to generate a googological system introduced by a Japanese Googology Wiki user Jason.[1] It is regarded as a generalisation of side nesting by its creator mrna.
Feature
Similar to side nesting, a \(2\)-ary function symbol \(+\) in a notation defined by shifting definition does not necessarily work as the addition. Namely, even if a valid expression \(a\) corresponds to a countable ordinal \(\alpha\) and \(a + a\) is also a valid expression, \(a + a\) does not necessarily corresponds to \(\alpha + \alpha\).
Another specific feature of shifting definition is that it is intended to be a correspondence which assigns a new defining formula to a defining formula of ordinal functions in a certain class. In order to formalise this strategy, we need to encode defining formulae in set theory in some way. Although the method has not been formalised yet, Jason intends to encode definining formulae into ordinals. There are two examples of unformalised googological systems which are intended to be justified by shifting definition through the encoding of defining formulae into ordinals. We will explain them in the next section.
Example
Since definition shifting is considered as a generalisation of side nesting, the notations in the articles of side nesting, which has not been formalised yet, are examples of notations associated to ordinal functions defined by shifting definition. Three other examples are given by Jason:
Although neither of them has been fully defined yet, they are expected to be significantly strong if they will be appropriately formalised.
δOCF
- Main article: δOCF
δOCF is the first system defined by shifting definition, and is intended to perform as an ordinal function associated to an OCF through the method.[2][3][4]
δφ
- Main article: δφ
δφ is the second system defined by shifting definition, and is intended to perform as an ordinal function associated to Veblen function through shifting definition.[5][6]
ε function
- Main article: ε function
ε function is the third system defined by shifting definition, and it intend to perform as a notation inclusing shifting definition and higher system called meta-shifting definition, meta-meta-shifting definition, and so on.[7][8][9][10]
References
- ↑ The user page of Jason in Japanese Googology Wiki.
- ↑ Jason, δ関数の展開ルール, Google Drive.
- ↑ Jason, δ解説 もっと詳しく, Google Document.
- ↑ Jason, グラハム数〜legend of δ〜, twiiter.
- ↑ Jason, δφ対応表, Google Document.
- ↑ Jason, δφのいろいろ, Japanese Googology WIki user blog.
- ↑ Jason, ε関数定義試作, Google Document. (Trial to formalise the notation.)
- ↑ Jason, ε関数成長記録, Google Document. (Comparison to other notations.)
- ↑ Jason, ε関数 ver ε.0.1.0, Google Document. (The current version.)
- ↑ Jason, ε関数の解説を試みる, Japanese Googology Wiki user blog. (Trial to explain ε function)
See Also
Indian counting system: Lakh · Crore · Tallakshana · Uppala · Dvajagravati · Paduma · Mahakathana · Asankhyeya · Dvajagranisamani · Vahanaprajnapti · Inga · Kuruta · Sarvanikshepa · Agrasara · Uttaraparamanurajahpravesa · Avatamsaka Sutra · Nirabhilapya nirabhilapya parivarta · Jaghanya Parīta Asaṃkhyāta
Chinese, Japanese and Korean counting system: Wan · Yi · Zhao · Jing · Gai · Zi · Rang · Gou · Jian · Zheng · Zai · Ji · Gougasha · Asougi · Nayuta · Fukashigi · Muryoutaisuu
See also: Template:Googology in Japan