第4回 字形的数論ワークショップ

GEB読書会、第4回はこれまでの復習回とし、「字形的数論」(TNT)を実際に手を動かして計算してみようと思います。
ノートやホワイトボードやコンピューターなどを使って、本書に挙げられている推論規則を使って命題を証明してみます。
各種規則のチートシートを用意するので、それを使って論理で遊んでみましょう！

課題章

とりあえず手を動かすのに必要な課題の章は、第3回で扱った下記の範囲です。

• 音程拡大によるカノン
• [第6章] 意味の所在
• 半音階色の幻想曲、そしてフーガ演争
• [第7章] 命題計算
• 蟹のカノン
• [第8章] 字形的数論
• 無の捧げもの
• [第9章] 無門とゲーデル

(166P〜276P)

参考文献

こちらの書籍を手に取っておくと、さらに理解が進むと思われます。

• 数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)
• コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
• 記号論理入門 (日評数学選書)

会場の注意点

• 筆記用具やPCなどを持ってきて頂ければより楽しめます。
• ゴミはお持ち帰りくださいとのことです。
• おかわり自由の1ドリンクが付いています。(料金に含まれます)
• アルコールの持ち込みは禁止です。
• 下記のご利用はお控えいただきます。
  • 携帯ゲーム、ボードゲーム類。
  • 乳幼児・中学生以下のお子様の入場は、ご遠慮ください。
• 開場は12:00からの予定です。
• 途中入場・退出は自由です。