第四回GEB読書会

また、記録を書くまでに時間が掛かってしまった・・・

今週（っていうか、先週12日）は第三章「図と地」を読みました。satou30とmiyaga50がいなかったので静かだった。

キーワード。

• 「無伴奏ヴァイオリンのためのソナタ」
• ADACが入る英単語って何かある？→わかんねえ
• じゃあ、Hが頭とおしりに入る英単語は？→Headachとかは？
• tqシステム
  • xが‐であれば、xt-qxが公理
  • xty-qzxは新しい定理
    • –t-q–
    • –t–q—-
    • –t—q——
  • x-ty-qzが定理ならば、Czも定理である。zは合成数になる。
  • Cxが定理でなければ、Pxは定理になる？？素数は、合成数以外の自然数だが・・・
    • Cxが定理でないかどうか調べることができるか？
• 図と地。
  • 二重に再帰的な図
  • 認識可能な形であって、その消極的な部分は認識可能でないものが存在する。
  • 筆記的に書ける図であって再帰的でないものが存在する。
    • ↑これが普通(？)
• 再帰的に加算な集合と再帰的集合
  • 形式システムの中には、その消極的な部分がいかなる形式システムの積極的な部分になり得ないものが存在する
  • 再帰的に加算であるが再帰的でない集合が存在する
  • 形式システムの中には、字形的な決定手続きが存在しないものがある
• 素数を形式的に表す
  • 単調生がキー

今度から終わったらその日のうちに記録するように心がけよう。

そう言えば、前回出てきたアキレスと亀のゼノンのパラドクスについて書いてる人がいたので紹介

◆到達しえぬ（不完全な）愛、あるいは、永遠に先延ばしされた（不朽の＝完全な）愛について。 - In its right place
また、あした。
◆6sese.hiki - 『ゲーデル,エッシャー,バッハ―(ry』読書会

ゲーデル,エッシャー,バッハ―あるいは不思議の環 ダグラス・R・ホフスタッター 野崎 昭弘 はやし はじめ 白揚社 1985-05 売り上げランキング : 156895 おすすめ平均 Amazonで詳しく見る by G-Tools