Thu, 26 Mar 2009
今日の仕事
- コミュニケーション
今日の収穫
- PuttyでCtrl-S押しちゃったらどうしよう!?
- Ctrl-Q が救世主(めしあ)らしいです
今日のサイト
- Stack Stock Books
- 積ん読管理
- 1+1=2の証明って?
- 答えなきゃならないのは「公理」って考え方だと思うんだけど、誰も言及してないんだよなあ*1
*1:要は1+1=2とするためには最低どんなことを既知とすべきかって言う問題があって、その議論に沿って言えば1+1=2は最低限の既知な部分から証明される命題になるということ。