高木くんがアクセプトされるまで見守るスレ ★10 (641ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
508(2): 07/31(木)08:12 ID:Ta0z0UNM(1/11) AAS
>>505
論理式でよろしく
509: 07/31(木)08:13 ID:Ta0z0UNM(2/11) AAS
>>508
>>501
うわー間違えた、論理式じゃなくて論理記号だ
511(1): 07/31(木)10:31 ID:Ta0z0UNM(3/11) AAS
>>510
無理だってば
>>501で論理記号を論理式と言い間違えたが
論理記号でその初期条件とか条件を外すとかがどう表現されるのか全く検討がつかない
論理記号で書けない代物になってるようにしか見えない
512: 07/31(木)10:36 ID:Ta0z0UNM(4/11) AAS
>>505
>a,b,cが互いに素であるという場合に、>変数の
>偶奇を決定することができる。
64 １３２人目の素数さん sage 2025/07/21(月) 22:59:51.23 ID:BqpGE4r9
>>62
>>50の>各辺の長さが2倍の完全直方体が存在するとした場合にそれを表す変数の偶奇が異なるようになる、と言ってますが
辺の長さが互いに素になる場合に限定した議論を、明らかにここでは「各辺の長さが2倍の完全直方体」に適用してる
省1
513(1): 07/31(木)10:38 ID:Ta0z0UNM(5/11) AAS
>>510
書いた本人である高木くんが論理記号に直せないなら、もうそれは諦めることをお勧めする
515(2): 07/31(木)10:56 ID:Ta0z0UNM(6/11) AAS
>>514
この論理の中に、どこに完全直方体の不存在をあらわす命題があるのか、自分で見直してくれとしか
俺達に見えない
516: 07/31(木)10:57 ID:Ta0z0UNM(7/11) AAS
>>515
俺達には見えない
517(1): 07/31(木)11:01 ID:Ta0z0UNM(8/11) AAS
原始完全直方体が存在する⇔始めの7式成立し、かつa,b,cが互いに素が成立する
k_4,k_5,k_6(a,b,c)が互いに素である⇔g^2の式が成立
------謎のギャップ--------
k_4,k_5,k_6(a,b,c)が互いに素でない⇒g^2の式で右辺の括弧の中をGCD(k_4,k_5,k_6)^2で割った式が成立
519(2): 07/31(木)12:23 ID:Ta0z0UNM(9/11) AAS
>>518
>>514のどこに
vとwが奇数と定義しているのに、式(2)と式(3)を比較すると
vとwが偶数でなければならないという矛盾が生じるから
完全直方体が存在するという仮定が誤りになる。
という内容があるのか見えないし、単にvとwが奇数と定義したのが間違いなだけとも読めるよ、それだと
高木くんの英語は、定義、仮定、条件、初期条件、初期条件を外す、条件を外したかと思えばまたかけ直す、修飾だ、形容詞だとバラエティーにとんだ非論理的な言語ではないので
省4
520: 07/31(木)12:30 ID:Ta0z0UNM(10/11) AAS
>>518
日本語でもあなたの数学は読めない
＞------謎のギャップ--------
>何もギャップはない
⇒も⇔も何もないんだら、取ってつけた話でしょう、それは
522(1): 07/31(木)12:40 ID:Ta0z0UNM(11/11) AAS
>>521
高校生レベルの証明ならありがたい。
高校生レベルの証明を自称するなら、
初期条件、条件外す、また条件を付けるとか言い出した時点で、
証明になってないことが分かる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s