2023.08.10
前:
2023.08.09
後:
2023.08.11
#日報
知った
カット除去定理の応用#64d4792f13a15800008e205d
おれは知らなかった.
読んだ
古森 雄一, 小野 寛晰『現代数理論理学序説』
おもしろいが,かなり駆け足かつ最初から技巧的で数理論理学の初心者におすすめする本ではない気がする.
コンビネータ論理
から始まる論理学のテキストはほとんど類を見ないし,なんなら
コンビネータ論理
の本自体もあんまり無い気がするのでそこはいいかもしれない
いいね
https://open.spotify.com/track/0c7nE2jayGCs0cS8FcEyib?si=2fa364142c734da9
メモ
複素関数論のTaylor展開とLaurent展開
メモしたが別にメモする意味はない