コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2018-01-03 to 1 day

(-1)*(-1) = 1

足し算の定義:0と−が存在して結合法則と交換法則を満たすような演算のことを足し算と呼ぶ (-1)×(-1)=1の数学的証明が凄すぎて大草原 | 不思議.net ここを見て、Agdaで(-1)*(-1) = 1を証明したいと思った。 いちおうできた。 Agda/integer7.agda at m…