コラッツ予想がとけた ..
[2ch|▼Menu]
340:１３２人目の素数さん
18/06/30 00:31:00.91 P0VnQOuD.net
つか、Coqが間違ってないとすれば計算が進むたびに減少するなにがしかの量を>>1が見つけたってことだよね？
>>274が言ってたことだよね？
ホントならかなりすごいよね？

次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch
1839日前に更新/342 KB
担当:undef