Doorkeeper

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

2016-07-03(日)12:30 - 14:30 JST

Connecting The Dots

〒150-0041 東京都渋谷区神南1丁目20−7 川原ビル4F

申し込む

申し込み受付は終了しました

今後イベント情報を受け取る

1,000円 会場払い

詳細

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

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

課題章

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

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

(166P〜276P)

参考文献

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

会場の注意点

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

コミュニティについて

「ゲーデル、エッシャー、バッハ」読書会

「ゲーデル、エッシャー、バッハ」読書会

ダグラス・ホフスタッター著「ゲーデル、エッシャー、バッハ」をじっくり読んでいく読書会です。 http://www.amazon.co.jp/dp/4826901259 レポート用ブログ 20周年記念版からさらに10年が経った今、当時の問題提起とは何だったのか、どこまで解決できて何ができていないのか、といった所を確かめてみたいと思います。 読んできた人が集まって、面白かったところ・よ...

メンバーになる