カテゴリー: Boolean algebra

Logic, Time, Space, Randomness 数学は系の限界を記述するにとどまり、系の外側の可能性には触れない。チューリングは高尚な数学を単純な紙とテープの連なりの問題に引き摺り落とした。そしてそれは同じ…
Read more

discrete mathematics with axiom of choiceというcomputation, modularity, coprimal irreducibilityをコアとしたinteraction …
Read more

オーガスタス・ド・モルガン(Augustus De Morgan)が定式化したDe Morgan’s lawsドモルガンの法則は、集合論や論理学において「否定（NOT）」が「かつ（AND）」や「または（OR）…
Read more

ゲーデルの不可能性定理はundecidablityと誤認されていたが、それはundecidablityなのではなく、 conjectureに過ぎなかったことが時代の後半でわかってきている。不可能とはincomputabl…
Read more