[過去ﾛｸﾞ] 分からない問題はここに書いてね 470 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
547(2): 2021/10/03(日)08:18 ID:7HcnGEaw(1/3) AAS
数理論理学の質問です
キューネンの集合論によると、モデル理論は無限集合を扱うのでZFCなどの公理的集合論の中で行われるようです
だとすると、例えばZFCの完全性定理や不完全性定理の証明はZFCの中で構成したZFCに対して行っているのでしょうか？
なんか違うような気がしますが、ご回答頂ければ幸いです
550(1): 2021/10/03(日)08:43 ID:fqeiiIuy(1) AAS
>>547
そりゃそやろ
553(1): 2021/10/03(日)11:13 ID:MhVbttRS(3/7) AAS
>>547
それに習熟するのに９年かかりそう
>>548
毎時0分 と a分に電車が駅に着くとする。
人がホームに来る時刻t(分) はランダム
f(t) = 1/60 (0≦t<60)
待ち時間の期待値は
(1/60){∫[0,a] (a-t)dt + ∫[a,60] (60-t)dt} = 15 + (1/60)(a-30)^2,
本問は a=12 だから 20.4 分
答え 5.
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.355s*