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

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

2021-12-08から1日間の記事一覧

ABC予想と無限論理多項式(1)

ABC予想(1) まず「ABC予想 - Wikipedia」に従って定義を述べます。自然数 に対して、 の互いに異なる素因数の積を の根基 (radical) と呼び、 と書きます。自然数の組 で、 で、 と は互いに素であるものを abc-triple と呼びます。ABC予想(1) (『日本一わか…