- 書籍
- 書籍
数学 その形式と機能
商品が入荷した店舗：店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
数学 その形式と機能
¥8,800
在庫なし
商品レビュー
5
3件のお客様レビュー
膨大な現代数学の諸分野の関連を意識した全体の俯瞰．1人でこれだけをカバーできるのはすごい．全てをわかって読むのはかなり難しい．
Posted by 
こういうのよみたかった！数学を概観できる。 辞書的に一冊は持っておきたい本。 再読。 今読むとこの圏論の派閥は形式主義の人たちだなって明確にわかる。私は直観主義の有限への抑えの方が好きだな。
Posted by
- ネタバレ
※このレビューにはネタバレを含みます
p395の数学と力学の相互関係の図はわかりやすい。 それに対して、p531の集合、関数、圏の図はあまりわかりませんでした。 ZFCという単語の説明が ツェルメロ＝フレンケルの公理系 (ZF) フレンケルはAdolf Abraham Halevi Fraenkel ツェルメロはErnst Friedrich Ferdinand Zermelo 最後のCは、AC：Axiom of choice だろうということまではWEBで調べれました。 ZBQCは、Saunders Mac Laneが提案したという。 Automorphism, Maholo Cardinals, and NFU Ali Enayat http://academic2.american.edu/~enayat/Aut.pdf によれば、 Zermelo set theory with Bounded Qantification. 本書では、ラッセルのパラドックスの集まりはZFCでは構成できないが、内包公理をあらかじめ与えられたある集合Wの部分集合をつくる場合にだけ適用することによって解決するという。（８章） 具体例か、うまくいかない例がよくわかりませんでした。 リシャールのパラドックスの構成が、論理式で記述できないかどうかのもよくわかりませんでした。
Posted by