メモ

プリンキピア・マテマティカには(結構後のほうに)1+1=2の証明があるらしいが、その証明で示されていることは「1の後者(successor)と加法なる演算によって定義される1+1が等しい」ということなのか? まあいつかの夏休みに読む。 今年は無理だ。 Vが線型空…

まともな人間は忙しいならネットしない。

ここ数日いろいろ人に会ったりしたので言われたこと、話題に出たことなど 5月2日 夢中になれることを見つければ女などというものは必要なくなる。 (女の子との会話は)要は慣れですよ、慣れ。 モテ圧力というものが実在するのを初めて見た(僕がモテたいの…