論理計算の極限について細かいところは検証が必要ですがだいたいの説明はできました。元々は自由生成された半環の極限を考えていたのですが、これが論理計算の逆方向になるということが圏論の考え方で説明できると考えられます。圏論については詳しくないの…

Optimistic Mathematics のサイトで「Zornの補題」を選出公理から数式の変形で導くということを試みています。あまりうまくいっていないのですがとりあえず引用しておきます。 Zornの補題 集合Xにおける関係≦が、 (1) x≦x、 (2) x≦y, y≦z ⇒ x≦z、 (3) x≦y, y…

Optimistic Mathematics のサイトで3次方程式のべき根による解法についてもここと同様のこと書いているので、同じ内容をこちらにも書いておきます。ここでは体の中の多項式ということではなく単に多項式を使って説明しているようです。本質的といえば本質的…