グッドスタインの定理 - Wikipedia
グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術からは決定不能（証明も反証もできないこと）が知られている。 ペアノ算術に決定不能な命題があること自体は、ゲーデルの不完全性定理により示されている。しかし、不完全性定理の一般的な証明で用いる命題が自己言及のパラドックスを利用した「人工的」なものであるのに対し、グッドスタインの定理は「自然な」決定不能命題の例として知られる。 なお、グッドスタインの定理は集合論の公理系、特に無限集合の公理を用いて証明できる。 グッドスタイン数列を定義するに当たり、まず「nを底とした遺伝的記法」を定義する。ある自然数をｎを底とした遺伝的記法で表すためには、まずその数を（ただし、は0とn-1の間の値をとる整数）という形
"C10H22高原" - Google 検索
@Na_nn_aa_na. あおやまなごす. C10H22高原. Joined March 2020. 178 Following. 129 Followers. These Tweets are protected. Only approved followers can see this ...
"メタン高原" - Google 検索
... あったが、あれも同族なんだろうか。他にオクタン高原とかプロパン高原とかあれば決まりなんだが。音的にメタン高原はありそうな気がする。住みたくはないが。
尾行日記
俺の名前はルルーペ。 幻影旅団がヨークシンのオークションに出没するという情報が入った。 そこで「絶の達人」である俺の登場ってわけだ。 今回の任務は幻影旅団の尾行調査。 死なない程度にがんばるぜ！ъ( ﾟｰ^) 第１章 「女郎蜘蛛」 第２章 「最強の陰獣」 第３章 「もう一つの念能力」 第４章 「３枚」 第５章 「裏ルール」 第６章 「裏プレイヤー」 第７章 「裏ゲーム」 第８章 「クリア条件」 第９章 「交渉人」 第１０章 「宝物庫」 第１１章 「１４人の悪魔」 第１２章 「アナザーエンディング」 第１３章 「エピローグ・・・そして」 第１４章 「運命の出会い」
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Programming Pearls
