エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-03-05から1日間の記事一覧

論理計算と随伴関手(18)

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

Zornの補題(1)

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

3次方程式のべき根による解法(2)

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