[過去ログ] 箱入り無数目を語る部屋 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
384(1): 2021/08/10(火)08:40 ID:a5A26OUp(9/31) AAS
>>383
>100列目がハズレである確率が1/100なんてことは言えないし、
そうですね 非可測ですから
>時枝先生はそんなこと一言も言ってません。
ただ、(なんらかの公理を付加した上で)
「そういってもいいのではないか」
といいたがってるようには見える
上記の考えに対する異議申し立てが
Prussのnon-conglomerableかと思う
385(1): 2021/08/10(火)08:43 ID:5LlR261G(12/35) AAS
>>384
>ただ、(なんらかの公理を付加した上で)
>「そういってもいいのではないか」
>といいたがってるようには見える
それは証明の外でですよね?であれば証明の正しさとは無関係ですね。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.026s