アットウィキロゴ

トップページ

ようこそ,このページは"AITwiki アルゴリズム情報理論ウィキ"のトップページです.


ページの編集方針案,または意図の表明

  • Wiki なので間違いを恐れず,発見した際に修正するつもりで,また構造が必要な程度に内容が充実するまでは,ブレストのつもりで脈絡なしに記述したいと思います. -- hrk

キーワード

  • コルモゴロフ複雑性
  • 停止性問題
  • ゲーデルの第一不完全性定理
  • ゲーデルの第二不完全性定理
  • ペアノの公理系
  • オッカムの剃刀
  • 機械学習
  • 人工言語
  • 定理証明器
  • 情報理論


参考文献



リンク




最終更新:2009年10月26日 17:04
添付ファイル