人気のスレッド
既婚女性
970
10809.8
97010809.8乃木坂461252911.1
1252911.1乃木坂462732419.2
2732419.2
ニュース速報+3262377.7
3262377.7乃木坂46921930.3
921930.3
ニュース速報+2071917.9
2071917.9
ニュース速報+6491561.2
6491561.2乃木坂465661436.8
5661436.8市況11861379.4
1861379.4乃木坂462251356.5
2251356.5もっと見る
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%A9%E3%83%83%E3%83%84%E3%81%AE%E5%95%8F%E9%A1%8C
※前スレ
コラッツ予想がとけたらいいな その３
https://rio2016.5ch.net/test/read.cgi/math/1631191485/
私のコラッツ予想の証明、見ていただけたらと思います。
1つ目は、コラッツ予想を Lean 4 で定理証明したものです。
https://github.com/righ1113/divseq2
2つ目、証明のベースは以下の論文です。
https://www.scirp.org/journal/paperinformation.aspx?paperid=115471
よろしくお願いします。