記事一覧
レイモンド・スマリヤン ゲーデルの不完全性定理(高橋昌一郎訳) 副読本(誤訳の訂正)
レイモンド・スマリヤン ゲーデルの不完全性定理(高橋昌一郎訳)
名著です。致命的な誤訳のせいで、日本語版が異常に読みにくいです。このノートに誤訳の指摘と正しい訳例を記載します。
第一章
P.7
<元の日本語>
[すべての式Eとすべての自然数nに対して、式E(n)を与える関数Ф。
この関数はすべての述語Hとすべての自然数nに対して、式H(n)が文であるための条件として必要である]
⇒<訂
短歌 (ペンギンは飛べない鳥で人間は何ができない猿なんだろう /またはそれ以外の歌)
(とても昔に、NHKラジオで短歌の番組があり、投稿していました。数首採用されたことがあります。)
ペンギンは飛べない鳥で人間は何ができない猿なんだろう
算数の問題の中でA君は同じ速さで走り続けた
窓からは東京タワー 口からはフライドチキンの骨が出てくる
スカートがはためく影を見つめてる 風が地球の頬を撫でてく
細胞の海を無心に泳いでる ミトコンドリアに生かされている
あの年はノストラ
『はい』か『いいえ』で答えられる質問一回で、箱の中身を当てる方法。
（前置き）『はい』か『いいえ』で答えられる質問2回で、面接官の持つ箱の中身を知るためには、次のように聞けば良い。
*****
質問1「次の質問に対する答えは『はい』ですか？」
答えが『はい』のとき
質問2「箱をあけてもらえますか？」
質問に対する答えがいいえのとき
質問2.「箱をあけないでもらえますか？」
*****
（問題）
『はい』か『いいえ』で答えられる質問一回だけして、箱
重さの異なる5つのコインを天秤7回で重さ順に並べる方法
（問題）重さの異なる5つのコインABCDEがある。天秤を7回使って重さ順に並べることはできるか？5つのコインは見分けがつくものとする。
（解）できる。場合分けを発生させないシンプルな説明を以下で試みる。
それぞれの重さをa b c d e とする。
a とbを比べ、c とdを比べ、『abのうち重い方』と『cdのうち重い方』を比べる。仮にa>b、 a>c>d だったと仮定しても、一般性を失わな