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

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

2021-05-15から1日間の記事一覧

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

写像の性質の続き 前回の議論では足りないところがあるので追加していきます。証明はまとめることができると思うのですが、できませんでした。集合論の中の自然数論のような話題だと思うので、まとめて書かれているところがあると思うのですが、見つけること…