更改

添加51字节 、 2024年7月20日 (六) 14:37
小
→‎历史的课程: 编号外数学公式标准化
第200行: 第200行:  
=== 历史的课程 ===
 
=== 历史的课程 ===
   −
    我们现在处在证明系统斑图结果的位置,可用于连接后续关于因果态的定理。
+
我们现在处在证明系统斑图结果的位置,可用于连接后续关于因果态的定理。
−
   
+
 
−
引理1(旧世界引理)对于所有的R和所有的L属于Z+,
+
引理1(旧世界引理)对于所有的<math>\mathbfcal{R}</math>和所有的<math>L \in \mathbb{Z}^+</math>,
    
<math>
 
<math>
第224行: 第224行:  
    备注1。也就是说,在全部过去的条件下,最大程度地降地了在将来的不确定性。从全部准无限的过去中截取是笨重和不安以及前景有些灰暗的。用不同的方式来做:我们希望尽可能多忘掉过去,以致能减少负担。这个目标跟等式(12)的结果是相反的,所以引发我们叫它旧世界引理。
 
    备注1。也就是说,在全部过去的条件下,最大程度地降地了在将来的不确定性。从全部准无限的过去中截取是笨重和不安以及前景有些灰暗的。用不同的方式来做:我们希望尽可能多忘掉过去,以致能减少负担。这个目标跟等式(12)的结果是相反的,所以引发我们叫它旧世界引理。
 
     
 
     
−
    备注2。引理1如前所述建立了斑图强度的上界,也就是,斑图的强度最多就是<math>H[S] - H[\overset{\to L}{S} \vert \overset{\leftarrow}{S}]/L_{past}</math>,其中Lpast是满足<math>H[\overset{\to L}{S} \vert \overset{\leftarrow}{S}] < LH[S]</math>的L的最小值。
+
    备注2。引理1如前所述建立了斑图强度的上界,也就是,斑图的强度最多就是<math>H[S] - H[\overset{\to L}{S} \vert \overset{\leftarrow}{S}]/L_{past}</math>,其中<math>L_{past}</math>是满足<math>H[\overset{\to L}{S} \vert \overset{\leftarrow}{S}] < LH[S]</math>的L的最小值。
−
     
+
   
 +
 
 
===  最小化和预测 ===
 
===  最小化和预测 ===
 
     
 
     
470

个编辑