先日7/3(日)、渋谷の「Connecting The Dots」で第4回「字形的数論ワークショップ」を開催しました。

参加者が少なくならないか不安でしたが、蓋を開けてみれば8人もの方々に参加頂けました。参加してくださった皆さん、ありがとうございました。

f:id:outland_karasu:20160703120248j:plain f:id:outland_karasu:20160703143819j:plain f:id:outland_karasu:20160529145235j:plain

今回は、GEBの中で定義される 字形的数論 (TNT)を、実際に手を動かして体験してみる、という趣旨でした。

TNTの公理をまとめたチートシートを傍らに、GEBで実際に証明された定理のうち簡単なものをいくつかピックアップして解いてみました。

今回使用したチートシートはQiitaに残しておきましたので、興味のある方は読んでみてください。

個人的な副読本として、前原昭二「記号論理入門」も役に立ちました。

命題計算

今回、さすがに2時間ではあまり多くの問題に触れられず、命題計算を少しだけ解いてみるだけに留まりました……。取り上げた問題は、下記のようなものです。

これらはすべてGEBの中で実際に証明されているので、答えが気になった方は是非とも探してみてください。

次回

次回は8/28(日)を予定しています。次回は今までの数理論理学から少し距離を置いた、コンピュータや脳科学や複雑系といったトピックを扱う部分になります。次回が終わると、いよいよ本書の内容も佳境に入ってくると思われます。

私は下記の副読本を読んでいこうと思います。

今回は幅広いトピックとなっています。何かオススメの参考文献を教えて頂ければ嬉しいです。