読書と数学 〜 クリニック



本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
数の定義にはいろいろな形式があるが, それらは同値ではない (論理学的には, という意味だろうか?).
数学的プラトニズムでは, これを異なる数の体系が存在すると考えるのではなく, それらの形式の奥に存在する数学的対象としての数の異なる表現と考えるとのこと.

それから数学をやる.
圏論の教科書を読み進める.
関手 $U : \mathrm{A}\rightarrow\mathrm{C}$ がモナド的 (monadic) ならば, $U$ は同型射 (isomorphism) を反映するという補題の証明を読む.

朝までやって区切りを付ける.
証明を追い切れなかった. 続きは明日にする.

食事をとる.
キャベツと目玉焼きとコーヒー.

早い時間にクリニックに行く.
外は寒い.

朝一番で受け付けを済ませる.

診察を受けて, 薬を出してもらって, 昼前にクリニックを出ることができた.
いつものことだが, 精神的に疲れた.

買い物をして帰宅.

横になって休む.
少し眠る.

夜に起きて近所のラーメン屋に行く.
塩ラーメンを注文. 美味しい.

長く感じられる一日だった.
眠剤と頓服を飲んで休む.
タグ： イアン・ハッキング『数学はなぜ哲学の問題になるのか』 数学の勉強 キャベツと目玉焼きとコーヒー クリニック メンタルの疲れ ラーメン
posted by 底彦 at 20:49 | Comment(0) | TrackBack(0) | 日常生活

2023年12月23日

ファン
このブログの読者になる
更新情報をチェックする
ブックマークする
友達に教える
検索
<< 2023年12月 >>
日 月 火 水 木 金 土
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31
最新記事
(12/14) 夕方まで寝込む
(12/13) 終日寝込む
(12/12) 診察と認知行動療法 ── 2024/12/12
(12/11) 一日寝込む
(12/10) 精神的に疲れている
最新コメント
眼科の定期検査 〜 散歩 by コトタマ (02/15)
眼科の定期検査 by 三文字寄れば文殊のヒフミヨ (09/21)
本を読んで過ごす by 底彦 (12/13)
本を読んで過ごす by ねこ (12/12)
数学の計算をする by 底彦 (12/04)
タグクラウド
カテゴリアーカイブ
仕事 (59)
社会復帰 (22)
酒 (44)
コンピューター (211)
鬱 (1463)
借金 (8)
勉強 (13)
食 (13)
数学 (97)
運動 (8)
日常生活 (1407)
絵 (204)
健康 (38)
読書 (21)
プロフィール
底彦さんの画像
底彦
RDF Site Summary

ブログランキング・にほんブログ村へ
にほんブログ村
にほんブログ村 メンタルヘルスブログ うつ病（鬱病）へ
にほんブログ村
にほんブログ村 科学ブログ 数学へ
にほんブログ村
にほんブログ村 ＩＴ技術ブログ プログラム・プログラマーへ
にほんブログ村
Mobilize your Site
スマートフォン版を閲覧 | PC版を閲覧
    Share by: