数学カフェ

数学カフェの活動内容をまとめます。

論理学のオススメ書籍一覧

論理学のオススメ書籍一覧をご紹介します。

ことのはじまり。

 

 

◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦

シン・そくらてす (@7danmoroboshi) | Twitter さんより

 

早速力の入ったまとめを作ってくださいました!

 

sokrates7chaos.hatenablog.com

 

◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦

証 蔵 (@GLC___) | Twitterさんより

公理についての歴史的な話に始まり、ついで公理主義、そして数学の基礎(論理学、特に証明論の入門)の話へと展開してゆきます。 

 

 

公理と証明 証明論への招待 (ちくま学芸文庫)

公理と証明 証明論への招待 (ちくま学芸文庫)

 

 

◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦

 

カオナシ(T.MATSUMOTO) (@CharStream) | Twitterさんより

 

ネット上に公開されているレクチャーノートなんかも使えると思いますよ。気軽に触れることが出来て自由に利用できる点が良いのでは。例えば照井一成氏*1のコレとか。

http://www.kurims.kyoto-u.ac.jp/~terui/cs2012ch1.pdf

 

次はこの本がすすめられます。 

  

 

◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦

ディレッタンティズムの倫理と聖霊の働き (@PhlebotomeH) | Twitter さんより

"公理主義"については林晋さんのwebサイトが大変詳しいです。そもそも公理主義axomatismという言葉は日本でしか使われていない、というなかなか根本的な事から色々と書いてあります。

ゲーデルと数学基礎論の歴史 -不完全性定理-

 

◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦

Hiroyasu Kamo (@kamo_hiroyasu) | Twitter さんより

 

ワイルダー数学基礎論序説』が良い意味でも悪い意味でも牧歌的です。たぶん、絶版ですが。

 

数学基礎論序説 (1969年)

数学基礎論序説 (1969年)

 

 

◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦•◦

沢山のご協力ありがとうございました!
ご参考になりましたら幸いです。

 

 

*1:RIMSの先生です