ゲーデルの不完全性定理の証明の鍵である閉論理式は、ゲーデル数を介した自己言及文となっています。この観点からの話をします。このような形の閉論理式はゲーデル文とも呼ばれます。 . . . 本文を読む
goo blog お知らせ
プロフィール
最新記事
カテゴリー
ログイン
最新コメント
- オノゴロプロジェクト/数学的実在とは－数学の哲学色々－1－
- ノックアウトピン関係/確率を観測する
- ナノテクノロジー関係/確率を観測する
- 吾唯足知（吉呼員和）/ゲーデルの定理-2.3- 自然数の公理系
- 炭化物熱力学/確率を観測する
- 熱処理関係/確率を観測する
- 宇宙工学関係/確率を観測する
- ものづくりストライベック/確率を観測する
- ゾンマーフェルトリスペクト/確率を観測する
- ストライベック/確率を観測する
