FANDOM

Koteitan

こと koteitan

アドミン
  • 居住地 SUN/SOLc
  • Koteitan

    巨大数専用マストドン Googoldon を作りました。

    Googoldon

    Mathjaxが使えて、半角の$$でくくると数式も書けます。 グローバルなサイトにしたいので、Googology Wikiでも宣伝しています。 でも、日本語OKです。日本語でも英語でもロシア語でも中国語でも何語でもOK!としたいです。 議論をするもよし、質問をしてもしいし、日記でもよいし、独り言やメモでもよい、というゆるい感じで進めようと思います。

    全文を読む >
  • Koteitan

    Wojowu の BIG FOOT を解説した Nathan Ho による "First-order Oodle Theory"  の日本語対訳です。一番の肝となる ordinal \(\text{Ord}\) の定義の方法が載っている "Sets?" と題された項のところだけ訳してみました。もしも間違いがあれば訂正しますのでコメントで書いてください。

    No.原文日本語1Sets?集合は?2A question arises: how to define sets inside this structure?疑問がひとつ生じます:どうやってこの構造の中で集合を定義するの?3Turns out, it's impossible.結果を言うと、それは無理なんです。4Firstly, because "sets" don't even have definition, secondly, oodleverse could as well work out as a universe of sets.まず、「集合」は定義すら持っていないし、もっと言うと、ooldverse のほうがより集合の宇宙としてうまく働くことができます。5However, if we had some quite large oodinal, which we'll denote \(\text{Ord}\), we could define sets as oodles which have rank \(

    全文を読む >

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki