エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Doverは偉大なり - Another divergence to an intruder
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Doverは偉大なり - Another divergence to an intruder
重要な本であるPrawitzのNatural deductionが入手困難になっていて、Doverが再版する予定というのは有名... 重要な本であるPrawitzのNatural deductionが入手困難になっていて、Doverが再版する予定というのは有名ですが。今日トポスをやっていて、ふとGoldblattのTopoiって高いよなぁ〜と眺めていたら(古本でも$120くらいする)、なぁんとDoverが再版するみたいじゃないですか。この本は集合論的な視点からのトポスへの入門書で、代数幾何系の人からは折角のトポスのよさが集合論に回収されてしまっているという不満もあるみたいですが、個人的にむちゃくちゃ嬉しいです。Doverのページに情報が無いのでamazon.co.jpにリンク。さっそく予約注文した。 Robert Goldblatt, Topoi: The Categorial Analysis of Logic, Dover, 2006/04. Dag Prawitz, Natural Deduction: A Pro