[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
290: １３２人目の素数さん [] 2022/09/18(日) 14:10:09.47 ID:3YOagFMY >>285 ありがとう でもな、時枝の手法は現実には実行できないよ 時枝は絵に描いた餅 >出題者が出題する実数列 (x1,x2,x3,…) のそれぞれに対して、今までと同様にして反復試行を行い、 >時枝戦術によって統計を取ればよい 繰り返すが、時枝の手法は絵に描いた餅で、実際には実行できない やれるというならば、実際にやってみなよ >・ 毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る どんな統計なんだ？ 実行できないよね 特に、全ての実数の入る 可算無限列を、そのしっぽの同値類で分類して、代表を決めるところ やれるならば、その統計の最初の5回分を、ここに書いてみなよ http://rio2016.5ch.net/test/read.cgi/math/1660377072/290
292: １３２人目の素数さん [] 2022/09/18(日) 14:14:39.86 ID:/maedeNP >>290 >やれるというならば、実際にやってみなよ おまえはπを無限桁書けるのか？書けんやろ？ ではπは存在しないのか？ 馬鹿が http://rio2016.5ch.net/test/read.cgi/math/1660377072/292
294: １３２人目の素数さん [] 2022/09/18(日) 14:20:04.78 ID:/7z9fqVC >>290 ＞時枝の手法は現実には実行できないよ 列が有理数の桁数列なら現実に実行可能 双曲平面の場合に、バナッハ・タルスキのパラドックスの具体的分割が可能なのと同じ 選択公理を必要としないから 馬鹿だねえｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/294
295: １３２人目の素数さん [sage] 2022/09/18(日) 14:21:28.96 ID:ldv25uGN >>290 ナンセンス。現実世界で実行しようとしても、まず可算無限個の箱を用意することが不可能。従って、 「現実世界で実行不可能」 という文言を反論として採用するのなら、スレ主は 「そもそも可算無限個の箱を用意するという設定の時点で現実世界では実行不可能なので、 時枝記事はその内容の如何に関わらず、最初の1行目の時点で論じる価値がない」 と主張しなければならない。ちなみに、スレ主が大好きな「可算無限個の確率変数」は、 これもまた可算無限個の時点で、現実世界では実行できない。従って、スレ主は全く同様に 「通常の確率論であっても、それが可算無限個の確率変数を用いた確率論である場合には 現実世界で実行不可能なので、もうその時点で論じる価値がない」 と主張しなければならない。時枝記事憎しで無理な反論を繰り返すから、こうやってスレ主は墓穴を掘るのである。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/295
296: １３２人目の素数さん [sage] 2022/09/18(日) 14:45:15.43 ID:ldv25uGN >>290 ＞時枝は絵に描いた餅 ＞繰り返すが、時枝の手法は絵に描いた餅で、実際には実行できない 同じことの繰り返しになるが、可算無限個の対象が必要な時点で、時枝の手法は現実世界では実行できない。 スレ主はこのことを「絵に描いた餅」と表現しているが、可算無限個の対象が出てくる数学的記述なんて 幾らでも存在する。スレ主によれば、そのような数学的対象は全て「絵に描いた餅」ということになってしまう。 いや、実際、現実世界では実行できないという点においては、どれも絵に描いた餅である。 しかし、数学の素晴らしいところは、無限を対象にした、本来なら絵に描いた餅に過ぎない絵空事が、 厳密な論理だけを追求することで、意味のある記述として、意味のある定理として、きちんと記述できるところにある。 従って、数学的内容が正しいかどうかを判断するには、「それが現実世界で実行可能であるか？」 というナンセンスな視点で論じるのではなく、「それが厳密な論理だけを追求することで意味のある定理として記述できるか？」 を確かめればよい。それが数学的な態度というものである。そして、厳密な論理だけを追求すると、 時枝戦術は正しい戦術であると分かる。すなわち、時枝戦術は勝てる戦術である。 ところが、スレ主はこのような数学的態度を放棄した。この時点で、スレ主は数学からリタイアしたことになる。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/296
299: １３２人目の素数さん [sage] 2022/09/18(日) 15:12:48.08 ID:ldv25uGN では、信託機械と同じノリで、スレ主の>>290の質問に回答しよう。 ・ 可算無限個の対象をそのまま出力できる機械を想定する。 ・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。 このような能力を持った機械を想定する。この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。特に、 ・ 全ての実数の入る可算無限列を、そのしっぽの同値類で分類して、完全代表系を決めることもできる ことになる。芋づる式に、スレ主の懸念であった ＞・ 毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る このような統計までもが「本当に実行可能」になる。 しかし、どうやってそのような芸当をプログラミングしたのか、 そのソースコードに当たる「動作原理」の部分は、我々には分からない。 しかし、その部分は知る必要がない。ただ単に実行可能でありさえすればよい。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/299
352: １３２人目の素数さん [] 2022/09/19(月) 16:21:05.27 ID:aLiBZfCJ >>345 >・ 我々は統計を取りたいので、まず出題者の出題を固定した。 だから、>>290に書いたろ？ 「時枝の手法は現実には実行できない」って >>285の「時枝戦術を使って統計を取る」に対して、書いた 統計なんて取れるわけないぞｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/352
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s