最近、やたらに自分がアスペルガーではないかと思い始めている。アスペルガーには、記憶力が高いという特徴がある。自分にも、思い当たる節がある。 例えば、本屋に行ったとき、囲碁の雑誌を見て、棋譜を一度頭の中で並べると、１週間ぐらいは覚えていられる…

数学基礎論、公理主義、直感主義、公理と数学的モデルなどなど、の本を読んでしばらくたったら、証明とは何か、いきなりわかった。 正直、恥ずかしい。いままで、数学が何かを全然わかっていなかった。初めは、数学の証明と、プログラムが似ているという、感…