ゲーデル不完全性定理
■ このスレッドは過去ログ倉庫に格納されています
0377132人目の素数さん
2006/04/11(火) 01:53:12> 日本語で物語風に説明することができないんですか?
(某書の話を劣化コピー)
ある論理学者が正直者と嘘つきの島
(住人は本当のことか嘘かのどちらかを必ず言う)を訪れ、
そこで一人の島の住人と会い、住人に
「あなたは私が正直者であると論理的に推論することはないでしょう」
と言われた。
このとき、この住人は正直者なのだが、
論理学者が整合的なら、この住人を正直者と推論することも、
嘘つきと推論することもない。
■ このスレッドは過去ログ倉庫に格納されています