- 394 名前：１３２人目の素数さん mailto:sage [2011/11/15(火) 01:46:48.53 ]
- >>378
>間違えがある。
>rが再帰的、つまり表現可能とは、
>r⇒PA|-R
>¬r⇒PA|-¬R
>の2つが満たされること。
>rが再帰的⇒PA|-Rにならない。
仰る通りです。私が間違ってました。
>そしてそのPDFは証明の誤りや脱字や
>定義の足らない部分が多数含まれている、
>読まないほうが良い。
たしかに、題からしてすごい間違いを犯してますね。
ただ、私の気になる第二不完全性定理の箇所に関しては、私には誤りが見つかりませんでした。そして、非常に分かりやすい証明でした。
具体的にどこが誤っているか教えていただけませんか？
よろしくお願いします。
