GEB

今回は第一章を読んだ。

キーワード

• ゼノン「運動は本来的に不可能」
  • 運動は非在
• 形式システム
• MUパズル
  • MIUシステム
• 定理
  • 形式システムにおける定理とはそこに出てくる文字列でもある
  • 公理：無償の定理
• 人間と機械
  • 人間はパタンを探し出せる
  • 人間はシステムから出られる
    • システムの中で動く
    • システムから出て観察を行う

• 非定理とはは何か？
  • 非定理を検出するには？
    • 有限時間で終わるか？
  • 決定手続きが求められる

定理と非定理を判別する決定手続きが存在するかしないか。

終わった後は、百香亭でだらだらだご飯を食べた。

◆6sese.hiki - 『ゲーデル,エッシャー,バッハ―(ry』読書会

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

つう事で、前々から話していたGEBの読書会を今日からスタートした。

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

今日読んだのは序論。キーワードを羅列しておくと。

• バッハ『音楽の捧げもの』
• カノンとフーガ。対位法。
• 「不思議の環」。「もつれた階層」
  • 環の締まり具合
  • 多レベル階層システム
• エッシャー
• クレタ人のパラドクス「私は嘘つきである」
• ゲーデル不完全性定理
  • ゲーデル数
  • 命題の自己言及。命題の命題。
• 証明とは何か
• 「証明可能」は「真」より弱い概念

といった感じ。まだ消化しきっていない。特に音楽の話はイメージが掴みづらい。少しずつ周辺知識を調べながら読んでいこう。

Continue reading