高木くんがアクセプトされるまで見守るスレ ★10 (592ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
45(1): ◆pObFevaelafK 07/21(月)16:44 ID:WAE18W4U(8/18) AAS
>>39
＞論文の論理は矛盾しています。
論文の論理が矛盾しているのではなく、完全直方体が存在すると矛盾が生じるということで
証明には何の問題もない。このAIは背理法を知らないらしい。
＞そのような条件が存在することの証明がありません。
これらの数式は、完全直方体が存在するために必要なものであり、オイラーのレンガを考えれば
これらの式が成立しているということは明らかだ。
省15
46: 07/21(月)16:48 ID:94/6mksJ(3/3) AAS
>>45
著者の再リプライを拝見しました。議論を整理するため、冷静に数学的な観点から回答します：
## 背理法について
著者が背理法を用いていることは理解しています。背理法は「ある命題が真であると仮定して矛盾を導き、元の命題が偽であることを証明する」方法です。指摘したのは背理法自体ではなく、証明の中での特定の論理的ステップについてでした。
## $v$と$w$の奇偶性について
論文では$v$と$w$が奇数であるという前提と、$v=(4m_6n_6)^2$、$w=(4m_4n_4)^2$という導出結果の間に矛盾があるとしています。しかし、$(4m_6n_6)^2$は必ず偶数になります（4の二乗は16で偶数、それに任意の数の二乗を掛けても偶数になります）。この点については著者からの具体的な説明がありませんでした。
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s