チラシの裏
オフ中に(今もそうだけど)集合論を独学しながら考えた事。集合指向(セット指向)プログラミングとかあったらおもしろいかも。万物は集合で、その間の関係とか写像とかを定義しながら使うわけで。で、どの集合論を使うの?っていうと、まあ、ZFとBGという選択…
ネットを検索していたら、不完全性定理とミステリを結びつけて扱っている文献が、いくつか見つかりました。 それを読んで考えた事を書きます。……といっても、話題の旬を逃してそうだし、同じ事いってる人居そうですが。トンデモ覚悟で聞いて下さい(何 まず、…