21/12/18 23:56:48.67 sD9++F1B.net
>>369
>再三指摘していますが、式の定義が不明確なのでこれは「予想」とは言えないことに注意しましょう。
ご冗談を
そもそも予想とは、大体がそんなものです
フェルマー予想しかり、谷山志村予想しかり（谷山氏が予想を述べたときは結構あいまいで、志村氏が精密化したという）
>つまり、数学的主張ではないので「存在証明」も「存在非証明」も出来ないということです。
そんなことはない
ヒルベルトの23の問題の中に、現代数学の目では不明確なものがあったそうだが、
各人自分の解釈を加えて、解決していった（下記など。未解決もある）
あなたの流儀だと、全部受け身で、他人が全部お膳立てしないとダメに聞こえるよ
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルトの23の問題
第4（英語版）解決か否かを決めるには問題が曖昧
URLﾘﾝｸ(ambos.)はてなブログ.com/entry/2016/10/08/080718
日々の泡 2016-10-08
ヒルベルト、未解決の数学の問題のリスト「ヒルベルトの23の問題」を発表(1900)--20世紀の思想と芸術
以下のうち、第6、8、12、16、23の問題が未解決である。
>>良いですよ、ＺＦＣ内で。まず、ツェルメロ可算シングルトン存在仮説が、ＺＦＣ内で矛盾を生じると思われるならば、どうぞその証明をお願いします
>なので、この「ツェルメロ可算シングルトン存在仮説」は数学的主張でないので数学として取り扱えないわけです。
ご冗談でしょう
上記のように、全部受け身じゃない？
全部他人がお膳立てしないと、数学ができない？
だったら、自分で問題を見つけるようなオリジナルな数学研究なんて、できないよね
（まさか、そう主張するの？）
単に逃げているだけと思うが
つづく