>(これはゲーデルが1931年に出した「ゲーデルの不完全性定理」の別表現になっている) という記述ですがこれは正しいでしょうか? 私もうろおぼえなので自信がないのですが、ゲーデルの不完全性定理と停止性問題は同値ではなかったように思います。(間違っていたらすみません)。
ventnor_avenue 2003年2月7日2:00
カテゴリ: 数学のノート