内包的情報
内包的情報
情報理論
における、
確率
で定義される情報量を
外延的情報
と呼ぶことにします。
一般的な意味での
情報
とは？
何かについて役に立つ
知識
判断
や
意思決定
に
役に立つ
もの
といった意味を持っていると思います。
僕はこの情報の
概念
を
数学
における
推論
や
証明
に持ち込みたい。
（
情報理論
における情報はこういった意味を捨象しています）