人気のスレッド
既婚女性
954
4870.3
9544870.3乃木坂469671947.3
9671947.3
ニュース速報+3191617.6
3191617.6乃木坂463991361.8
3991361.8
ニュース速報+3241092.9
3241092.9
ニュース速報+3781024.2
3781024.2
ニュース速報+280915.2
280915.2
ニュース速報+349806.2
349806.2乃木坂46267754.7
267754.7市況1829735.5
829735.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
よろしくお願いします。