■ 直した
だいぶ直した。
わりとわかりやすくなったのではないかと思う。
短かい説明もできるようになった。
追記: さらにまた直した。
- decode(x) に x 自身を【代入】したものを x の自己適用文と呼ぼう
- 以下の関数 P(x) を考えよう。
- 「P(x): x の自己適用文は【証明】できない」
- P(x) に P(x) によく似たレベル1の【式】p を代入しよう。
- 「P(p): p の自己適用文は【証明】できない」
- 「p の自己適用文」って P(p) と同じものじゃないか。つまり「この文は証明できない」って言ってるのと一緒。
- 「この文は証明できない」は証明できるか？ 証明できないか？
■ なくした
第一不完全性定理について考えながらうろうろしていたせいで、1万円を引き出したあとキャッシュディスペンサーから回収するのを忘れた。
ご飯を食べたあと、回収し忘れたことに気がついて戻ったが、当然もうなくなっていた。
コメント(4)
コメントする
トラックバック(0)
このブログ記事を参照しているブログ一覧: 雑記2008年3月6日(木)
このブログ記事に対するトラックバックURL: http://www.at-akada.org/mt/mt-tb.cgi/893
俺もATMで降ろした金の回収忘れやった事ありますが、
次の人がマッハで抜いてなければ、また口座に戻ってますよ。
銀行の人に「取り忘れたんですけど〜」って涙目で電話したら
』 (2008/03/11 3:48)電話の向こうで女神みたいなきれいなお姉さんが「大丈夫ですよ!」って
「大丈夫ですよ!」って、女神みたいな人が。きれいで。
つまり女神に貢いだと思って我慢しろと(違
』 (2008/03/11 8:36)I think that you really can judge people by the way they comment different stuff. Some people, even expressing negative thoughts, are still polite and they respect and understand other people. Some people are not even trying to be nice, they just don’t care. I think self-confident person will always act nice, no matter what other people do
』 (2008/04/ 7 3:41)I have been visiting sources like that lately. That’s the most important point of everything. That’s why I can professionally say that this information is objective and sounds true to me
』 (2008/04/ 9 18:50)