23/12/15 08:19:18.49 EMMGliPR.net
>>495
>だからお前が言い出した直観主義ならばラッセルのパラドックスが起きないってのを説明しろって言ってんだよ
>脳味噌腐ってるのかよ
手元に、有名な 竹内外史 「層・圏・トポス」がある
今見ると、あんまり読んでないw(きれいなまま)
が、いま見ると ”はじめに”の章で P8から2頁ほどで
直観論理について、概要をまとめている
読んでみな
それで足りなければ、全部読みな
それで足りなければ、>>494に上げた文献を全部よめ
URLリンク(www.)アマゾン
層・圏・トポス―現代的集合像を求めて 単行本 – 1978/1/20
竹内 外史 (著)日本評論社
書評
目玉焼き
5つ星のうち4.0 後でちゃんとしたレビューを書くかもしれない
2021年8月31日に日本でレビュー済み
Amazon_太郎
5つ星のうち1.0 適切なトポス 入門書とは呼べない。
2021年8月21日に日本でレビュー済み
Lawvere の Elementary Topos のみに焦点をあて、
グロタンディークトポスを除外しており、
適切なトポス 理論が本書から得られない。