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

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

2020-04-14から1日間の記事一覧

群論の計算(13)

実数 この議論はガロア理論には必要ないと思われるのですが、代数学の基本定理を説明するために必要なので書いておきます。 有理数の順序 を有理数全体の集合とします。正または の有理数全体の集合を とおきます。 の元は正または の整数 と正の整数 で と…