Goodstein's theorem
グッドスタインの定理。
公理的集合論ZFCでは定理として証明可能だが、
ペアノ算術の算術命題として定義可能であるのにかかわらず
ペアノ算術の公理系では独立(証明も反証もできない)であることが
証明されているような(自然数についての算術)命題の
有名な実例の一つ。
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 2009/02/04登録
- 1696クリック
「Goodstein's theorem」を検索
「Goodstein's theorem」に関連するキーワード
数
ブログパーツ
-
メイン
コメント (0)
まだコメントされていません。
つながりキーワード (1)
数
- (カオナシ)
原題は、 Zahlen 自然数、整数、有理数、実数、複素数、四元数からsurreal number、hyperreal numberまで 「数」の体系を概観し、基礎から...
携帯でこのページにアクセス
２次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます
