ノート:チューリングマシン
＞(これはゲーデルが1931年に出した「ゲーデルの不完全性定理」の別表現になっている)
という記述ですがこれは正しいでしょうか？
私もうろおぼえなので自信がないのですが、ゲーデルの不完全性定理と停止性問題は同値ではなかったように思います。（間違っていたらすみません）。
ventnor_avenue 2003年2月7日2:00
英語版wikiとの内容の統一[編集]
formal definitionの項目が日本語版独自になっています。英語版に統一していないのは何か理由があるのでしょうか?ないようでしたら修正した方がより良いのではないでしょうか? --Moon of earth（会話） 2016年2月22日 (月) 04:57 (UTC)