2011-01-22から1日間の記事一覧

Sat, Jan 22

23:59 あり得る結末ですよね。ところで選択公理とは独立でないというのは何故に? RT @ainsophyao: どさくさにまぎれて、P!=NP は ZF から独立に違いないとかいっておく。 20:04 ハンディタイプのデジタルマルチメーターを買ったら熱電対まで付いてきて驚い…