論理学のオススメ書籍一覧
論理学のオススメ書籍一覧をご紹介します。
ことのはじまり。
【お尋ね】【おすすめの本と勉強法】
— 数学カフェ (@mathcafe_japan) 2016年10月3日
公理主義と論理学の入門みたいな勉強したいと考えている方がいて、オススメを教えていただきたいとのこと。詳しい方がいらっしゃいましたらぜひお願い致します!('ᴗ' )
◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦
シン・そくらてす (@7danmoroboshi) | Twitter さんより
早速力の入ったまとめを作ってくださいました!
◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦
証 蔵 (@GLC___) | Twitterさんより
公理についての歴史的な話に始まり、ついで公理主義、そして数学の基礎(論理学、特に証明論の入門)の話へと展開してゆきます。
◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦
カオナシ(T.MATSUMOTO) (@CharStream) | Twitterさんより
ネット上に公開されているレクチャーノートなんかも使えると思いますよ。気軽に触れることが出来て自由に利用できる点が良いのでは。例えば照井一成氏*1のコレとか。
http://www.kurims.kyoto-u.ac.jp/~terui/cs2012ch1.pdf
次はこの本がすすめられます。
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
- 作者: 照井一成
- 出版社/メーカー: 青土社
- 発売日: 2015/02/24
- メディア: 単行本
- この商品を含むブログ (8件) を見る
◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦
ディレッタンティズムの倫理と聖霊の働き (@PhlebotomeH) | Twitter さんより
"公理主義"については林晋さんのwebサイトが大変詳しいです。そもそも公理主義axomatismという言葉は日本でしか使われていない、というなかなか根本的な事から色々と書いてあります。
◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦
Hiroyasu Kamo (@kamo_hiroyasu) | Twitter さんより
◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦
沢山のご協力ありがとうございました!
ご参考になりましたら幸いです。
*1:RIMSの先生です