2006-06-23から1日間の記事一覧

あ、そうだ。論理学と亀といえば

ルイスキャロルによる「亀がアキレスに言ったこと」。

亀よ

LOGOという教育用プログラミング言語には 亀さんがいて、言った通りに平面上を歩いてくれる。 友達をそそのかして、球面上を歩いてくれる方がうれしいよね、と言ったら作ってくれた。わーい。

ΨにΦ、ΨにΦ

論理学演習13番、簡単だよ。と言ってid:kzkに奨めてみた。もうすぐ三週間になるのに解けないという。そんなはずはないと思っていた。するとF-さんも、たいへん、という。そんなはずは無いと思って、id:kzkとF-さんの前で解いてみた。 5分後:うわーたいへん…