数学基礎論の質問スレッド その２
レス数が950を超えています。1000を超えると書き込みができなくなります。
0982１３２人目の素数さん
2007/01/31(水) 19:47:05>ベリーはゲーデルの一般化と思ってよいでしょうか？
うん。YESだろう。
ところで、ベリーの定理：
｢任意の正整数kに対して、ｋ文字以内で定義できない
最短の文字列を計算する｣関数P(k)は存在しない
だが、それを少し変えた
｢任意の正整数kに対して、ｋ文字以内で定義"できる"
最短の文字列を計算する｣関数P(k)は存在するのだろうか？
レス数が950を超えています。1000を超えると書き込みができなくなります。