[過去ログ] プログラミングのお題スレ Part21 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
181(1): デフォルトの名無しさん [sage] 2022/11/20(日) 22:41:08.12 ID:wl9Kfk8d(5/5) AAS
>>180180(1): デフォルトの名無しさん [sage] 2022/11/20(日) 22:34:15.75 ID:AxU0uBeT(4/8) AAS
>>178
「反証が無いなら正しい」は間違ってるが反証が無いなら正しい可能性はあるだろ
反証もできないのに間違ってるとか言うのがおかしいと言う話である事すら理解できない知能なのか?
「正しい可能性がある」など証明の代わりにならない
数学の世界には“証明された”、“反論が見つかった”、“証明されてない”の3つの状態がある
寿司問題は“証明されていない”
反証がないから“証明されている状態”であるなどと言えない
“証明できた”と主張できるのはある程度以上数学学んだ人間ならきちんと理解できるレベルの証明をあげた時のみ
あんなメモ書きでは証明とも、アウトラインであるとすら認めてもらえない
182(1): デフォルトの名無しさん [sage] 2022/11/20(日) 22:47:41.48 ID:AxU0uBeT(5/8) AAS
>>181
> 「正しい可能性がある」など証明の代わりにならない
だれもそんなアホな事は言ってない
> 寿司問題は“証明されていない”
だから証明されてない(=否定もされてない)状態で証明出来てないと言うだけならなんの意味もないレスだろ
そんなレスして楽しいのか?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.043s