RSSフィード:http://alpha-ralpha.com/diary/index.rdf
2016-04-13 武蔵小杉・白ヤギカフェ [長年日記]
_ 白ヤギさんたらコーヒー食べた。
中原図書館で「高木貞治とその時代」と「数学ガール ゲーデルの不完全性定理」借りた。後者は、自然数を定義するペアノシステムへの導入として大変役立つように思われる。白ヤギコーヒーは、人類がコーヒーを発見するきっかけとなった、赤い実を食べて興奮して踊り出した白ヤギの伝説に因むとのこと。炭焼きブレンド頼む。品書きでは香り高いはずなのにちっとも香らない
風邪でも引いたのか?
_ 日記読んでて思い出したよ。わからなかったのはペアノの公理系もだけど、コーシー列もじゃないか。解析学の本も必要だった。
風邪早く治そうね!
風邪じゃないです。単に本当にコーヒーの香りが弱かっただけです。