コラッツ予想がとけた ..
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このスレッドのURL
■項目テキスト
351:132人目の素数さん 18/06/29 23:49:39.74 KSe/m9fx.net はよはよw 352:righ1113 18/06/30 00:17:51.21 ePd1LYGC.net >>334 問題点は、19x+1版にしても、Coqは「停止する」って言っているのです。 19x+1版は、>>94で反例が出ています。 以下が考えられます。 ・Coqの 353:停止性の証明が間違っている ・オールNothingが出ても無限走行するとは限らない これらを調査しないといけないのですが、 すみませんがマイペースでやらせて下さいf(^_^; 354:132人目の素数さん 18/06/30 00:31:00.91 P0VnQOuD.net つか、Coqが間違ってないとすれば計算が進むたびに減少するなにがしかの量を>>1が見つけたってことだよね? >>274が言ってたことだよね? ホントならかなりすごいよね? 355:righ1113 18/06/30 00:44:28.49 ePd1LYGC.net >>328 >>786氏に見て欲しいことがあるのです。 ・オールNothingが出ても無限走行するとは限らない オールNothingが出た後、本当に無限走行するのか、アルゴリズムで見ていただけないでしょうか。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
46分前に更新/418 KB
担当:undef