设定控吧 关注:3,659贴子:107,870
  • 4回复贴,共1

其中 H(k)={x:|T(x)|<k}
递归定义
T_0(x)=x
T_n+1(x)=∪T_n(x)
T(x)=∪{T_n(x):n∈ω}
光是基数没什么卵用,H(k) 可以则可以视为所有规模小于 k 的结构形成的大全。
希尔伯特空间是一个基数有阿列夫1的结构,终极多元则包含了所有可能的(基于n元数的)物理方程描述的结构。
α理型界基数如 2理型界基数是 理型理型界基数的简记,k 是 α理型界基数,在于存在 α 个大小不一的世界接受 H(k) 的映射来反映 H(k),就如理型的理型会投影理型那样。这是无穷多层次的简略。


IP属地:广东1楼2022-12-29 16:27回复
    除却标准逻辑之外的逻辑都能称作非标准逻辑,如直觉逻辑,模糊逻辑,模态逻辑,道义逻辑,时序逻辑,次协调逻辑等经典的非标准逻辑,它们中也有拓展的量子版本,如精确量子逻辑,模糊量子逻辑,其中精确量子逻辑可以分为正交膜量子逻辑和最小量子逻辑,模糊量子逻辑可以分为次协调量子逻辑和正则次协调量子逻辑,而这些次协调逻辑都只是吉拉德的线性逻辑、卢卡西维奇的无限多值逻辑和某些相关逻辑共有的子逻辑,比如模糊直觉逻辑(BZ逻辑),作为模糊量子逻辑的拓展有着比“模糊否定”更强的“似直觉否定”,而它本身也是 BZ^3 逻辑的子逻辑,BZ^3 逻辑又是正交逻辑的子逻辑,正交逻辑又双是正交模量子逻辑的子逻辑。卢卡西维奇逻辑则是对正交模量子逻辑和卢卡西维奇的无限多值逻辑的概况,但它本身又是类线性QMV逻辑的子逻辑,类线性QMV逻辑又双是偏量子逻辑中的模糊偏量子逻辑的子逻辑,模糊偏量子逻辑又双叒是弱偏量子逻辑的子逻辑,弱偏量子逻辑又双叒叕是强偏量子逻辑的子逻辑,而强偏量子逻辑也是正交模量子逻辑的子逻辑,但正交模量子逻辑本身还是冯诺依曼类型的正交模结构,是可为希尔伯特空间决定的众多逻辑的子逻辑。


    IP属地:广东2楼2022-12-29 17:27
    回复


      IP属地:四川来自Android客户端6楼2023-01-02 10:30
      回复
        尤格超越数学秒了


        IP属地:江苏7楼2023-01-05 15:19
        收起回复