和木 慎一郎
- いいね数 9,816/8,668
- フォロー 811 フォロワー 159 ツイート 6,570
- 現在地 山口県岩国市由宇町 / 広島県廿日市沖塩屋
- Web http://b.hatena.ne.jp/sin16waki
- 自己紹介 私ツイート/コメントは一部閲覧注意なブックマーク/リンク集。 http://booklog.jp/users/shinwaki http://bookmeter.com/users/459004 http://bit.ly/2FMgAyS https://amzn.to/3w3ZEPB
Favolog ホーム
» @WakiShinichiro
» 2012年05月11日
並び順 : 新→古 | 古→新
2012年05月11日(金)
【直観主義の数学1】現在整理された直観主義,あるいは構成主義的数学は創始者ブラウワーの直観主義とはかなり様相が異なる.つまりブラウワーの持っている哲学性をすべて剥奪したものになっている.そこでブラウワーの哲学をちょっとメモ風に紹介しよう.
タグ:
posted at 14:17:47
![](https://abs.twimg.com/sticky/default_profile_images/default_profile_0_normal.png)
非公開
タグ:
posted at xx:xx:xx
![](https://abs.twimg.com/sticky/default_profile_images/default_profile_0_normal.png)
非公開
タグ:
posted at xx:xx:xx
![](https://pbs.twimg.com/profile_images/914513912858423296/jBF8qYhv_normal.jpg)
![](https://pbs.twimg.com/profile_images/1078298434845589506/LCiq5VDY_normal.jpg)
日本評論社の『数学セミナー』誌は本当におすすめの雑誌。ぼくがここ数ヶ月のあいだ楽しみに読んでいるのは「圏論の歩き方」。知っている話が多いのですが、正直函数プログラミング関係の話は全然知らなかったので滅茶苦茶楽しめました。圏論のモナドのような話がもろに役に立ちそうなことが~続く
タグ:
posted at 21:59:23
![](https://pbs.twimg.com/profile_images/1417360534517608449/kEhixtwO_normal.jpg)
スポンサーリンク