>>418
>n=17 の例から
>「for all n ≥ 3」へ進む論理は 破綻
このようなことはない。このやや難解なアルゴリズムの正当性を示すために
私はそのアルゴリズムをVBAで実装してそのソースコードを開示し、私以外の
人がそのコードを動かし、nが10000までこのアルゴリズムが正常に機能する
ことをその結果をどこかのスレッドに示している。
それではnが10000までしか正しいことを示していないなどという下らない詭弁
を書く人間がいた。このアルゴリズムは無限まで成立することを私は論文に記述
しているのであり、もし私が開発したアルゴリズムが間違いだというのであれば
アルゴリズムが機能しないnを計算で導出することで示さなければならない。
詭弁を弄しているのは、自分で物事を考えずゴミAIに丸投げして下らない反証もどきの
レスをしている方だ。
>「定義から自明」「計算すれば分かる」は
>証明拒否の常套句
以前にプログラムで計算したものがあった。今調べたがそのファイルはなくなっていた。
そのファイルと同じ結果を論文を読んで作成することは当然可能だが。
こんなインチキに付き合わされて非常に不愉快だ。