コラッツ予想がとけた ..
342:righ1113
18/06/29 00:06:15.82 iQFgCDGa.net
剰余コラッツ予想の例のプログラムですが、
Coqに移植できました。
Coqの関数は全て停止するので、例のプログラムも停止する事になって、
『剰余コラッツ予想は真！』
……と言いたいところですが、怪しさ満載ですので、今しばらく調査します。
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
7日前に更新/418 KB
担当:undef