👍 终极L(终极内模型) | 👎 冯诺依曼宇宙 | |
---|---|---|
哲学基础
| 💡 终极L的先验基础
终极L的哲学基础是建立在集合论哲学上的考量,它寻找与超紧基数兼容的类似L 内模型。这也推动了包括大基数与内模型、力迫公理以及内模型假设的研究。例如,武丁证明了一旦我们找到超紧致基数的内模型,那么它将自动成为所有通过类似方式定义的大基数的内模型——终极-L。
| 🤦♂️ 冯诺依曼宇宙的逻辑混乱
冯诺依曼宇宙的哲学基础则是建立在不太明确的逻辑基础上,它们的研究范围广泛,但是缺乏明确的目标和方向。例如,冯诺依曼的研究范围从集合论到计算机科学,但是他的研究缺乏明确的哲学基础和逻辑性。
|
数学应用
| 📈 终极L的数学应用广泛
终极L的数学应用非常广泛,它可以解决很多数学问题,例如连续统问题、独立性问题等。它也可以应用于其它数学领域,例如力迫法、超幂公理等。例如,一个内模型是终极L也可证超幂公理UA+地面公理GA+存在一个最小强紧致基数成立。
| 📉 冯诺依曼宇宙的数学应用狭隘
冯诺依曼宇宙的数学应用则非常狭隘,它主要应用于集合论和计算机科学领域。但是,它的应用范围非常有限,例如,它不能解决连续统问题和独立性问题等。
|
逻辑性
| 💭 终极L的逻辑性高
终极L的逻辑性非常高,它的研究基础是建立在严格的逻辑基础上,例如,武丁证明了一旦我们找到超紧致基数的内模型,那么它将自动成为所有通过类似方式定义的大基数的内模型——终极-L。
| 🤪 冯诺依曼宇宙的逻辑性低
冯诺依曼宇宙的逻辑性则非常低,它的研究基础是不太明确的逻辑基础,例如,冯诺依曼的研究范围广泛,但是缺乏明确的目标和方向。 |