[過去ﾛｸﾞ]
高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
高木くんがアクセプトされるまで見守るスレ ★4 http://rio2016.5ch.net/test/read.cgi/math/1688037294/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
542: ◆pObFevaelafK [sage] 2023/07/23(日) 09:44:33.58 ID:eeIoyfZm >>540 分かっていない人間にとやかくいわれる筋合いはない。AとBの関係が依存しないことを独立しているという。 命題Bが真であることは証明しているから、命題Aの否定命題には依存しない。つまり独立している。 命題Aの否定命題は仮定であるから、この仮定が真であるとすると命題Bが成立しなくなり矛盾が生じる。 よって、背理法により命題Ａの否定命題が偽となるので、命題Aは真となる。 これは数学的に正しい論理だ。 ＞お前の定義言及不足オリジナル数学の読解を委ね続ける気なんだ？ こんなことを書いている>>540は本当に背理法を理解してないし、未解決問題12問を 完全に解決した私に「お前」呼ばわりで相当偉そうですね、間違いを書きまくりで どうすればそういう言葉使いができるのでしょうか？ >>514だと思いますが、>>515のレスはスルーですか？自分が書いたことなんですから その例を示して下さい。 ＞「n^2<p<n(n+1)を満たすpが全て合成数である」→「合成数であるpは全てrと一対一の関係を設定できない。」 http://rio2016.5ch.net/test/read.cgi/math/1688037294/542
545: １３２人目の素数さん [sage] 2023/07/23(日) 10:46:00.55 ID:EkZTU9WR >>542 >>514は俺だし、>>516のとおり反例を示してる 一つ一つがアホだな >>538 早くアルゴリズムとやらを書いてね 最初のステップはなんだ？ 大嘘つきさん http://rio2016.5ch.net/test/read.cgi/math/1688037294/545
599: １３２人目の素数さん [sage] 2023/07/25(火) 02:22:27.05 ID:Pa7cdoId 何で高木は命題Bが「『命題Aの否定」命題』」=「命題¬A」等と言うんだろ？ >>542 > 命題Aの否定命題は仮定であるから、この仮定が真であるとすると命題Bが成立しなくなり矛盾が生じる｡ 独立なのに命題¬Aを真と仮定すると命題Bが成立しなくなるとほざいて矛盾と宣う高木｡ > よって、背理法により命題Ａの否定命題が偽となるので、命題Aは真となる｡ 独立なはずなのに否定Aを真とすると、真である筈の相方が偽と成るので背理法により命題Aを真と抜かす高木｡ 世界標準数学では、命題Aが真だろうと偽だろうと単体で矛盾でも、命題Bが矛盾であるか無矛盾であるかに関与しない場合を『独立』と言うんじゃなかった？ だから高木の言う『独立』の解釈って、また、非標準数学的で、実に日本語の自由度に任せた解釈になってる様にしか見えないんだよ｡ 何で未だに高木は、日本語読解力とか言って忖度を求める『察してちゃん』で在り続けるんだろ？ http://rio2016.5ch.net/test/read.cgi/math/1688037294/599
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.049s