[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋22 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
670(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/09/15(日)08:08 ID:8VnUw5mp(1/15) AAS
>>662-664
おサルさん(>>14)と 一緒だね
頭が文系だよ
>矛盾は無いので君がドボン
数学において、「矛盾は無い」ということの証明は困難
普通は、矛盾があるということへの反論をして
反論が出尽くしたところで、「矛盾は無い」ということを認めることになるのが普通だ
省42
671: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/09/15(日)08:10 ID:8VnUw5mp(2/15) AAS
>>670 タイポ訂正
反論が出尽くしたところで、「矛盾は無い」ということを認めることになるのが普通だ
↓
矛盾があるという意見が出尽くしたところで、「矛盾は無い」ということを認めることになるのが普通だ
672(1): 2024/09/15(日)08:50 ID:Rw4GIZuh(5/17) AAS
>>670
>数学において、「矛盾は無い」ということの証明は困難
誰がそんなことを言ってるのか
おまえが矛盾だとしたことは間違いだと言っている
>>出題は試行である と 出題は試行でない の違いは分かったのか？
>・試行の数学的定義がないのに
定義のひとつは以下
省19
673: 2024/09/15(日)08:54 ID:Rw4GIZuh(6/17) AAS
>>670
試行の定義が無いは言いがかりだったのでさっさと>>664に答えよ
話はそれからだ
674: 教天使ociel 2024/09/15(日)09:22 ID:56cB2hja(4/16) AAS
箱入り無数目とは全く無関係の脱線ですが
>>670
>数学において、「矛盾は無い」ということの証明は困難
「困難」という言葉は「頑張ればできる」という意味にとれるが
実際には「頑張ってもできない」という意味で「不可能」
>普通は、矛盾があるという指摘への反論をして
>反論が出尽くしたところで、「矛盾は無い」と認めるのが普通だ
省6
675(1): 教天使ociel 2024/09/15(日)09:43 ID:56cB2hja(5/16) AAS
>>670
>決定番号の大小比較による確率が、まずい
聞かせてもらいましょうか
>可算無限数列R^N のしっぽ同値の二つの元の差を作ると
>一致しているしっぽが消えて有限次元ベクトルが一つできる
>その有限次元ベクトルの次数をnとすると
>決定番号dとは、d=n+1 だね（つまり、n+1の先から一致していた）
省19
677(1): 教天使ociel 2024/09/15(日)09:44 ID:56cB2hja(6/16) AAS
>>675のつづき
>>670
>∵ n次元の線形空間で nより小さい次数の空間は、体積0に潰れている
>同様に、無限次元線形空間から、有限次ベクトルを100個の選ぶことは
>不作為ないし無作為では、できない
「無限次元線型空間」を「Rの無限個の直積」と思っているようだが、それは誤解
つまり「Rの無限個の直積」の中で「Rの任意有限次元ベクトルの全体」は測度0というだけであって
省9
694(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/09/15(日)13:23 ID:8VnUw5mp(6/15) AAS
>>677
>「任意の有限次元ベクトルの全体から、100個の有限次元ベクトルを選ぶことは当然できる。
> むしろ、有限次元でないベクトルをとることなど不可能である」
>100個の有限次元ベクトルの中で他の99個よりも高い次数を持つものはたかだか1つ
>それを除くベクトルを選ぶ確率は1-1/100=99/100
>残念ながら、反論の余地もない厳然たる事実です
・反論 大ありですｗ ；ｐ）
省28
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s