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

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

2020-12-18から1日間の記事一覧

エレファントな整数論(1)

ここでは「初等整数論入門」に従って素因数分解の一意可能性の定理(以下の定理 5)を数式を使って書く方法について検討してみたいと思います。この定理は「オイラーとリーマンのゼータ関数」でも取り上げられています。このブログの記事「群論の計算(20)」の…