今回は第一章を読んだ。
キーワード
- ゼノン「運動は本来的に不可能」
- 運動は非在
- 形式システム
- MUパズル
- MIUシステム
- 定理
- 形式システムにおける定理とはそこに出てくる文字列でもある
- 公理：無償の定理
- 人間と機械
- 人間はパタンを探し出せる
- 人間はシステムから出られる
- システムの中で動く
- システムから出て観察を行う
- 非定理とはは何か？
- 非定理を検出するには？
- 有限時間で終わるか？
- 決定手続きが求められる
- 非定理を検出するには？
定理と非定理を判別する決定手続きが存在するかしないか。
終わった後は、百香亭でだらだらだご飯を食べた。
◆6sese.hiki - 『ゲーデル,エッシャー,バッハ―(ry』読書会
 |
ゲーデル,エッシャー,バッハ―あるいは不思議の環 ダグラス・R・ホフスタッター 野崎 昭弘 はやし はじめ 白揚社 1985-05 売り上げランキング : 156895 おすすめ平均  Amazonで詳しく見る by G-Tools |
- Newer: エクスメディア大セール中
- Older: 大徳川展に行ってきた。
Comments:0
Trackback:0
- TrackBack URL for this entry
- http://www.6sese.info/wordpress/archives/373/trackback
- Listed below are links to weblogs that reference
- 第二回GEB読書会 from 6sese.memo
