帰ってきた「現代数理論理学序説」お茶会

古森・小野の『現代数理論理学序説』について話すだけのお茶会というのが趣旨になりますが、何かわからないことや面白いことがあったらどんどん発言していきましょう。

お茶会である理由

この本を用いた勉強会では、基本もくもくと各位が読んで、疑問点・わからなかったところを質問したり、興味を持ったところを発表したりするのが一番効率的だと思ってました。しかし、普通にお茶と一緒に話していくのがいいというのがわかった。

主催者は、2回ほど通読し、1年間を通じた勉強会を行った経験もあります。 しかし、よくわかってないため、参加者各位と悩む補助的な役割に徹することになるかと思います。

どんな人におすすめ？

プログラミング言語の基礎的な部分を触ってみたい人や論理学に興味がある人におすすめ。

「『現代数理論理学序説』、プレ値がついて買えるわけないじゃん」

買えない時代になってしまったので、お持ちの論理学関連の書籍を持ってきてくれると嬉しいです。

それをベースに関連する箇所について議論していきましょう。