数学 その形式と機能 の商品レビュー

ソーンダースマックレーン(著者),赤尾和男(訳者),岡本周一(訳者)

2021/08/24

膨大な現代数学の諸分野の関連を意識した全体の俯瞰．1人でこれだけをカバーできるのはすごい．全てをわかって読むのはかなり難しい．

2016/10/10

こういうのよみたかった！数学を概観できる。
辞書的に一冊は持っておきたい本。

再読。
今読むとこの圏論の派閥は形式主義の人たちだなって明確にわかる。私は直観主義の有限への抑えの方が好きだな。

2011/06/26

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の部分集合をつくる場合にだけ適用することによって解決するという。（８章）

具体例か、うまくいかない例がよくわかりませんでした。

リシャールのパラドックスの構成が、論理式で記述できないかどうかのもよくわかりませんでした。