[過去ログ] スレタイ 箱入り無数目を語る部屋26 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
736
(1): 2024/11/10(日)08:26 ID:77OcV5w4(10/44) AAS
>>719
> 結局、手順が異なると 異なる確率計算結果になるのは、
> 決定番号を使う確率計算というものはwell-defined でないってことだ
 決定番号を排除=尻尾同値類の代表を排除=選択公理を否定 それしかないけど?
747
(13): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/10(日)13:00 ID:zvgSRz4H(1/9) AAS
>>736
(引用開始)
> 結局、手順が異なると 異なる確率計算結果になるのは、
> 決定番号を使う確率計算というものはwell-defined でないってことだ
 決定番号を排除=尻尾同値類の代表を排除=選択公理を否定 それしかないけど?
(引用終り)

ふっふ、ほっほ
省21
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.034s